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 |
|