April 2012 Archives by date

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

Starting: Sun Apr 1 17:13:39 CEST 2012
Ending: Mon Apr 30 20:51:34 CEST 2012
Messages: 49

• [Om-announce] PAAR-2012   Renate Schmidt
• [Om-announce] 2nd CFP: 8th Scandinavian Logic Symposium   Thomas Bolander
• [Om-announce] WADT 2012: Deadline Extension   WADT 2012
• [Om-announce] TOOLS Europe 2012: Call for Participation   Scott West
• [Om-announce] WING 2012: Final Call for Papers -- Extended Deadline   Gudmund Grov
• [Om-announce] CfP ASPOCP 2012: 5th Workshop on Answer Set Programming and Other Computing Paradigms   aspocp at gmail.com
• [Om-announce] CfP: OpenMath workshop at CICM (11 July, Bremen, Germany), submission deadline 25 May   Christoph LANGE
• [Om-announce] ICA3PP 2012 New Submission Deadline: April 30, 2012   Yu Wang
• [Om-announce] Deadline Approaching - 17th European Symposium on Research in Computer Security (ESORICS 2012)   ESORICS 2012
• [Om-announce] Final CfP (Ext.): ESSLLI 2012 Student Session   Rasmus K. Rendsvig
• [Om-announce] Final CFP: TCS 2012   Michiel Helvensteijn
• [Om-announce] Alfred Deakin Postdoctoral Research Fellowship Application Open in Network and System Security Research   Yu Wang
• [Om-announce] [CFP] Call for Papers WCB12   Sebastian Will
• [Om-announce] [ISSAC-ANNOUNCE] ISSAC 2012 Call for Participation   William Turner
• [Om-announce] ESOCC'12: Call for Papers (EXTENDED Deadline for Research Papers)   Ernesto Pimentel Sánchez
• [Om-announce] Deadline Approaching - 17th European Symposium on Research in Computer Security (ESORICS 2012)   ESORICS 2012
• [Om-announce] Call for Posters - 9th International Conference on Security and Cryptography (SECRYPT 2012)   SECRYPT 2012
• [Om-announce] Call for Papera - Automated Theory Exploration (ATx)   Peter Höfner
• [Om-announce] TPNC 2012: 3rd call for papers   GRLMC
• [Om-announce] WoLLIC 2012 - Call for Papers   Ruy de Queiroz
• [Om-announce] Call for Participation: Tests and Proofs (TAP 2012) in Prague   Achim D. Brucker
• [Om-announce] Final CFP: 18th International Conference on Principles & Practice of Constraint Programming   Association ConstraintProgramming
• [Om-announce] Alan Turing Centenary Conference in Manchester, 2nd Call for Papers   S B Cooper
• [Om-announce] Alan Turing Centenary Conference in Manchester, 2nd Call for Papers   S B Cooper
• [Om-announce] 2nd Call for papers: LOPSTR 2012   Jon Sneyers
• [Om-announce] 2nd Call for Participation: RTA 2012   Georg Moser
• [Om-announce] SSLST 2012: 1st announcement   GRLMC
• [Om-announce] CFP: RV'12   Martin Leucker
• [Om-announce] PAAR 2012 Final Call for Abstracts   Renate Schmidt
• [Om-announce] Conference on Intelligent Computer Mathematics, call for work-in-progress papers   Johan Jeuring
• [Om-announce] European PhD Program in Computational Logic (EPCL): Call for Applications   Bertram Fronhöfer
• [Om-announce] Call for Papers - 8th International Workshop on Security and Trust Management (STM 2012)   STM 2012
• [Om-announce] Call for Participation: COORDINATION 2012   coordination2012 at publicizing.org
• [Om-announce] SSNC 2012: 3rd announcement   GRLMC
• [Om-announce] 2nd Call for Informal Presentations at Turing Centenary Conference, Cambridge, UK   S B Cooper
• [Om-announce] 2nd Call for Informal Presentations at Turing Centenary Conference, Cambridge, UK   S B Cooper
• [Om-announce] Grants and Reminder: ESSLLI 2012 Student Session (deadline April 30)   Rasmus K. Rendsvig
• [Om-announce] SSMBio 2012: 1st announcement   GRLMC
• [Om-announce] WING 2012: Call for Presentations   Gudmund Grov
• [Om-announce] Call for Papers - 9th European PKI Workshop: Research and Applications (EuroPKI 2012)   EuroPKI 2012
• [Om-announce] 2nd CfP: WAVE 2012 (extended deadline), Workshop on Advances in Verification for Eiffel   Scott West
• [Om-announce] European Master's Program in Computational Logic   Bertram Fronhöfer
• [Om-announce] PPDP 2012: 2nd Call for papers   Jon Sneyers
• [Om-announce] CHR 2012: Call for Papers   Jon Sneyers
• [Om-announce] TPNC 2012: submission deadline extended   GRLMC
• [Om-announce] Deadline Approaching: SIMPDA 2012 - 2nd International Symposium on Data-driven Process Discovery and Analysis   Fulvio Frati
• [Om-announce] SSNC 2012: final announcement   GRLMC
• [Om-announce] WING 2012: Call for Presentations   Gudmund Grov
• [Om-announce] Semantic Web Journal: Special Call for Linked Dataset Descriptions   Pascal Hitzler

Last message date: Mon Apr 30 20:51:34 CEST 2012
Archived on: Tue May 1 10:51:26 CEST 2012

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