|
|
|
Size
|
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 |
357 lines |
IEEE CIBCB 2019 - Call for Papers
|
Ieee Cibcb 2019 |
Fri, 21 Dec 2018 11:11:40 +0000 |
422 lines |
Second CFP: Resilient and Secure IoT for Health Workshop (IOT4HEalth), part of INFOCOM 2019 Workshops
|
Bein, Doina |
Wed, 19 Dec 2018 23:34:11 +0000 |
216 lines |
Research Position on Verified Confidentiality for Weak Memory Concurrency, Melbourne
|
Toby Murray |
Thu, 13 Dec 2018 00:56:40 +0000 |
43 lines |
Postdoc positions in formal methods, U. Oslo
|
Einar Broch Johnsen |
Wed, 5 Dec 2018 15:22:19 +0000 |
68 lines |
PhD Studentships at UCL: Interface Reasoning for Interacting Systems
|
Pym, David |
Tue, 4 Dec 2018 16:36:50 +0000 |
69 lines |
PhD Studentship at UCL: A Coalgebraic framework for reductive logic and proof-search
|
Pym, David |
Tue, 4 Dec 2018 16:35:59 +0000 |
82 lines |
NFM 2019 Third Call For Papers- 11th Annual NASA Formal Methods Symposium
|
Rozier, Kristin Yvonne [AER E] |
Sun, 2 Dec 2018 03:38:31 +0000 |
161 lines |