|
|
|
Size
|
PhD position at Inria Lille - Nord Europe
|
Simon Bliudze |
Thu, 31 Mar 2022 15:06:28 +0200 |
153 lines |
[CFP] New Submission Opportunity :: SIMULTECH 2022 (April 21, 2022)
|
Monica Saramago |
Thu, 31 Mar 2022 11:49:58 +0100 |
293 lines |
Learning and Automata (LearnAut) 2022 -- ICALP 2022 Workshop, last CFP and deadline extension
|
Sammartino, Matteo |
Thu, 31 Mar 2022 10:32:39 +0000 |
520 lines |
2nd CfP: AMAI Special Issue on Symbolic Computation in Software Science
|
Temur Kutsia |
Wed, 30 Mar 2022 12:52:43 +0200 |
125 lines |
Call for Participation: FormaliSE 2022
|
Claudio Menghi |
Mon, 28 Mar 2022 08:08:01 -0400 |
121 lines |
FLoC 2022 Mentoring Workshop: Call for Scholarship Applications — deadline on April 11th
|
Sammartino, Matteo |
Mon, 28 Mar 2022 07:59:06 +0000 |
307 lines |
WADT 2022 -- Deadeline extension
|
Alexandre Madeira |
Mon, 28 Mar 2022 06:17:45 +0000 |
129 lines |
CMCS 2022: Call for Participation
|
Thorsten Wissmann |
Thu, 24 Mar 2022 11:23:56 +0100 |
139 lines |
Dependent types for practical use - BCS-FACS talk on 29 March 2022
|
Jonathan Bowen |
Tue, 22 Mar 2022 18:04:32 +0000 |
163 lines |
Second CFP 24th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2022)
|
Bein, Doina |
Wed, 16 Mar 2022 17:13:24 +0000 |
451 lines |
MSCA-PF hosting proposal @ Inria Lille
|
Simon Bliudze |
Sun, 13 Mar 2022 12:51:45 +0100 |
115 lines |
FOODSIM'2022 - SCIFI-IT'2022 Preliminary Programme, April 3-6, 2022, University of Leuven, Campus Ghent, Ghent, Belgium.
|
Philippe Geril |
Wed, 9 Mar 2022 16:38:25 +0000 |
507 lines |
[CFP] 12th Int. Conf. on Simulation and Modeling Methodologies, Technologies and Applications :: Submission Deadline - 22nd of March
|
Monica Saramago |
Tue, 8 Mar 2022 16:03:09 -0000 |
254 lines |
Learning and Automata (LearnAut) 2022 -- ICALP 2022 Workshop, second CFP
|
Sammartino, Matteo |
Tue, 8 Mar 2022 10:39:35 +0000 |
445 lines |