Event | When | Where | Deadline | |
Ada-Europe 2012 |
17th International Conference on Reliable Software Technologies | |
Jun 11, 2012 - Jun 15, 2012 |
Stockholm, Sweden |
Nov 28, 2011 |
Innovations 2012 |
The 8th International Conference on Innovations in Information Technology | |
Mar 18, 2012 - Mar 20, 2012 |
UAE |
Dec 15, 2011 |
CSTVA 2012 |
CSTVA'12 - 4th International Workshop on Constraints in Software Testing, Verification and Analysis | |
Apr 21, 2012 - Apr 21, 2012 |
Montreal, Canada |
Feb 5, 2012 |
ISMM 2012 |
International Symposium on Memory Management | |
Jun 12, 2012 - Jun 13, 2012 |
Beijing, China |
Feb 7, 2012 (Feb 2, 2012) |
LCTES 2012 |
SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2012 | |
Jun 12, 2012 - Jun 13, 2012 |
Beijing, China |
Feb 10, 2012 |
SIES 2012 |
7th IEEE International Symposium on Industrial Embedded Systems | |
Jun 20, 2012 - Jun 22, 2012 |
Karlsruhe, Germany |
Feb 26, 2012 |
PLAS 2012 |
Programming Languages and Analysis for Security | |
Jun 15, 2012 - Jun 15, 2012 |
Beijing, China |
Mar 2, 2012 |
ASE 2012 |
The 27th IEEE/ACM International Conference on AUTOMATED SOFTWARE ENGINEERING | |
Sep 3, 2012 - Sep 7, 2012 |
Essen, Germany |
Mar 2, 2012 (Feb 24, 2012) |
ICLP 2012 |
28th International Conference on Logic Programming | |
Sep 4, 2012 - Sep 8, 2012 |
Budapest, Hungary |
Mar 18, 2012 (Mar 11, 2012) |
RTCSA 2012 |
IEEE International Conference on Embedded and Real-Time Computing Systems and Applications | |
Aug 20, 2012 - Aug 22, 2012 |
Seoul, South Korea |
Apr 16, 2012 |
SEFM 2012 |
10th International Conference on Software Engineering and Formal Methods | |
Oct 1, 2012 - Oct 5, 2012 |
Thessaloniki, Greece |
Apr 19, 2012 (Apr 4, 2012) |
ATVA 2012 |
10th International Symposium on Automated Technology for Verification and Analysis | |
Oct 3, 2012 - Oct 6, 2012 |
Thiruvananthapuram (Trivandrum), India |
Apr 30, 2012 |
FORMATS 2012 |
10th International Conference on Formal Modeling and Analysis of Timed Systems | |
Sep 18, 2012 - Sep 20, 2012 |
London |
May 11, 2012 (May 7, 2012) |
RTSS 2012 |
The 33rd IEEE Real-Time Systems Symposium | |
Dec 5, 2012 - Dec 7, 2012 |
San Juan, Puerto Rico |
May 15, 2012 |
PPDP 2012 |
14th International Symposium on Principles and Practice of Declarative Programming | |
Sep 19, 2012 - Sep 21, 2012 |
Leuven, Belgium |
May 31, 2012 (May 28, 2012) |
FHPC 2012 |
ACM SIGPLAN Workshop on Functional High-Performance Computing | |
Sep 15, 2012 - Sep 15, 2012 |
Copenhagen, Denmark |
Jun 10, 2012 |
CICLOPS 2012 |
12th International Colloquium on Implementation of Constraint and LOgic Programming Systems | |
Sep 4, 2012 - Sep 4, 2012 |
Budapest, Hungary |
Jun 20, 2012 |
POPL 2013 |
The 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | |
Jan 23, 2013 - Jan 25, 2013 |
Rome, Italy |
Jul 10, 2012 (Jul 6, 2012) |
IEICE FA 2012 |
Special Section on Formal Approach, IEICE Trans | |
N/A |
N/A |
Jul 18, 2012 |
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) |
|