Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• PLANS 2014  + (15:51:20, 30 June 2020)
• PLANS 2012  + (15:55:17, 30 June 2020)
• PLANS 2008  + (15:57:40, 30 June 2020)
• PLANS 2006  + (15:59:29, 30 June 2020)
• PLANS 2020  + (16:05:41, 30 June 2020)
• EUSAR 2020  + (17:36:51, 30 June 2020)
• EUSAR  + (17:54:37, 30 June 2020)
• EUSAR 2018  + (18:07:06, 30 June 2020)
• SAGT 2018  + (19:45:04, 30 June 2020)
• VTC 2019-Fall  + (06:24:51, 1 July 2020)
• VTC 2019-Spring  + (06:53:32, 1 July 2020)
• VTC 2018-Spring  + (07:32:41, 1 July 2020)
• VTC 2018-Fall  + (11:21:22, 1 July 2020)
• PID  + (11:34:30, 2 July 2020)
• ICALP 2017  + (05:50:44, 3 July 2020)
• ICALP 2018  + (06:13:40, 3 July 2020)
• ICALP 2019  + (06:51:35, 3 July 2020)
• ICALP 2021  + (08:35:23, 3 July 2020)
• LICS 2018  + (10:17:56, 3 July 2020)
• LICS 2019  + (10:38:46, 3 July 2020)
• List of Events  + (12:55:05, 4 July 2020)
• Property:IsA  + (14:50:06, 4 July 2020)
• File:Acronym length.png  + (12:16:56, 5 July 2020)
• Acronym Length Histogram  + (12:18:34, 5 July 2020)
• POPL 2019  + (13:20:26, 6 July 2020)

• POPL 2021  + (08:36:59, 7 July 2020)

• ITSC 2019  + (11:19:26, 7 July 2020)
• ITSC 2020  + (11:47:56, 7 July 2020)
• ITSC 2018  + (12:10:29, 7 July 2020)
• POPL 2018  + (12:51:43, 7 July 2020)
• CLEO  + (12:07:18, 8 July 2020)
• CLEO 2016  + (12:10:37, 8 July 2020)
• PLDI 2021  + (06:09:44, 9 July 2020)
• User:Jojiher  + (07:55:44, 9 July 2020)
• User:Jose Luis  + (07:55:59, 9 July 2020)
• CLEO 2017  + (08:14:25, 9 July 2020)
• CLEO 2018  + (08:31:53, 9 July 2020)
• CLEO 2019  + (08:42:15, 9 July 2020)
• CLEO 2020  + (08:49:25, 9 July 2020)
• EvoStar  + (09:55:18, 9 July 2020)
• EPS 2020  + (10:04:56, 9 July 2020)
• FSE 2020  + (10:07:18, 9 July 2020)
• ESEC/FSE 2019  + (10:44:51, 9 July 2020)
• ASE 2017  + (12:43:32, 9 July 2020)
• VEHICULAR 2020  + (17:45:49, 9 July 2020)
• INTELLI 2020  + (17:46:31, 9 July 2020)
• HUSO 2020  + (17:47:06, 9 July 2020)
• COLLA 2020  + (17:47:50, 9 July 2020)
• INTERNET 2020  + (00:20:26, 10 July 2020)
• ICWMC 2020  + (00:28:41, 10 July 2020)
• ICCGI 2020  + (00:36:27, 10 July 2020)