shilov61's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar

software engineering, theoretical computer science

 Sort by 
 
Event When Where Deadline
AAB 2015 Algebra Across The Borders - III
Sep 8, 2015 - Sep 13, 2015 Astana and Almaty, Kazakhstan TBD
PSSV 2012 Program Semantics, Specification and Verification: Theory and Applications
Jul 1, 2012 - Jul 2, 2012 Nizhni Novgorod, Russia Mar 25, 2012
META 2012 Third International Valentin Turchin Workshop on Metacomputation
Jul 5, 2012 - Jul 9, 2012 Pereslavl-Zalessky, Russia Mar 26, 2012
FWFM 2013 Fun With Formal Methods
Jul 13, 2013 - Jul 13, 2013 Saint Petersburg, Russia Apr 27, 2013
FWFM 2014 2nd workshop on Fun With Formal Methods
Jul 13, 2014 - Jul 13, 2014 Vienna, Austria May 25, 2014
PSSV 2016 7th Workshop Program Semantics, Specification and Verification
Jun 14, 2016 - Jun 14, 2016 Saint Petersburg, Russia Apr 15, 2016
KBCTinMAS 2017 Session on Knowledge, Beliefs, Certainty and Trust in Multiagent Systems
Jun 21, 2017 - Jun 23, 2017 Vilamoura, Portugal Jan 31, 2017
PSSV 2017 Eighth Workshop Program Semantics, Specification and Verification: Theory and Applications
Jun 26, 2017 - Jun 26, 2017 Moscow, Russia Apr 24, 2017
PSSV 2018 Nineth Workshop Program Semantics, Specification and Verification: Theory and Applications
Jun 21, 2018 - Jun 22, 2018 Yaroslavl, Russia May 4, 2018
FWFM-2019 The Third Workshop Fun With Formal Methods
Oct 17, 2019 - Oct 17, 2019 Innopolis (near Kazan, Russia) Oct 1, 2019
PSSV 2020 XI Workshop Program Semantics, Specification and Verification
Nov 3, 2020 - Nov 4, 2020 Moscow (Russia) Oct 19, 2020
first | previous | Page 1 | next | last Total of 11 CFPs in 1 pages