April 2010 Archives by thread

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

Starting: Thu Apr 1 11:40:13 CEST 2010
Ending: Fri Apr 30 17:20:32 CEST 2010
Messages: 42

• [Om-announce] Amir Pnueli Memorial Symposium   Tayssir Touili
  • [Om-announce] LOPSTR'10: New deadline for extended abstract submission   Temur Kutsia
• [Om-announce] CfP -- ACA 2010 Special Session on Computer Algebra in Knowledge Based Applications   Volker Sorge
• [Om-announce] KR 2010 registration ends next week!   Joost Vennekens
• [Om-announce] RV 2010 - 2nd Call for Papers and Tutorials   RV 2010
• [Om-announce] ICLP-10 Doctoral Consortium Call For Papers   iclp10dc at gmail.com
• [Om-announce] SMT-COMP 2010   Clark Barrett
• [Om-announce] FLoC 2010: Call for Participation   Nicole Schweikardt
• [Om-announce] FLoC 2010: Call for Participation   Nicole Schweikardt
• [Om-announce] Final call: AMAST 2010   amast-10 at kestrel.edu
  • [Om-announce] JOMDoc ver.0.1.4 released!   Viacheslav Zholudev
  • [Om-announce] ANB 2010 -- Deadline approaching   Nikolaj Popov
• [Om-announce] Deadline Extended: 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010)   jun sun
• [Om-announce] SADFE 2010: Call for Participation   Rob Erbacher
• [Om-announce] FMICS 2010: Call for Papers (deadline extended)   Marco Roveri
• [Om-announce] Call for Papers: 2010 AAAI CAS Fall Symposium   Ted Carmichael
  • [Om-announce] Deadline extension: SCSS 2010   Nikolaj Popov
  • [Om-announce] Last CfP: WWV'10   WWV 2010
  • [Om-announce] Deadline extension: ANB 2010   Nikolaj Popov
  • [Om-announce] WWV'10: Deadline extension   WWV 2010
• [Om-announce] FLoC 2010: Student Travel Grants   Nicole Schweikardt
• [Om-announce] ESSLLI 2011 Call for Course and Workshop Proposals   Makoto Kanazawa
• [Om-announce] Phd Studentship in Automated Reasoning   Renate Schmidt
  • [Om-announce] CFP: VSTTE workshops on Theory and on Experiments & Tools   Gudmund Grov
• [Om-announce] 2nd CFP: International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2010)   Bernhard Beckert
• [Om-announce] DisCoTec 2010: Call for Participation   Gianluigi Zavattaro
• [Om-announce] [ISSAC-ANNOUNCE] [ISSAC2010] Call For Posters   Peter Horn
• [Om-announce] FAST 2010 Call For Papers   Nicola Zannone
• [Om-announce] 2nd CFP: FMCAD 2010   natasha.sharygina at usi.ch
  • [Om-announce] Call for Tool Papers - Deadline Reminder: Workshop on Invariant Generation (WING 2010), Edinburgh, July 21, 2010   Laura Kovacs
• [Om-announce] [simu-conf] 2010 Summer Computer Simulation Conference - Work in Progress - Deadline approaching   vsim-conf at sce.carleton.ca
• [Om-announce] Last CFP: DML 2010--Towards a Digital Mathematics Library, Paris, Jul 7-8th   dml2010 at easychair.org
  • [Om-announce] 2nd CfP: 20th WADT - deadline April, 30th   Till Mossakowski
• [Om-announce] Reachability Problems 2010 (Extended Deadline: 11 May)   Igor Potapov
  • [Om-announce] STACS 2011 - Call for papers   Thomas Schwentick
• [Om-announce] CFP: 6th International Conference on Information Systems Security (ICISS 2010)   Claudio Agostino Ardagna (claudio.ardagna)
  • [Om-announce] VSTTE 2010: Call for POSTERS   Gudmund Grov
  • [Om-announce] E.W. Beth Dissertation Award 2010 - deadline extended   Richard Moot
• [Om-announce] Call for Participation: FLoC Workshop on Modules and Libraries for Proof Assistants   Florian Rabe
• [Om-announce] Final CFP and deadline extention: FMCAD 2010   natasha.sharygina at usi.ch
  • [Om-announce] Three Postdocs at Oxford University   Daniel Kroening
  • [Om-announce] - Call for Applications – ESF/ERCOM/INI Conference: Highly Oscillatory Problems: From Theory to Applications, 12-17 September 2010, UK   conferences-info

Last message date: Fri Apr 30 17:20:32 CEST 2010
Archived on: Sat May 1 09:17:36 CEST 2010

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