pawpiet's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar
 Sort by 
 
Event When Where Deadline
AGERE! @ SPLASH 2012 2nd Int. Workshop on Programming based on Actors, Agents, and Decentralized Control
Oct 21, 2012 - Oct 22, 2012 Tucson, Arizona Aug 12, 2012 (Aug 5, 2012)
FTSCS 2012 First International Workshop on Formal Techniques for Safety-Critical Systems
Nov 12, 2012 - Nov 12, 2012 Kyoto Sep 8, 2012
PLDI 2013 34th Annual ACM SIGPLAN Conference on Programming Language Design and Implementation
Jun 16, 2013 - Jun 21, 2013 Seattle, Washington, USA Nov 11, 2012
FESCA 2013 10th International Workshop on Formal Engineering approaches to Software Components and Architectures
Mar 23, 2013 - Mar 23, 2013 Rome, Italy Dec 12, 2012 (Dec 5, 2012)
CAV 2013 25th International Conference on Computer Aided Verification
Jul 13, 2013 - Jul 19, 2013 St. Petersburg, Russia Jan 7, 2013 (Jan 3, 2013)
LICS 2013 28th Annual ACM/IEEE Symposium on Logic In Computer Science
Jun 25, 2013 - Jun 28, 2013 New Orleans, USA Jan 14, 2013 (Jan 7, 2013)
ISSTA 2013 International Symposium on Software Testing and Analysis
Jul 15, 2013 - Jul 20, 2013 Lugano, Switzerland Jan 25, 2013
SAS 2013 Static Analysis Symposium
Jun 20, 2013 - Jun 22, 2013 Seattle, Washington Feb 3, 2013 (Jan 27, 2013)
LCTES 2013 Languages, Compilers and Tools for Embedded Systems
Jun 16, 2013 - Jun 23, 2013 Seattle, WA Feb 8, 2013
ISMM 2013 International Symposium on Memory Management
Jun 20, 2013 - Jun 21, 2013 Seattle, WA Feb 10, 2013
ICALP 2013 40th International Colloquium on Automata, Languages and Programming
Jul 8, 2013 - Jul 12, 2013 Riga, Latvia Feb 15, 2013
SIES 2013 8th IEEE International Symposium on Industrial Embedded Systems
Jun 19, 2013 - Jun 21, 2013 Porto, Portugal Mar 8, 2013
M-SCOPES 2013 Software and Compilers for Embedded Systems
Jun 19, 2013 - Jun 21, 2013 St Goar, Germany Mar 17, 2013
IJMSO - OPSPL 2013 Int. J. of Metadata, Semantics and Ontologies - Special Issue on: Ontology Paradigms in Software Programming Languages
N/A N/A Mar 31, 2013
SEFM 2013 International Conference on Software Engineering and Formal Methods
Sep 23, 2013 - Sep 27, 2013 Madrid, Spain Apr 1, 2013 (Mar 25, 2013)
ATVA 2013 International Symposium on Automated Technology for Verification and Analysis
Oct 15, 2013 - Oct 18, 2013 Hanoi, Vietnam Apr 6, 2013
FORMATS 2013 11th International Conference on Formal Modeling and Analysis of Timed Systems
Aug 29, 2013 - Aug 31, 2013 Buenos Aires, Argentina Apr 8, 2013 (Apr 1, 2013)
ICLP 2013 29th International Conference on Logic Programming
Aug 24, 2013 - Aug 29, 2013 Istanbul, Turkey Apr 10, 2013 (Apr 3, 2013)
EMSOFT 2013 Embedded Software
Sep 29, 2013 - Oct 4, 2013 Montreal, Canada Apr 12, 2013 (Apr 5, 2013)
ESWeek 2013 Embedded Systems Week
Sep 29, 2013 - Oct 4, 2013 Montreal, Canada Apr 12, 2013 (Apr 5, 2013)
first | previous | Page 2 | next | last Total of 51 CFPs in 3 pages