|
|
|
Size
|
Deadline Extended (to 17 May 2020): ICFEM 2020
|
Zhe Hou |
Wed, 29 Apr 2020 01:52:18 +0000 |
336 lines |
SEFM - Deadline extension and move to virtual modality
|
Jacopo Mauro |
Tue, 28 Apr 2020 12:29:44 +0200 |
316 lines |
Virtual WADT, 29.4.2020 - free participation
|
Roggenbach M. |
Sun, 26 Apr 2020 09:31:09 +0000 |
147 lines |
BCS-FACS online talk by Dennis Furey on delay insensitive circuits
|
Jonathan Bowen |
Sat, 25 Apr 2020 19:00:48 +0100 |
126 lines |
CFP: SESS 2020 (IEEE Workshop on Software Engineering for Smart Systems) -- Deadline: 1 May 2020
|
Francois Siewe |
Thu, 9 Apr 2020 15:39:27 +0000 |
1596 lines |
FACS FACTS Newsletter: Invitation to Contribute
|
Jonathan Bowen |
Thu, 9 Apr 2020 12:26:39 +0100 |
118 lines |
CFP SEFM - International Conference on Software Engineering and Formal Methods
|
Jacopo Mauro |
Tue, 7 Apr 2020 10:51:37 +0200 |
310 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 |
774 lines |
CfP - 3rd International Conference on Microservices (Microservices 2020)
|
Marco Peressotti |
Mon, 6 Apr 2020 07:57:03 +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:56 +0000 |
220 lines |
Assistant Professor Position in Computer Science with focus on Cybersecurity
|
Jacopo Mauro |
Wed, 1 Apr 2020 11:14:16 +0200 |
86 lines |