sierrauy's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar
 Sort by 
 
Event When Where Deadline
CSL 2011 20th Annual Conference of the European Association for Computer Science Logic
Sep 12, 2011 - Sep 15, 2011 Bergen, Norway Apr 3, 2011 (Mar 27, 2011)
AAIP 2011 4th International Workshop on Approaches and Applications of Inductive Programming
Jul 19, 2011 - Jul 19, 2011 Odense, Denmark Apr 3, 2011
SMT 2011 9th International Workshop on Satisfiability Modulo Theories
Jul 14, 2011 - Jul 15, 2011 Snowbird, Utah, USA Apr 15, 2011
CP 2011 Seventeenth International Conference on Principles and Practice of Constraint Programming
Sep 12, 2011 - Sep 16, 2011 Perugia, Italy Apr 22, 2011
IWPU 2011 International Workshop on Program Understanding
Jul 2, 2011 - Jul 4, 2011 Novosibirsk, Russia Apr 22, 2011
LSFA 2011 Sixth Workshop on Logical and Semantic Frameworks, with Applications
Aug 27, 2011 - Aug 27, 2011 Belo Horizonte, Minas Gerais, Brazil May 23, 2011
SecCo 2011 9th International Workshop on Security Issues in Concurrency
Sep 5, 2011 - Sep 5, 2011 Aachen, Germany Jun 3, 2011
EXPRESS 2011 18th International Workshop on Expressiveness in Concurrency
Sep 5, 2011 - Sep 5, 2011 Aachen (Germany) Jun 3, 2011 (May 27, 2011)
TLDI 2011 The Sixth ACM SIGPLAN Workshop on Types in Language Design and Implementation
Jan 25, 2011 - Jan 25, 2011 Austin, Texas, USA Oct 11, 2011
DICE 2012 3rd Workshop on Developments in Implicit Complexity
Mar 31, 2012 - Apr 1, 2012 Tallinn (Estonia) Dec 23, 2011
CAV 2012 24th International Conference on Computer Aided Verification
Jul 7, 2012 - Jul 13, 2012 Berkeley, CA, USA Jan 22, 2012 (Jan 15, 2012)
FMICS 2012 17th International Workshop on Formal Methods for Industrial Critical Systems
Aug 27, 2012 - Aug 28, 2012 Paris, France Apr 4, 2012 (Mar 28, 2012)
ICE 2012 5th Interaction and Concurrency Experience
Jun 16, 2012 - Jun 16, 2012 Stockholm, Sweden Apr 4, 2012 (Mar 30, 2012)
LAM 2012 5th International Workshop on LOGICS, AGENTS, and MOBILITY
Jun 25, 2012 - Jun 26, 2012 Hamburg, Germany Apr 15, 2012
RV 2012 Runtime Verification
Sep 25, 2012 - Sep 28, 2012 Istanbul, Turkey Jun 3, 2012
ICESIT 2010 2010 International Conference on Embedded Systems and Intelligent Technology
Feb 5, 2010 - Feb 7, 2010 Chiang Mai, Thailand Oct 31, 2012
IJERTCS 2014 Int. J. Embedded and Real-Time Communication Systems
N/A N/A Jan 31, 2014
first | previous | Page 26 | next | last Total of 517 CFPs in 26 pages