2009 Archives by date

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

Starting: Thu Jan 8 15:16:20 CEST 2009
Ending: Wed Dec 23 22:27:18 CEST 2009
Messages: 54

• [loginf] 2nd CFP: WWV 2009   Temur Kutsia
• [loginf] 2nd CfP: JSC Special Issue on Symbolic Computation in Software Science   Temur Kutsia
• [loginf] CFP: HyLo 2009   Carlos Areces
• [loginf] CSL'09: Call for Papers   Reinhard Kahle
• [loginf] European Master's Program in Computational Logic   Bertram Fronhöfer
• [loginf] WoLLIC 2009 - Second Call for Papers (DEADLINE: Feb 28)   Ruy de Queiroz
• [loginf] ARCOE-09 Second Call for Participation   ARCOE-09
• [loginf] 1st Call for Papers - LAM'09   LAM'09
• [loginf] CiE 2009 - Final Call for papers (Extended Deadline)   Arnold Beckmann
• [loginf] PhD Position at FU Berlin   Alexander Bockmayr
• [loginf] SMT 2009: CFP   Bruno Dutertre
• [loginf] TAMC 2009 - final Call for Papers   S B Cooper
• [loginf] RTA'09: deadline for abstracts extended to January, 30   Ralf Treinen
• [loginf] open assistant professorship or postdoc position in Semantic Web (AIFB Karlsruhe)   Pascal Hitzler
• [loginf] LOGIC COLLOQUIUM 2009 First Call for Papers   Logic Colloquium 2009
• [loginf] CADE-22 last call for papers   Carsten Schuermann
• [loginf] Tests and Proofs 2009 - Call for Papers   Tests and Proofs 2009
• [loginf] TPHOLs'09 Last Call for Papers   Christian Urban
• [loginf] Postdoctoral Research Position in Ontology   Barry Smith
• [loginf] FTP 2009: First call for papers   Viorica Sofronie-Stokkermans
• [loginf] First call for papers: Module and Libraries for Proof Assistants   Florian Rabe
• [loginf] Special Journal Issue on Unification: Extended Deadlines   Mircea Marin
• [loginf] CFA: Training School in Symbolic Computation   Temur Kutsia
• [loginf] Open PhD positions   Carsten Schuermann
• [loginf] 2nd CfP: ICTAC'09   Martin Leucker
• [loginf] CfP: Applications of Semantic Technologies AST2009   Pascal Hitzler
• [loginf] CfP: Relational Approaches to Knowledge Representation and Learning   Christoph Beierle
• [loginf] 2nd CfP: Applications of Semantic Technologies AST2009   Pascal Hitzler
• [loginf] Final CfP: ICTAC'09 - Last Chance   Martin Leucker
• [loginf] AI Mashup Challenge 2009 - Call for submissions and participation   Pascal Hitzler
• [loginf] Final CfP: Applications of Semantic Technologies AST2009   Pascal Hitzler
• [loginf] FOPARA Workshop on Resource Analysis   Martin Hofmann
• [loginf] [Fwd: [PC] ATPS 2009]   Martin Hofmann
• [loginf] LCC 09 Call for Papers   Martin Hofmann
• [loginf] 2nd CfP: Relational Approaches to Knowledge Representation and Learning   Christoph Beierle
• [loginf] Loginf Mailinglist moved   Max Jakob
• [loginf] CSL'09: June 7 deadline for applying for ASL student travel grants   Reinhard Kahle
• [loginf] Extended Deadline (CfP): Relational Approaches to Knowledge Representation and Learning   Christoph Beierle
• [loginf] LOGINF Treffen 2009   Manfred Schmidt-Schauss
• [loginf] CSL 09: Call for participation and informal presentations   Reinhard Kahle
• [loginf] Deadline Extension: KI-2009 Workshop "Relational Approaches to Knowledge Representation and Learning"   Christoph Beierle
• [loginf] CFP: 5th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2009)   Thomas Lukasiewicz
• [loginf] CFP: 5th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2009)   Thomas Lukasiewicz
• [loginf] [TYPES/announce] PhD and Postdoc Positions available in "ICT for Electrical Mobility" at TU Munich, Germany   Martin Leucker
• [loginf] Open PhD Positions   Mana Taghdiri
• [loginf] LOGINF Jahres-Treffen 2009   Manfred Schmidt-Schauss
• [loginf] AAAI-10: CALL FOR TUTORIALS   Thomas Lukasiewicz
• [loginf] AAAI-10: Last Call for Tutorials   Thomas Lukasiewicz
• [loginf] CFA: Training School in Symbolic Computation   Temur Kutsia
• [loginf] CfP: 5th Intl. Symposium on Trustworthy Global Computing   Gefei Zhang
• [loginf] CfP: JSC Special Issue on Symbolic Computation in Software Science   Temur Kutsia
• [loginf] UniDL'10: Call for Papers   Thomas Lukasiewicz
• [loginf] Call for submissions - Workshop on Comparing Logical Decision Methods at FLoC'10   Martin Lange
• [loginf] RR 2010: Call for Papers   Thomas Lukasiewicz

Last message date: Wed Dec 23 22:27:18 CEST 2009
Archived on: Wed Dec 23 22:28:34 CEST 2009

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