| | Topic | Rating | Messages | Author | Date |
 |
|
|
|
|
|
 |
LPAR-16 - Dakar, Senegal - April 2010 |
|
1 new of 1 |
Geoff Sutcliffe (1 author) |
Dec 15 |
|
PADL 2010: Call for Participation |
|
1 new of 1 |
Manuel Carro (1 author) |
Dec 14 |
|
PADL 2010: Call for Participation and Early Registration |
|
1 new of 1 |
mca...@clip.dia.fi.upm.es (1 author) |
Dec 14 |
|
QSIC 2010 CFP |
|
1 new of 1 |
QSIC 2010 (1 author) |
Dec 13 |
|
International Workshop: DATICS-FutureTech'10 (EI Indexed) |
|
1 new of 1 |
SS DATICS (1 author) |
Dec 13 |
|
PROMASC'2010: 1st Call for Papers |
|
1 new of 1 |
Riadh BEN HALIMA (1 author) |
Dec 10 |
|
Call for Papers: ICLP 2010 |
|
1 new of 1 |
Torsten Schaub (1 author) |
Dec 9 |
|
Deadline extension: MBT 2010, Sixth Workshop on Model-Based Testing at ETAPS 2010 |
|
1 new of 1 |
Bernd Finkbeiner (1 author) |
Dec 7 |
|
update & override: notation and axiomatization |
|
1 new of 1 |
Jasper Berendsen (1 author) |
Dec 3 |
|
Last Call for Papers: ACSD 2010 (Application of Concurrency to |
|
1 new of 1 |
victor khomenko (1 author) |
Dec 2 |
|
FLoC 2010: Call for Papers |
|
1 new of 1 |
Nicole Schweikardt (1 author) |
Nov 30 |
|
Memocode 2010 First Call for Papers |
|
1 new of 1 |
Barbara Jobstmann (1 author) |
Nov 28 |
|
IJCAR 2010 - first call for papers |
|
1 new of 1 |
"Viorica Sofronie-Stokkermans" (1 author) |
Nov 25 |
|
NOTERE'2010: 2nd Call for Papers (planned special issues) |
|
1 new of 1 |
Bechir ZALILA (1 author) |
Nov 24 |
|
*** Reminder:FACS/LMS Evening Seminar by Prof Mike Gordon: Forward with Hoare, 1 December 2009, London Mathematical Society, Demorgan House |
|
1 new of 1 |
Paul.Boca@googlemail.com (1 author) |
Nov 22 |
|
DAIS'2010: Call for papers |
|
1 new of 1 |
Hans P. Reiser (1 author) |
Nov 20 |
|
DiScoTec 2010: Call for Workshop Proposals |
|
1 new of 1 |
Gianluigi Zavattaro (1 author) |
Nov 17 |
|
SETP-10 Call for papers |
|
1 new of 1 |
James Heralds (1 author) |
Nov 15 |
|
SBMF 2010 - First Call for Papers |
|
1 new of 1 |
le...@ufs.br (1 author) |
Nov 11 |
|
Reminder: last week to submit to CAL'2010 |
|
1 new of 1 |
Khalil Drira (1 author) |
Oct 30 |
|
*** BCS-FACS/LMS Evening Seminar by Prof Mike Gordon, 1 December, London, UK |
|
1 new of 1 |
Paul.Boca@googlemail.com (1 author) |
Oct 29 |
|
CFP CAL'2010 Pau, France, 9-11 march 2010 |
|
1 new of 1 |
Khalil Drira (1 author) |
Oct 22 |
|
Workshop on Model Based Engineering for Embedded Systems Design - Call for Contributions - Deadline November 18, 2009 |
|
1 new of 1 |
i...@ecsi.org (1 author) |
Oct 19 |
|
SOSE 2010 CFP |
|
1 new of 1 |
SOSE2010 (1 author) |
Oct 14 |
|
**** FACS/BCSWomen Evening Seminar on Software verification for ubiquitous computing, 19 Oct, 6pm, London |
|
1 new of 1 |
Paul.Boca@googlemail.com (1 author) |
Oct 13 |
|
CAV 2010 Call for Papers |
|
2 new of 2 |
Tayssir Touili (1 author) |
Oct 13 |
|
First CfP: PETRI NETS 2010, 31st International Conference on Application |
|
1 new of 1 |
Joao Paulo Barros (1 author) |
Oct 13 |
|
Call for Papers/Workshop Proposals (GPC-10, UIC-10, MTPP-10, ICA3PP-10, FC-10, SMPE-10, FutureTech-10, BodyNets-10) |
|
1 new of 1 |
C. Hsu" (1 author) |
Oct 12 |
|
CFP: MBT 2010, Sixth Workshop on Model-Based Testing at ETAPS 2010 |
|
1 new of 1 |
Bernd Finkbeiner (1 author) |
Oct 11 |
|
2009 Refinement Workshop: call for participation and PhD bursaries |
|
3 new of 3 |
Announcements of FME events (1 author) |
Oct 10 |
|
