|
|
|
Size
|
NFM 2019 Third Call For Papers- 11th Annual NASA Formal Methods Symposium
|
Rozier, Kristin Yvonne [AER E] |
Sun, 2 Dec 2018 03:36:14 +0000 |
160 lines |
PhD Studentships at UCL: Interface Reasoning for Interacting Systems
|
Pym, David |
Tue, 4 Dec 2018 16:29:18 +0000 |
68 lines |
PhD Studentship at UCL: A Coalgebraic framework for reductive logic and proof-search
|
Pym, David |
Tue, 4 Dec 2018 16:33:14 +0000 |
81 lines |
PhD Positions at the University of Liverpool
|
Schewe, Sven |
Sat, 8 Dec 2018 10:45:13 +0000 |
135 lines |
2nd CfP: FormaliSE 2019
|
Nico Plat |
Sat, 8 Dec 2018 23:41:56 +0100 |
174 lines |
Latest news on TOOLS 50+1
|
Manuel Mazzara |
Sun, 16 Dec 2018 16:18:17 +0000 |
136 lines |
CFP 19th International Conference on Application of Concurrency to System Design (ACSD'19) 2nd call
|
Michał Knapik |
Tue, 18 Dec 2018 20:04:00 +0100 |
330 lines |
CFP ICINCO 2019 - 16th Int.l Conf. on Informatics in Control, Automation and Robotics (Prague/Czech Republic)
|
[log in to unmask] |
Thu, 27 Dec 2018 22:42:46 +0000 |
39 lines |
CFP SIMULTECH 2019 - 8th Int.l Conf. on Simulation and Modeling Methodologies, Technologies and Applications (Prague/Czech Republic)
|
[log in to unmask] |
Thu, 27 Dec 2018 22:42:57 +0000 |
37 lines |
Call for papers: EFM 2019, 1st International Workshop on Empirical Formal Methods (FM'19, October 7-11, Porto, PT)
|
Jonathan Bowen |
Sat, 29 Dec 2018 17:38:44 +0000 |
356 lines |