May 2012 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Tue May 1 08:59:09 CEST 2012
Ending: Thu May 31 19:58:36 CEST 2012
Messages: 48

• [Om-announce] Second CFP Synasc 2012, Timisoara, Romania   SYNASC 2012
  • [Om-announce] SLS2012 Deadline extension   Thomas Bolander
  • [Om-announce] ICA3PP 2012 Paper Submission Deadline: May 15, 2012 (11:59 PM Samoa time, firm deadline)   Yu Wang
  • [Om-announce] BNC at ECAI 2012: Second Call for Papers   BNC 2012
    • [Om-announce] Deadline Extension: TCS 2012   Michiel Helvensteijn
  • [Om-announce] ECSS 2012 - 1st Call for Participation/Contributions   Cristina Pereira
• [Om-announce] 2.CFP: Robotics in Education 2012   David Obdrzalek
• [Om-announce] IJCAR 2012 Participation and Travel Awards   Geoff Sutcliffe
• [Om-announce] CFP - ICISS 2012   Shamik Sural
• [Om-announce] CiE 2012: Turing Centenary Conference, Cambridge - Final Call for Presentations   S B Cooper
• [Om-announce] CiE 2012: Turing Centenary Conference, Cambridge - Final Call for Presentations   S B Cooper
• [Om-announce] SSLST 2012: 2nd announcement   GRLMC
  • [Om-announce] ACNS'12 Call for Participation   Giovanni Livraga
• [Om-announce] LASER Summer School 2012: Innovative Languages for Software Engineering (Final call for participation)   Nadia Polikarpova
• [Om-announce] ESSLLI 2013: call for course and workshop proposals   Johan Bos
• [Om-announce] ESSLLI 2012 call for participation   A. Herzig
  • [Om-announce] Call for papers GandALF 2012 -- EXTENDED DEADLINE   Nello Murano
    • [Om-announce] [fm-announcements] Call For Papers: RV 2012   Klaus Havelund
• [Om-announce] 2nd CfP ASPOCP 2012: 5th Workshop on Answer Set Programming and Other Computing Paradigms   aspocp at gmail.com
• [Om-announce] 3rd CFP SYNASC 2012, Timisoara, Romania   SYNASC 2012
• [Om-announce] TPNC 2012: last submission deadline extension   GRLMC
• [Om-announce] FLACOS 2012 Call for Papers   FLACOS 2012
• [Om-announce] LOPSTR 2012: Final Call for Papers   Jon Sneyers
• [Om-announce] PPDP 2012: Final Call for Papers   Jon Sneyers
• [Om-announce] SSMBio 2012: 2nd announcement   URV - RESEARCH GROUP ON MATHEMATICAL LINGUISTICS
• [Om-announce] E. W. Beth Dissertation Prize: 2012 new call for nominations   A. Herzig
• [Om-announce] [fm-announcements] NASA/NIA PVS Class 2012   MUNOZ, CESAR (LARC-D320)
• [Om-announce] CFP Synasc 2012 - deadline extension   SYNASC 2012
• [Om-announce] Fwd: Public Editor's draft of MathML   David Carlisle
  • [Om-announce] CAV 2012: Call for Participation   CAV 2012 CFP
  • [Om-announce] ARCOE-12: Third call for papers   ARCOE Announcement
    • [Om-announce] MetiTarski 2.0 released!   Lawrence Paulson
• [Om-announce] FSFLA 2012: 1st announcement   GRLMC
• [Om-announce] [CFP] Deadline Extension WCB 2012 - Workshop on Constraint Based Methods for Bioinformatics   Sebastian Will
  • [Om-announce] CICM 2012: Call for participation   Johan Jeuring
• [Om-announce] Call for Applications: 5th International School on Software Engineering and Formal Methods   Markus Roggenbach
  • [Om-announce] Call for Papers - 8th International Workshop on Security and Trust Management (STM 2012)   STM 2012
• [Om-announce] LOPSTR'12 deadline extension   Jon Sneyers
  • [Om-announce] Deadline extension for MathUI 2012   Paul Libbrecht
  • [Om-announce] Call for Papers - 9th European PKI Workshop: Research and Applications (EuroPKI 2012)   EuroPKI 2012
  • [Om-announce] Deadline Extended to 1 June: OpenMath workshop at CICM (11 July, Bremen, Germany)   Christoph LANGE
• [Om-announce] IJCAR 2012 Call for Participation   Geoff Sutcliffe
  • [Om-announce] IEEE HLDVT 2012: Call for Papers   Hiren Patel
  • [Om-announce] ACNS'12 Call for Participation   Giovanni Livraga
• [Om-announce] CiE 2012 Turing Centenary Conference, Cambridge - Final Call for Participation   S B Cooper
• [Om-announce] CiE 2012 Turing Centenary Conference, Cambridge - Final Call for Participation   S B Cooper
• [Om-announce] FOOL 2012: Call for Papers   John Tang Boyland
  • [Om-announce] Call for Papers - 8th International Workshop on Security and Trust Management (STM 2012)   STM 2012

Last message date: Thu May 31 19:58:36 CEST 2012
Archived on: Mon Jun 4 18:12:23 CEST 2012

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...