Event | When | Where | Deadline | |
GandALF 2012 |
Third International Symposium on Games, Automata, Logics, and Formal Verification | |
Sep 6, 2012 - Sep 8, 2012 |
Napoli, Italy |
May 22, 2012 (May 16, 2012) |
FITAT 2012 |
The Fifth International Conference on Frontiers of Information Technology, Applications and Tools | |
Aug 8, 2012 - Aug 10, 2012 |
Ulaanbaatar, Mongolia |
May 22, 2012 |
ISSRE 2012 |
IEEE 23rd International Symposium on Software Reliability Engineering | |
Nov 27, 2012 - Nov 30, 2012 |
Dallas, USA |
May 25, 2012 (May 18, 2012) |
OTMA 2012 |
9th OTM Academy (Workshop for Ph.D. students) | |
Sep 10, 2012 - Sep 11, 2012 |
Rome, Italy |
May 25, 2012 (May 18, 2012) |
KESE 2012 |
The 8th Workshop on Knowledge Engineering and Software Engineering (KESE2012) a.k.a KESE8 | |
Aug 27, 2012 - Aug 28, 2012 |
Montpellier, France |
May 28, 2012 |
ICSET 2012 |
2012 International Conference on System Engineering and Technology | |
Sep 11, 2012 - Sep 12, 2012 |
Institut Teknologi Bandung, Indonesia |
May 30, 2012 |
ExaCt 2012 |
7th International and ECAI 2012 Workshop on Explanation-Aware Computing | |
Aug 27, 2012 - Aug 28, 2012 |
Montpellier, France |
Jun 1, 2012 (May 28, 2012) |
CSA 2012 |
The 4th FTRA International Conference on Computer Science and its Applications | |
Nov 22, 2012 - Nov 25, 2012 |
Jeju, Republic of Korea |
Jun 1, 2012 |
AVOCS 2012 |
International Workshop on Automated Verification of Critical Systems | |
Sep 18, 2012 - Sep 20, 2012 |
Bamberg, Germany |
Jun 6, 2012 |
ICACTE 2012 |
2012 5th International Conference on Advanced Computer Theory and Engineering | |
Aug 18, 2012 - Aug 19, 2012 |
Cape Town, South Africa |
Jun 10, 2012 |
SLE 2012 |
5th International Conference on Software Language Engineering | |
Sep 25, 2012 - Sep 28, 2012 |
Dresden, Germany |
Jun 11, 2012 (Jun 4, 2012) |
HotDep 2012 |
Eighth Workshop on Hot Topics in System Dependability | |
Oct 7, 2012 - Oct 7, 2012 |
Hollywood, CA |
Jun 11, 2012 |
APSEC 2012 |
19th Asia-Pacific Software Engineering Conference | |
Dec 4, 2012 - Dec 7, 2012 |
Hong Kong, China |
Jun 11, 2012 |
WCSE 2012 |
2012 World Conference on Science and Engineering - WCSE 2012 | |
Aug 3, 2012 - Aug 5, 2012 |
Hong Kong |
Jun 15, 2012 |
SITA 2012 |
The Fourth International Conference on Smart IT Applications (SITA2012) | |
Sep 20, 2012 - Sep 22, 2012 |
Qingdao, China |
Jun 15, 2012 |
CPP 2012 |
The Second International Conference on Certified Programs and Proofs | |
Dec 13, 2012 - Dec 15, 2012 |
Kyoto, Japan |
Jun 15, 2012 (Jun 8, 2012) |
ICDL-EpiRob 2012 |
IEEE Conference on Development and Learning and Epigenetic Robotics | |
Nov 7, 2012 - Nov 9, 2012 |
San Diego, California, USA |
Jun 15, 2012 |
FedCSIS - CfT 2012 |
2012 Federated Conference on Computer Science and Information Systems - Call for Tutorials | |
Sep 9, 2012 - Sep 12, 2012 |
Wrocław, Poland |
Jun 17, 2012 |
ICTSS 2012 |
The 23rd IFIP Int. Conference on Testing Software and Systems | |
Nov 19, 2012 - Nov 21, 2012 |
Aalborg, Denmark |
Jun 18, 2012 (Jun 11, 2012) |
TTSDP 2012 |
4th International Workshop on “Tools and Techniques in Software Development Process | |
Jun 18, 2012 - Jun 21, 2012 |
Salvador de Bahia, Brazil |
Jun 20, 2012 (Feb 20, 2012) |
|