- Event Acronym CAV 2017 Title International Conference on Computer Aided Verification Ordinal 29 Event Series CAV - International Conference on Computer852 bytes (144 words) - 13:01, 19 October 2022
- Event Acronym CAV 2013 Title Computer Aided Verification Ordinal 25 Event Series CAV - International Conference on Computer Aided Verification Start Date672 bytes (145 words) - 12:59, 19 October 2022
- Event Acronym CAV 2007 Title Computer Aided Verification Ordinal 19 Event Series CAV - International Conference on Computer Aided Verification Start Date656 bytes (141 words) - 13:01, 19 October 2022
- Event Acronym CAV 2001 Title Computer Aided Verification Ordinal 13 Event Series CAV - International Conference on Computer Aided Verification Start Date693 bytes (145 words) - 13:01, 19 October 2022
- Event Acronym CAV 2014 Title Computer Aided Verification Ordinal 26 Event Series CAV - International Conference on Computer Aided Verification Start Date653 bytes (142 words) - 13:01, 19 October 2022
- Event Acronym SenSys 2020 Title Conference on Embedded Networked Sensor Systems Ordinal 18 Event Series SenSys - ACM Conference on Embedded Networked Sensor541 bytes (140 words) - 14:19, 19 October 2022
- Event Acronym MobiCom 2000 Title International Conference on Mobile Computing and Networking 2000 Event Series MobiCom - International Conference on Mobile634 bytes (131 words) - 15:26, 19 October 2022
- Event Acronym APSEC 2019 Title Pacific Software Engineering Conference Ordinal 26 Event Series APSEC - Asia-Pacific Software Engineering Conference Start938 bytes (157 words) - 15:10, 15 December 2022
- Event Acronym CAV 2008 Title Computer Aided Verification Ordinal 20 Event Series CAV - International Conference on Computer Aided Verification Start Date679 bytes (148 words) - 13:01, 19 October 2022
- Event Acronym CAV 2019 Title International Conference on Computer-Aided Verification Ordinal 31 Event Series CAV - International Conference on Computer682 bytes (155 words) - 13:00, 19 October 2022
- Event Acronym CAV 2011 Title Computer Aided Verification Ordinal 23 Event Series CAV - International Conference on Computer Aided Verification Start Date729 bytes (154 words) - 13:00, 19 October 2022
- Event Acronym SIGCOMM 1995 Title Annual conference of the Special Interest Group on Data Communication Event Series SIGCOMM - ACM Special Interest Group664 bytes (155 words) - 15:29, 19 October 2022
- Event Acronym SIGCOMM 1998 Title Annual conference of the Special Interest Group on Data Communication Event Series SIGCOMM - ACM Special Interest Group667 bytes (151 words) - 15:30, 19 October 2022
- Event Acronym MobiCom 2004 Title International Conference on Mobile Computing and Networking 2004 Event Series MobiCom - International Conference on Mobile646 bytes (151 words) - 15:26, 19 October 2022
- Event Acronym SIGCOMM 2001 Title Annual conference of the Special Interest Group on Data Communication Event Series SIGCOMM - ACM Special Interest Group661 bytes (157 words) - 15:30, 19 October 2022
- Event Acronym VLDB 2006 Title International Conference on Very Large Data Bases (VLDB) 2006 Event Series VLDB - International Conference on Very Large610 bytes (150 words) - 15:30, 19 October 2022
- Event Acronym KSS 2008 Title International Symposium on Knowledge and Systems Sciences Ordinal 9 Event Series KSS - International Symposium on Knowledge753 bytes (154 words) - 14:14, 19 October 2022
- Event Acronym AAMAS 2009 Title International Conference on Autonomous Agents and Multi-Agent Systems Ordinal 8 Event Series AAMAS - International Conference781 bytes (162 words) - 12:58, 19 October 2022
- Event Acronym AAMAS 2005 Title International Joint Conference on Autonomous Agents & Multi Agent Systems Ordinal 4 Event Series AAMAS - International Conference836 bytes (156 words) - 12:58, 19 October 2022
- Event Acronym SIGCOMM 1996 Title Annual conference of the Special Interest Group on Data Communication Event Series SIGCOMM - ACM Special Interest Group660 bytes (155 words) - 15:30, 19 October 2022