pfribeiro's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar
 Sort by 
 
Event When Where Deadline
YDS 2013 Sixth York Doctoral Symposium on Computer Science and Electronics
Oct 29, 2013 - Oct 29, 2013 York, UK Sep 18, 2013
STACS 2014 31st International Symposium on Theoretical Aspects of Computer Science
Mar 5, 2014 - Mar 8, 2014 Lyon, France Sep 20, 2013
FM 2014 International Symposium on Formal Methods
May 12, 2014 - May 16, 2014 Singapore Nov 14, 2013 (Nov 7, 2013)
UTP 2014 Unifying Theories of Programming
May 12, 2014 - May 13, 2014 Singapore Jan 24, 2014 (Jan 17, 2014)
ICMT 2014 7th International Conference on Model Transformation
Jul 21, 2014 - Jul 25, 2014 York (UK) Feb 4, 2014 (Jan 28, 2014)
TAP 2014 8th International Conference on Tests And Proofs
Jul 24, 2014 - Jul 25, 2014 York, United Kingdom Mar 1, 2014 (Feb 25, 2014)
TASE 2014 The 8th International Symposium on Theoretical Aspects of Software Engineering
Sep 1, 2014 - Sep 3, 2014 Changsha, China Mar 7, 2014 (Feb 28, 2014)
SEFM 2014 12th International Conference on Software Engineering and Formal Methods
Sep 1, 2014 - Sep 5, 2014 Grenoble, France Mar 21, 2014 (Mar 14, 2014)
ICTAC 2014 11th International Colloquium on Theoretical Aspects of Computing
Sep 17, 2014 - Sep 20, 2014 Bucharest, Romania Mar 23, 2014 (Mar 16, 2014)
TTC 2014 Transformation Tool Contest
Jul 25, 2014 - Jul 25, 2014 York, United Kingdom Apr 23, 2014
SBMF 2014 Brazilian Symposium on Formal Methods
Sep 29, 2014 - Oct 1, 2014 Maceio', AL, Brazil Jul 15, 2014 (Jul 8, 2014)
FACJ-SI-Robotics 2019 Special Issue on Formal Methods for Robotics, Formal Aspects of Computing (FACJ)
N/A N/A Mar 31, 2019
first | previous | Page 1 | next | last Total of 12 CFPs in 1 pages