Event | When | Where | Deadline | |
DIPES 2008 |
IFIP Working Conference on Distributed and Parallel Embedded Systems | |
Sep 7, 2008 - Sep 10, 2008 |
Milano, Italy |
Dec 1, 2007 |
CAV 2012 |
24th International Conference on Computer Aided Verification | |
Jul 7, 2012 - Jul 13, 2012 |
Berkeley, CA, USA |
Jan 22, 2012 (Jan 15, 2012) |
ICLP 2012 |
28th International Conference on Logic Programming | |
Sep 4, 2012 - Sep 8, 2012 |
Budapest, Hungary |
Mar 18, 2012 (Mar 11, 2012) |
DATE 2013 |
Design Automation and Test in Europe | |
Mar 19, 2013 - Mar 22, 2013 |
Grenoble, France |
Sep 14, 2012 (Sep 9, 2012) |
DAC 2013 |
50th ACM/EDAC/IEEE Design Automation Conference (DAC) | |
Jun 2, 2013 - Jun 6, 2013 |
Austin / U.S.A |
Dec 3, 2012 (Nov 27, 2012) |
FSE 2013 |
9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering | |
Aug 21, 2013 - Aug 23, 2013 |
Saint Petersburg, Russia |
Mar 1, 2013 |
EMSOFT 2013 |
Embedded Software | |
Sep 29, 2013 - Oct 4, 2013 |
Montreal, Canada |
Apr 12, 2013 (Apr 5, 2013) |
ACSD 2014 |
International Conference on Application of Concurrency to System Design | |
Jun 25, 2014 - Jun 27, 2014 |
Tunis, Tunisia |
Jan 17, 2014 (Jan 10, 2014) |
FSE 2014 |
22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering | |
Nov 16, 2014 - Nov 22, 2014 |
Hong Kong, China |
Mar 16, 2014 |
RTCSA 2014 |
The 20th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications | |
Aug 20, 2014 - Aug 22, 2014 |
Chongqing, China |
Mar 31, 2014 |
CONCUR 2014 |
The 25th International Conference on Concurrency Theory | |
Sep 1, 2014 - Sep 6, 2014 |
Rome, Italy |
Apr 19, 2014 (Apr 14, 2014) |
SBMF 2014 |
Brazilian Symposium on Formal Methods | |
Sep 29, 2014 - Oct 1, 2014 |
Maceio', AL, Brazil |
Jul 22, 2014 (Jul 15, 2014) |
ICST 2015 |
IEEE International Conference on Software Testing, Verification and Validation | |
Apr 13, 2015 - Apr 17, 2015 |
Graz, Austria |
Oct 24, 2014 |
IESS 2015 |
International Embedded Systems Symposium | |
Nov 3, 2015 - Nov 6, 2015 |
Foz do Iguacu, Brazil |
Aug 31, 2015 |
RTAS 2016 |
22nd IEEE Real-Time and Embedded Technology and Applications Symposium | |
Apr 11, 2016 - Apr 16, 2016 |
Vienna, Austria |
Oct 15, 2015 |
LCTES 2016 |
ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems | |
Jun 13, 2016 - Jun 14, 2016 |
Santa Barbara, California, USA |
Feb 1, 2016 |
Special session bio-inspired for SIES 2016 |
Special Session on Bio-Inspired Embedded Systems in Industry from the 11th IEEE International Symposium,on Industrial Embedded Systems (SIES 2016) | |
May 23, 2016 - May 25, 2016 |
Krakow - Poland |
Feb 28, 2016 |
SBCCI 2016 |
29th Symposium on Integrated Circuits and Systems Design | |
Aug 29, 2016 - Sep 3, 2016 |
Belo Horizonte, Brazil |
Apr 17, 2016 (Apr 10, 2016) |
|