Event | When | Where | Deadline | |
FOCS 2013 |
2013 IEEE Symposium on Foundations of Computer Science | |
Oct 27, 2013 - Oct 30, 2013 |
Berkeley, California, USA |
Apr 3, 2013 |
SOFSEM 2014 |
40th International Conference on Current Trends in Theory and Practice of Computer Science | |
Jan 25, 2014 - Jan 30, 2014 |
NovĂ˝ Smokovec, High Tatras, Slovakia |
Jul 28, 2013 |
STACS 2014 |
31st International Symposium on Theoretical Aspects of Computer Science | |
Mar 5, 2014 - Mar 8, 2014 |
Lyon, France |
Sep 20, 2013 |
FoSSaCS 2014 |
17th International Conference on Foundations of Software Science and Computation Structures | |
Apr 5, 2014 - Apr 13, 2014 |
Grenoble, France |
Oct 11, 2013 (Oct 4, 2013) |
LICS 2014 |
Joint meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science | |
Jul 14, 2014 - Jul 18, 2014 |
Vienna, Austria |
Jan 20, 2014 (Jan 13, 2014) |
CAV 2014 |
26th International Conference on Computer Aided Verification (CAV) | |
Jul 18, 2014 - Jul 22, 2014 |
Vienna / Austria |
Feb 7, 2014 (Jan 31, 2014) |
DLT 2014 |
18th International Conference on Developments in Language Theory | |
Aug 26, 2014 - Aug 29, 2014 |
Ekaterinburg, Russia |
Mar 17, 2014 |
MFCS 2014 |
39th International Symposium on Mathematical Foundations of Computer Science | |
Aug 25, 2014 - Aug 29, 2014 |
Budapest, Hungary |
Apr 18, 2014 |
ASE 2014 |
ACM/IEEE International Conference on Automated Software Engineering | |
Sep 15, 2014 - Sep 19, 2014 |
Vasteras, Sweden |
Apr 25, 2014 (Apr 18, 2014) |
ICSE 2015 |
37th International Conference on Software Engineering | |
May 16, 2015 - May 24, 2015 |
Firenze, Italy |
Sep 5, 2014 |
LATA 2015 |
9th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS | |
Mar 2, 2015 - Mar 6, 2015 |
Nice, France |
Oct 10, 2014 |
ASE Journal 2015 |
Journal Automated Software Engineering: Special Issue on Long Term Evolution of Software Systems | |
N/A |
N/A |
Nov 1, 2014 |
FSE 2015 |
Foundations of Software Engineering | |
Aug 31, 2015 - Sep 4, 2015 |
Bergamo, Italy |
Mar 16, 2015 |
|