|
|
|
Size
|
FACS FACTS newsletter Call for Contributions
|
Jonathan Bowen |
Thu, 29 Apr 2021 20:00:59 +0100 |
170 lines |
SESS 2021 Call for Papers -- Deadline extended to 1st May 2021
|
Francois Siewe |
Mon, 26 Apr 2021 10:29:23 +0000 |
183 lines |
[Deadlines extension] CFP: 15th European Conference on Software Architecture (ECSA 2021)
|
AURORA MACÍAS |
Sun, 25 Apr 2021 09:20:44 +0200 |
324 lines |
FMCAD 2021 2nd Call for Papers
|
Michael Whalen |
Fri, 23 Apr 2021 09:16:02 -0500 |
345 lines |
Formal Methods 2021 (virtual conference): Final call for papers
|
Jun PANG |
Fri, 23 Apr 2021 09:13:08 +0200 |
256 lines |
BCS-FACS talks on Zoom (May & June 2021)
|
Jonathan Bowen |
Thu, 22 Apr 2021 18:09:42 +0100 |
104 lines |
Tenth (Virtual) Summer School on Formal Techniques, May 22-28, 2021
|
Jonathan Bowen |
Wed, 21 Apr 2021 12:14:28 +0100 |
286 lines |
[CFP] Last Call :: 11th Int. Conf. on Simulation and Modeling Methodologies, Technologies and Applications (Deadline 29th of April)
|
Monica Saramago |
Tue, 20 Apr 2021 14:01:02 +0100 |
293 lines |
SPIN 2021 - Final Call for Papers
|
Laarman, A.W. |
Mon, 19 Apr 2021 10:14:34 +0000 |
426 lines |
Computer Science grants to support research visits
|
LMS Computer Science |
Mon, 12 Apr 2021 10:26:31 +0000 |
214 lines |
Two PhD positions in Formal Methods for Underwater Robots available (RWTH Aachen, Uni Oslo)
|
Einar Broch Johnsen |
Mon, 12 Apr 2021 07:31:15 +0000 |
114 lines |
QEST 2021: Deadline Extensions
|
Marco Paolieri |
Sat, 10 Apr 2021 15:00:53 -0700 |
375 lines |
BCS Lovelace Lecture, 5 May 2021 - Marta Kwiatkowska
|
Jonathan Bowen |
Tue, 6 Apr 2021 13:00:08 +0100 |
751 lines |
Formal Methods 2021 (virtual conference): Call for papers
|
Jun PANG |
Tue, 6 Apr 2021 10:21:24 +0200 |
256 lines |
2nd CFP, GAME-ON'2021, 22nd Annual Simulation & AI in Games Conference, Sept.22-24, 2021, Univ. of Aveiro, Portugal
|
Philippe Geril |
Thu, 1 Apr 2021 16:47:23 +0100 |
498 lines |