2005 Archives by author

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

Starting: Sat Jan 15 08:56:46 CEST 2005
Ending: Thu Dec 22 21:14:06 CEST 2005
Messages: 57

• [loginf] ALC9   Asian Logic Conference 2005
• [loginf] The AVISPA Tool v.1.0 - Official release   AVISPA
• [loginf] SEFM 2005 Second CfP   Wolfgang Ahrendt
• [loginf] seven days to deadline for SEFM abstracts   Wolfgang Ahrendt
• [loginf] PDPAR'05: Submission deadline extended to April 18, 2005   Alessandro Armando
• [loginf] WATA 2006 announcement   Prof. Franz Baader
• [loginf] W2-Stelle Theoretische Informatik   Prof. Franz Baader
• [loginf] ISAAC: Young Researcher Position at ITC-IRST, Trento   Marco Bozzano
• [loginf] Professor Eiichi Goto   Bruno Buchberger
• [loginf] Journal "Logical Methods in CS"   Logical Methods in CS
• [loginf] PDPAR'05 call for participation   Alessandro Cimatti
• [loginf] MathSAT: PhD positions at ICT-Trento   Alessandro Cimatti
• [loginf] PSI 2006: First CFP   PSI06 Conference
• [loginf] ICCL Summer School: Logic-based Knowledge Representation   Bertram Fronhoefer
• [loginf] FroCoS 2005: Second Call for Papers   Bernhard Gramlich
• [loginf] FroCoS 2005: Last Call for Papers   Bernhard Gramlich
• [loginf] FroCoS'05: Call for Participation (Early Reg. Deadline: Sept. 1, 2005)   Bernhard Gramlich
• [loginf] CSFW Call for papers   Joshua D. Guttman
• [loginf] 2nd CfP Workshop "Foundational Aspects of Ontologies"   Pascal Hitzler
• [loginf] First CfP ICCS06 - 14th International Conference on Conceptual Structures   Pascal Hitzler
• [loginf] Stellenangebot   Jan Johannsen
• [loginf] LogInf Fachgruppentreffen 2005   Jan Johannsen
• [loginf] Fachgruppentreffen   Jan Johannsen
• [loginf] PCC'05 Workshop, Lisbon, July 16-17, 2005   Reinhard Kahle
• [loginf] CFP: A special issue on implementation of logics of the Journal of Applied and Non-Classical Logics   Boris Konev
• [loginf] research position at the University of Munich   Martin Lange
• [loginf] CfP Workshop "Foundational Aspects of Ontologies"   Carsten Lutz
• [loginf] 2006 Programme on Logic and Algorithms - Workshops   MYV
• [loginf] FMICS'05: Reminder - Deadline for abstracts is today!   Tiziana Margaria
• [loginf] RISC PhD Application announcement.   Risc PhD Program
• [loginf] Research Positions available   Uli Sattler
• [loginf] DL2005: first Call for Papers   Ulrike Sattler
• [loginf] 10 more days to go: DL2005: second Call for Papers   Ulrike Sattler
• [loginf] DL05 -- Call for Participation   Ulrike Sattler
• [loginf] CfP: Relations and Kleene Algebra in Computer Science 2006   Renate Schmidt
• [loginf] CFP Modellierungsworkshop   Prof. Dr. Peter H. Schmitt
• [loginf] CFP Modellierungsworkshop   Prof. Dr. Peter H. Schmitt
• [loginf] CFP Modellierungsworkshop   Prof. Dr. Peter H. Schmitt
• [loginf] CfP ICFEM   Prof. Dr. Peter H. Schmitt
• [loginf] 2nd CfP: 5th IWIL   Stephan Schulz
• [loginf] FLoC 2006: Call For Workshop Proposals   Kreutzer + Schweikardt
• [loginf] Stellenausschreibung: Formale Grundlagen von XQuery   Thomas Schwentick
• [loginf] Announcement and CFP: Natural Language and Knowledge Representation   Jana Sukkarieh
• [loginf] RTA'05: 1st Call for Participation   Ralf Treinen
• [loginf] RTA'05: 2nd Call for Participation   Ralf Treinen
• [loginf] RTA'06: 1st Call for Papers   Ralf Treinen
• [loginf] RTA'06: 2nd Call for Papers   Ralf Treinen
• [loginf] RISC PhD Call Letter   Robert Vajda
• [loginf] ACM Transactions on Computational Logic - Call for Nominations   Moshe Vardi
• [loginf] Information and Computation - Open-Access Experiment   Moshe Vardi
• [loginf] Call for Participation   Alexander Zapletal
• [loginf] Special Semester on Groebner Bases and Related Methods 2006   Alexander Zapletal
• [loginf] Groebner Bases Bibliography   Alexander Zapletal
• [loginf] CfP: Advances in Modal Logic (AiML) 2006   clu at tcs.inf.tu-dresden.de
• [loginf] LPAR last CFP   geoff at cs.miami.edu
• [loginf] CFP: TCS special issue on Automated Reasoning for Security Protocol Analysis   lvigano at nyx.inf.ethz.ch
• [loginf] CFP: TCS special issue on Automated Reasoning for Security Protocol Analysis   vigano at inf.ethz.ch

Last message date: Thu Dec 22 21:14:06 CEST 2005
Archived on: Mon May 25 14:43:43 CEST 2009

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