|
|
|
Size
|
PostDoc in using Formal Methods for finding security vulnerabilities and misconfigurations in business-process-driven systems (Deadline: 2024-04-18)
|
Achim D. Brucker |
Sat, 30 Mar 2024 11:12:09 +0000 |
59 lines |
FM 2024: Call for Papers
|
Matteo G. Rossi |
Fri, 29 Mar 2024 11:50:41 +0100 |
116 lines |
ICE 2024: Third Call for Papers (abstract deadline tomorrow)
|
Violet Ka I Pun |
Tue, 26 Mar 2024 17:32:42 +0100 |
605 lines |
QEST+FORMATS: Final Call for Papers
|
Patrick Totzke |
Mon, 25 Mar 2024 09:43:01 +0000 |
212 lines |
Funded PhD position with RoboStar and RACE
|
Ana Cavalcanti |
Thu, 21 Mar 2024 08:35:39 +0000 |
222 lines |
Funded PhD Position in Formalizing/Verification of Golang (Application Deadline 2024-03-31)
|
Achim D. Brucker |
Wed, 20 Mar 2024 16:39:57 +0000 |
45 lines |
[Reminder] BCS-FACS Seminar, 26 March 2024
|
Alvaro Miyazawa |
Tue, 19 Mar 2024 14:00:14 +0000 |
311 lines |
1ST CFP - ESM'2024 - The 38th annual European Simulation and Modelling Conference, October 23-25, 2024, University of the Basque Country, San Sebastian, Spain
|
Philippe Geril |
Sat, 9 Mar 2024 15:41:17 +0000 |
523 lines |
Learning and Automata (LearnAut) 2024 -- ICALP 2024 Workshop, first CFP
|
Sammartino, Matteo |
Tue, 5 Mar 2024 15:52:24 +0000 |
410 lines |
Symbolic Computation in Software Science (SCSS'24): submission deadline extension
|
Temur Kutsia |
Mon, 4 Mar 2024 07:55:28 +0100 |
29 lines |
FOODSIM'2024 Preliminary Programme, April 7-10-11, 2024, University of Leuven, Campus Ghent, Ghent, Belgium.
|
Philippe Geril |
Fri, 1 Mar 2024 09:23:42 +0000 |
481 lines |