March 2010 Archives by author

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

Starting: Mon Mar 1 00:22:24 CET 2010
Ending: Wed Mar 31 23:56:09 CEST 2010
Messages: 65

• [Om-announce] CFP: MICAI 2010, Artificial Intelligence, Springer LNAI, Mexico   MICAI 2010
• [Om-announce] PASCO 2010: News and 2nd Call for Papers   PASCO 2010
• [Om-announce] PASCO 2010: Extended submission deadline   PASCO 2010
• [Om-announce] 2nd CfP: WWV'10   WWV 2010
• [Om-announce] CFP: Special Issue in Science of Computer Programming on Verification Techniques   AVoCS'09
• [Om-announce] [HWVW'10] HW Verification Workshop + Model Checking Competition   Armin Biere
• [Om-announce] HyLo 2010: Deadline extended till April 7   Thomas Bolander
• [Om-announce] PhD in AI for Formal Methods available at Edinburgh   Alan Bundy
• [Om-announce] Call For Papers: Extended Paper Submission Deadline: March 21, 2010, WORLDCOMP Congress, Computer Science, Computer Engineering and Applied Computing, USA   WORLDCOMP'10 Congress Conferences
• [Om-announce] CiE 2010 - Call for Participation and Informal Presentations   S B Cooper
• [Om-announce] Funding opportunity - Foundational Questions   S Barry Cooper
• [Om-announce] International Workshop: DATICS-ICIS'10 (EI Indexed)   SS DATICS
• [Om-announce] PLMMS 2010: Call for Demos   Professor James Davenport
• [Om-announce] CPSWEEK (HSCC, ICCPS, IPSN, LCTES, RTAS) keynote speakers finalized & registration open   Adam Dunkels
• [Om-announce] Exploiting Concurrency Efficiently and Correctly: (EC)^2 --- Last Call for Papers   Azadeh Farzan
• [Om-announce] NASSLLI 2010: Open for Registration   Joey Frazee
• [Om-announce] VSTTE 2010: Verified Software -- Third Call for Papers   Gudmund Grov
• [Om-announce] VSTTE 2010: Verified Software -- Final Call for Conference Papers   Gudmund Grov
• [Om-announce] Call for papers: MULTICONF-10, USA, July 2010   James Heralds
• [Om-announce] Call for papers (Deadline Extended): TMFCS-10, USA, July 2010   James Heralds
• [Om-announce] Practical Aspects of Automated Reasoning 2010: Second CFP   Boris Konev
• [Om-announce] 3rd CFP - Deadline Extension: Workshop on Invariant Generation (WING 2010), Edinburgh, July 21, 2010   Laura Kovacs
• [Om-announce] Deadline Reminder: Workshop on Invariant Generation (WING 2010), Edinburgh, July 21, 2010   Laura Kovacs
• [Om-announce] Call for Tool Papers: Workshop on Invariant Generation (WING 2010), Edinburgh, July 21, 2010   Laura Kovacs
• [Om-announce] 2nd CfP: PPDP'10   Temur Kutsia
• [Om-announce] 3rd CfP: LOPSTR'10   Temur Kutsia
• [Om-announce] Last CfP: PPDP'10   Temur Kutsia
• [Om-announce] Last CfP: LOPSTR'10   Temur Kutsia
• [Om-announce] LOPSTR 2010: Deadline extension   Temur Kutsia
• [Om-announce] E. W. Beth Dissertation Prize: 2010 call for nominations   Richard Moot
• [Om-announce] [fm-announcements] Call for Participation NFM 2010   Munoz, Cesar Augusto (LARC-D320)
• [Om-announce] [fm-announcements] IWS 2010 - LAST Call For Papers   Munoz, Cesar Augusto (LARC-D320)
• [Om-announce] [fm-announcements] IWS 2010: Extended Deadline   Munoz, Cesar Augusto (LARC-D320)
• [Om-announce] [se-seafood] LASER Summer School on Software Engineering   Martin Nordio
• [Om-announce] [Call for papers] Workshop on Constraint Based Methods for Bioinformatics   Alessandro Dal Palu
• [Om-announce] CfP: SCSS 2010   Nikolaj Popov
• [Om-announce] CfP: ANB 2010   Nikolaj Popov
• [Om-announce] ESSLLI 2010 Poster and Call for Participation   Rasmus K. Rendsvig
• [Om-announce] FMICS 2010: Call for Papers   Marco Roveri
• [Om-announce] - Call for Applications - ESF-EMS/ERCOM/INI Conference: Highly Oscillatory Problems: From Theory to Applications, 12-17 September 2010, Cambridge, UK   Aurelie Sissler
• [Om-announce] LPAR-16 Short Papers - CFP   Geoff Sutcliffe
• [Om-announce] LPAR-16 Short Papers - CFP   Geoff Sutcliffe
• [Om-announce] LPAR-17 in Indonesia - Calls for Papers and Workshop Proposals   Geoff Sutcliffe
• [Om-announce] LPAR-17 in Indonesia - Calls for Papers and Workshop Proposals   Geoff Sutcliffe
• [Om-announce] CSL 2010 - 2nd Call for Papers   Geoff Sutcliffe
• [Om-announce] HLDVT 2010 Paper submission deadline extended to March 14!!!   Shireesh Verma
• [Om-announce] HLDVT 2010 Paper Submission Deadline Extended to March 24!   Shireesh Verma
• [Om-announce] CFP: Workshop on Intelligent Sensor and Wireless Networks (Ext. Deadline: Mar. 15, 2010)   X.Jin
• [Om-announce] HSCC10, Call for Participation and Work-in-Progress Papers -- Intern. Conf. on Hybrid Systems: Computation and Control, Apr 12-16, 2010, Stockholm   Wang Yi
• [Om-announce] CFP: DML 2010--Towards a Digital Mathematics Library, Paris, FR, Jul 7-8th   dml2010 at easychair.org
• [Om-announce] ASPOCP 2010 Call For Papers   aspocp10 at gmail.com
• [Om-announce] ASPOCP 2010 Call For Papers   aspocp10 at gmail.com
• [Om-announce] ASPOCP 2010 Deadline Extension   aspocp10 at gmail.com
• [Om-announce] ASPOCP 2010: FINAL Submission Deadline is April 3rd   aspocp10 at gmail.com
• [Om-announce] ICLP-10 Doctoral Consortium Call For Papers   iclp10dc at gmail.com
• [Om-announce] AMAST 2010: deadline approaching   amast-10 at kestrel.edu
• [Om-announce] [CFP] Malware 2010 Call for Papers   Matthieu.Kaczmarek at loria.fr
• [Om-announce] Verify 2010 - 2nd Call for Papers   verify2010 at mais.informatik.tu-darmstadt.de
• [Om-announce] Deadline Extension for Verify 2010 - Call for Papers   verify2010 at mais.informatik.tu-darmstadt.de
• [Om-announce] [simu-conf] SCSC 2010 - DEADLINE EXTENDED   vsim-conf at sce.carleton.ca
• [Om-announce] [simu-conf] 2010 Summer Computer Simulation Conference - Deadline NEXT WEEK   vsim-conf at sce.carleton.ca
• [Om-announce] [simu-conf] 2010 Summer Computer Simulation Conference - Work in Progress   vsim-conf at sce.carleton.ca
• [Om-announce] SoSyM Newsletter   bernhard.rumpe at sosym.org
• [Om-announce] Final CALL FOR PAPERS: 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010)   jun sun
• [Om-announce] CFP: Workshop on Intelligent Sensor and Wireless Networks (Ext. Deadline: Mar. 15, 2010)   xjin

Last message date: Wed Mar 31 23:56:09 CEST 2010
Archived on: Thu Apr 1 09:41:41 CEST 2010

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