Event | When | Where | Deadline | |
SEASAME 2013 |
International Workshop on Software Engineering for sAfety-critical Systems and Medical dEvices | |
Oct 21, 2013 - Oct 24, 2013 |
Niagara Fall, Canada |
May 10, 2013 |
FMi 2013 |
IEEE International Workshop on Formal Methods Integration | |
Aug 14, 2013 - Aug 16, 2013 |
San Francisco - USA |
May 25, 2013 (May 19, 2013) |
DCM 2013 |
9th International Workshop on Developments in Computational Models | |
Aug 26, 2013 - Aug 26, 2013 |
Buenos Aires |
Jun 1, 2013 |
CPP 2013 |
Certified Programs and Proofs | |
Dec 9, 2013 - Dec 11, 2013 |
Melbourne, Australia |
Jun 7, 2013 (May 30, 2013) |
COPEM 2013 |
ECML/PKDD 2013 Workshop - COPEM - Solving Complex Machine Learning Problems with Ensemble Methods | |
Sep 24, 2013 - Sep 24, 2013 |
Prague |
Jul 4, 2013 |
FACS 2013 |
The 10th International Symposium on Formal Aspects of Component Software | |
Oct 28, 2013 - Oct 30, 2013 |
Nanchang, China |
Jul 15, 2013 (Jul 8, 2013) |
FSTTCS 2013 |
Foundations of Software Technology and Theoretical Computer Science | |
Dec 10, 2013 - Dec 14, 2013 |
IIT Guwahati, India |
Jul 15, 2013 (Jul 8, 2013) |
MEMOCODE 2013 |
Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign | |
Oct 18, 2013 - Oct 20, 2013 |
Portland, Oregon |
Jul 24, 2013 (Jul 17, 2013) |
DIFTS 2013 |
DESIGN and IMPLEMENTATION of FORMAL TOOLS and SYSTEMS | |
Oct 19, 2013 - Oct 19, 2013 |
Portland, OR, USA |
Jul 24, 2013 |
TextGraphs 2013 |
8th annual TextGraphs Workshop @ EMNLP-2013 | |
Oct 18, 2013 - Oct 18, 2013 |
Seattle |
Jul 29, 2013 |
WEIT 2013 |
2nd Workshop-School on Theoretical Computer Science | |
Oct 15, 2013 - Oct 17, 2013 |
Rio Grande, RS, Brazil |
Aug 5, 2013 |
TMCE 2014 |
Tools and Methods of Competitive Engineering - Sustainability and Cyber-Physical Systems | |
May 19, 2014 - May 23, 2014 |
Budapest, Hungary |
Aug 30, 2013 (Apr 30, 2013) |
FTSCS 2013 |
Formal Techniques for Safety-Critical Systems 2013 | |
Oct 29, 2013 - Oct 29, 2013 |
Queenstown, New Zealand |
Sep 6, 2013 |
4PAD 2014 |
1st special session on FORmal approaches to PArallel and Distributed systems | |
Feb 12, 2014 - Feb 12, 2014 |
Turin, Italy |
Sep 8, 2013 (Sep 1, 2013) |
FM 2014 |
International Symposium on Formal Methods | |
May 12, 2014 - May 16, 2014 |
Singapore |
Nov 14, 2013 (Nov 7, 2013) |
|