amirahn's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar
 Sort by 
 
Event When Where Deadline
LANMR 2016 LANMR 2016 : Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning 2016
Aug 15, 2016 - Aug 15, 2016 Puebla May 6, 2016
RP 2016 Reachability Problems
Sep 19, 2016 - Sep 21, 2016 Aalborg, Denmark Jun 10, 2016
EXPRESS/SOS 2016 Combined 23th International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics (EXPRESS/SOS 2016)
Aug 22, 2016 - Aug 22, 2016 Qu├ębec Jun 13, 2016
FSTTCS 2016 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
Dec 13, 2016 - Dec 15, 2016 Chennai, India Jul 15, 2016
LaSh 2016 Fifth Workshop on Logic and Search
Oct 17, 2016 - Oct 17, 2016 New York City Sep 12, 2016
STACS 2017 34th International Symposium on Theoretical Aspects of Computer Science
Mar 8, 2017 - Mar 11, 2017 Hannover, Germany Sep 25, 2016
KRR@SAC 2017 Knowledge Representation and Reasoning (track of the 32st ACM/SIGAPP Symposium On Applied Computing)
Apr 3, 2017 - Apr 7, 2017 Marrakech, Morocco Oct 7, 2016
LICS 2017 Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science
Jun 20, 2017 - Jun 23, 2017 Reykjavik, Iceland Jan 9, 2017 (Jan 3, 2017)
LPAR 2017 International Conferences on Logic for Programming, Artificial Intelligence and Reasoning
May 7, 2017 - May 12, 2017 Maun, Botswana Jan 15, 2017 (Jan 1, 2017)
ACSD 2017 Application of Concurrency to System Design
Jun 26, 2017 - Jun 30, 2017 Zaragoza, Spain Jan 20, 2017 (Jan 13, 2017)
FormaliSE 2017 FME Workshop on Formal Methods in Software Engineering
May 27, 2017 - May 27, 2017 Buenos Aires, Argentina Jan 20, 2017
CfW-CONCUR 2017 Call for Workshops in The 28th International Conference on Concurrency Theory
Sep 4, 2017 - Sep 9, 2017 Berlin Jan 27, 2017
LPNMR 2017 14th International Conference on Logic Programming and Non-monotonic Reasoning
Jul 3, 2017 - Jul 6, 2017 Hanasaari, Espoo, Finland Feb 9, 2017 (Feb 5, 2017)
ICALP 2017 44th International Colloquium on Automata, Languages, and Programming
Jul 10, 2017 - Jul 14, 2017 Warsaw, Poland Feb 17, 2017
iFM 2017 11th International Conference on Tests And Proofs
Jul 19, 2017 - Jul 20, 2017 Marburg, Germany Feb 24, 2017 (Feb 17, 2017)
SIMULTECH 2017 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
Jul 29, 2017 - Jul 31, 2017 Madrid, Spain Mar 6, 2017
TACL 2017 TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC
Jun 26, 2017 - Jun 30, 2017 Prague Mar 10, 2017
ICUFN 2017 The Nineth International Conference on Ubiquitous and Future Networks
Jul 4, 2017 - Jul 7, 2017 Milan, Italy Mar 15, 2017
CSCloud 2017 The 4th IEEE International Conference on Cyber Security and Cloud Computing
Jun 26, 2017 - Jun 28, 2017 New York, USA Mar 15, 2017
SEAA-SPPI 2017 Euromicro SEAA - SPPI Track
Aug 30, 2017 - Sep 1, 2017 Vienna, Austria Mar 15, 2017 (Mar 8, 2017)
first | previous | Page 1 | next | last Total of 68 CFPs in 4 pages