|
|
|
Size
|
D-20: Submit your paper to SYNT2020
|
Mikaël Mayer |
Thu, 30 Apr 2020 17:27:19 -0500 |
102 lines |
Lecturer (Assistant Professor) in Computer Science, University of Surrey, UK
|
Steve Schneider |
Thu, 30 Apr 2020 16:08:20 +0000 |
258 lines |
SEFM - Deadline extension and move to virtual modality
|
Jacopo Mauro |
Tue, 28 Apr 2020 12:29:44 +0200 |
317 lines |
BCS-FACS online talk by Dennis Furey on delay insensitive circuits
|
Jonathan Bowen |
Sat, 25 Apr 2020 19:00:48 +0100 |
127 lines |
Research Assistant - SUSTAIN Digital Modelling and Blockchain
|
Beckmann A. |
Wed, 22 Apr 2020 09:02:45 +0000 |
208 lines |
Grant: Helmut Veith Stipend for Female Master’s Students in Computer Science - scholarship for women in mathematics/computer science – Annual Deadline: November 30
|
Rozman, Mihaela |
Mon, 20 Apr 2020 09:28:35 +0000 |
295 lines |
Preliminary Programme 11th biennial FOODSIM'2020 Conference, September 6-10, 2020, University of Leuven/Campus Ghent, Ghent, Belgium
|
Philippe Geril |
Thu, 9 Apr 2020 16:26:56 +0100 |
809 lines |
FACS FACTS Newsletter: Invitation to Contribute
|
Jonathan Bowen |
Thu, 9 Apr 2020 12:26:39 +0100 |
119 lines |
2nd CfP: UNIF 2020
|
Temur Kutsia |
Thu, 9 Apr 2020 00:16:37 +0200 |
218 lines |
[vcla-scholarships] (Final Call For Papers - Extended) The 31st International Conference on Concurrency Theory (CONCUR 2020) --- VIRTUAL /Vienna, Austria\---September 1-4, 2020
|
Rozman, Mihaela |
Tue, 7 Apr 2020 14:57:43 +0000 |
501 lines |
Postdoctoral position on verification of concurrent systems via model learning, Royal Holloway University of London, Deadline: 4 May 2020
|
Matteo Sammartino |
Tue, 7 Apr 2020 09:39:25 +0000 |
55 lines |
CFP SEFM - International Conference on Software Engineering and Formal Methods
|
Jacopo Mauro |
Tue, 7 Apr 2020 10:51:37 +0200 |
311 lines |
Re: SESS 2020 (IEEE Workshop on Software Engineering for Smart Systems) -- Deadline: 9 April 2020
|
Francois Siewe |
Mon, 6 Apr 2020 13:35:45 +0000 |
775 lines |
LMS Computer Science Grants - reminder
|
LMS Computer Science |
Mon, 6 Apr 2020 10:03:41 +0000 |
162 lines |
Call for Submissions - 7th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
|
Kostiantyn Potomkin |
Thu, 2 Apr 2020 09:59:54 +0000 |
222 lines |
Assistant Professor Position in Computer Science with focus on Cybersecurity
|
Jacopo Mauro |
Wed, 1 Apr 2020 11:14:16 +0200 |
87 lines |