|
|
|
Size
|
2nd call for papers: CFV'09, deadline April 22
|
Miroslav Velev |
Fri, 27 Mar 2009 22:53:24 +0000 |
135 lines |
2nd call for papers: CFV'09, deadline April 22
|
Miroslav Velev |
Fri, 27 Mar 2009 15:38:15 -0500 |
148 lines |
REMINDER: FACS/FME Evening Seminar: "Models of computation: automata and processes", 2 April, London
|
Paul Boca |
Fri, 27 Mar 2009 11:36:30 +0000 |
55 lines |
Announcement: New Formal Methods Wiki - http://formalmethods.wikia.com
|
Jonathan Bowen |
Thu, 26 Mar 2009 08:54:08 -0000 |
46 lines |
CFP: Formal Aspects of Virtual Organisations
|
Jeremy Bryans |
Tue, 17 Mar 2009 14:46:56 +0000 |
107 lines |
TASE 2009 - CALL FOR POSTER PRESENTATIONS
|
CRACIUN F. |
Tue, 10 Mar 2009 20:39:38 -0000 |
128 lines |
CORCS'09 CFP - EXTENDED DEADLINE: 15th of March
|
Cristina Seceleanu |
Fri, 6 Mar 2009 16:30:29 +0100 |
118 lines |
T4CIA'09 CFP
|
Jun PANG |
Fri, 6 Mar 2009 09:28:22 +0100 |
120 lines |
Final Call for Workshop Proposals: ATVA 2009
|
Wang Xu |
Wed, 4 Mar 2009 17:34:24 +0800 |
76 lines |
CORCS CFP: 2nd IEEE International Workshop on Component-Based Design of Resource-Constrained Systems (CORCS 2009)
|
Cristina Seceleanu |
Mon, 2 Mar 2009 12:34:05 +0100 |
114 lines |
BCS-FACS/FME Evening Seminar by Jos Baeten, Models of computation: automata and processes, 2 April 2009, BCS Offices, London
|
Paul Boca |
Mon, 2 Mar 2009 10:57:32 +0000 |
60 lines |