|
|
|
Size
|
[ABZ2014] -- Call For Participation
|
Yamine AIT AMEUR |
Mon, 31 Mar 2014 19:00:54 +0200 |
417 lines |
BCS-FACS evening seminars, London, May/June/July 2014
|
Jonathan Bowen |
Sun, 30 Mar 2014 21:09:48 +0100 |
314 lines |
Call for Participation: Formal Methods 2014 (FM 2014), Singapore, May 12-16, 2014
|
Jonathan Bowen |
Sun, 30 Mar 2014 16:10:23 +0100 |
259 lines |
Call For Participation: FormaliSE 2014, Hyderabad, India, 3 June 2014
|
Nico Plat |
Sat, 29 Mar 2014 22:40:18 +0100 |
87 lines |
SSTiC 2014: April 12, 5th registration deadline
|
GRLMC |
Sat, 29 Mar 2014 16:12:31 +0100 |
248 lines |
AI4FM 2014: Call for Participation
|
Iain Whiteside |
Tue, 25 Mar 2014 16:17:44 +0000 |
188 lines |
SLSP 2014: 2nd call for papers
|
GRLMC |
Sat, 22 Mar 2014 18:27:24 +0100 |
243 lines |
Integrated Formal Methods 2014 - Call for Papers
|
Emil Sekerinski |
Wed, 19 Mar 2014 19:45:54 -0400 |
491 lines |
ICTAI 2014: Second Call for Papers
|
Announce Announcements |
Sun, 16 Mar 2014 13:54:54 +0200 |
238 lines |
ICEIRD 2014: Final Call for Papers
|
Announce Announcements |
Sat, 8 Mar 2014 14:46:47 +0200 |
352 lines |
SSTiC 2014: 15 March, 4th registration deadline
|
GRLMC - URV |
Thu, 6 Mar 2014 21:12:29 +0100 |
248 lines |
WiMob 2014: Second CFP and Last Call for Workshop Proposals
|
Announce Announcements |
Sat, 1 Mar 2014 15:00:40 +0200 |
409 lines |