May 2010 Archives by thread

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

Starting: Sat May 1 10:52:55 CEST 2010
Ending: Mon May 31 16:52:28 CEST 2010
Messages: 46

• [Om-announce] CfP: 20th WADT - deadline extended to May, 10th   Till Mossakowski
• [Om-announce] FLoC 2010: 2nd Call for Participation   Nicole Schweikardt
• [Om-announce] [Call for participation] Workshop on Constraint Based Methods for Bioinformatics   Alessandro Dal Palu'
• [Om-announce] LPAR-17 in Indonesia - CFP and Workshops   Geoff Sutcliffe
  • [Om-announce] Call for Proposals/Participation: Training Camp and Doctoral Programme at CICM (Paris, July 6-9)   Christoph LANGE
• [Om-announce] [fm-announcements] IWS 2010: Call for Participation   Munoz, Cesar Augusto (LARC-D320)
• [Om-announce] Exploiting Concurrency Efficiently and Correctly: (EC)^2 --- Call for Participation   Azadeh Farzan
  • [Om-announce] AISC'10: Call for Short Presentations   Serge Autexier
    • [Om-announce] Call for contributions to MathUI 10   Paul Libbrecht
• [Om-announce] RV'10 Final CFP - DEADLINE: June 1st   RV 2010
• [Om-announce] CFP: Post-proceedings of HyLo 2010   Thomas Bolander
• [Om-announce] CiE 2010 - Call for Participation and Informal Presentations   S B Cooper
• [Om-announce] CAV 2010 Call for Participation and early registration   Tayssir Touili
  • [Om-announce] IJCAR 2010 - 2nd Call for participation   Viorica Sofronie-Stokkermans
  • [Om-announce] ESSLLI 2011: Open for Submissions   Makoto Kanazawa
• [Om-announce] CALL FOR PARTICIPATION: MPC 2010   Jules Desharnais
  • [Om-announce] iFM 2010: final CFP and deadline extension   Stephan Merz
  • [Om-announce] [se-seafood] LASER Summer School: Update   Julian Tschannen
• [Om-announce] ICALP 2010 - CALL FOR PARTICIPATION   Nicolas Bonichon
• [Om-announce] Call for abstracts: ISoLA 2010, Track on Model-based Testing for Security   Markus Roggenbach
  • [Om-announce] Final Call for Papers: VSTTE workshops on Theory and on Experiments & Tools   Gudmund Grov
• [Om-announce] Call for papers: TMFCS-10, USA, July 2010   James Heralds
• [Om-announce] NIST Digital Library of Mathematical Functions Released   Bruce Miller
  • [Om-announce] Deadline for HLDVT early registration closes May 17   Shireesh Verma
• [Om-announce] [se-seafood] Call For Papers: ECSS 2010   Scott West
• [Om-announce] Deadline approaching: May 25; MICAI 2010, Artificial Intelligence, Springer LNAI, Mexico   MICAI 2010
• [Om-announce] DEADLINES EXTENDED: Web Reasoning and Rule Systems 2010: Call for Papers   Pascal Hitzler
• [Om-announce] DisCoTec 2010: Call for Participation   Gianluigi Zavattaro
• [Om-announce] Call for Participation - The Fourth IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI'10)   jun sun
  • [Om-announce] Call for Paper: The 3rd International Symposium on Unifying Theories of Programming   jun sun
• [Om-announce] LPAR-17 submission deadlines   Geoff Sutcliffe
• [Om-announce] Call for Presentations --- ACA 2010 Special Session   Volker Sorge
• [Om-announce] New Deadline: June 8   RV 2010
  • [Om-announce] Call for Participation: 20th WADT, July 1-4, 2010   Till Mossakowski
  • [Om-announce] EXTENDED DEADLINE: VSTTE workshops on Theory and on Experiments & Tools   Gudmund Grov
• [Om-announce] Deadline EXTENSION: MICAI 2010 - Artificial Intelligence, Springer LNAI, Mexico   MICAI 2010
• [Om-announce] RR2010 call for position papers and PhD proposals   Pascal Hitzler
• [Om-announce] CFP: ICFEM 2010, Shanghai   jun sun
• [Om-announce] FLoC 2010: US-based Student Travel Support   Nicole Schweikardt
  • [Om-announce] Final Call for Applications – ESF/ERCOM/INI Conference: Highly Oscillatory Problems: From Theory to Applications, 12-17 September 2010, UK   conferences-info
    • [Om-announce] MetiTarski 1.4 released!   Lawrence Paulson
    • [Om-announce] [ISSAC-ANNOUNCE] [ISSAC 2010] Registration Open, Program Published, Poster Deadline Extended   Peter Horn
• [Om-announce] CFP: 6th International Conference on Information Systems Security (ICISS 2010)   Claudio Agostino Ardagna (claudio.ardagna)
  • [Om-announce] PhD position available on `The Productive Use of Failure in Formal Methods'   Gudmund Grov
  • [Om-announce] Final Call for Paper: The 3rd International Symposium on Unifying Theories of Programming (UTP 2010 Shanghai)   jun sun
• [Om-announce] PhD 3-year Scholarships   Maria Antonia Huertas Sanchez

Last message date: Mon May 31 16:52:28 CEST 2010
Archived on: Mon May 31 16:59:52 CEST 2010

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