2004 Archives by thread

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

Starting: Mon Jan 5 17:18:59 CEST 2004
Ending: Wed Dec 22 12:23:29 CEST 2004
Messages: 59

• [loginf] CFP (2nd): Advances in Modal Logic 2004   Renate Schmidt
• [loginf] RTA'04: second call for papers   Femke van Raamsdonk
• [loginf] RISC-Linz PhD Studies 2004/2005   PhD Studies
• [loginf] Call for Papers: Description Logics 2004 (DL'04)   DL04
• [loginf] Doctoral Programme, IJCAR 2004   Ulrike Sattler
• [loginf] [Fwd: Aufruf zur Teilnahme - GI-Konferenz Modellierung 2004]   Prof. Dr. Peter H. Schmitt
• [loginf] [Fwd: DFG-Ausschreibung: Aktionsplan Informatik]   Prof. Dr. Peter H. Schmitt
• [loginf] Jahrestreffen 2004   Prof. Franz Baader
• [loginf] Call for Papers: IJCAR'04 Workshop 7   IJCAR WS7
• [loginf] Postdoc Position   Florina Piroi
• [loginf] IJCAR PDPAR'04 workshop   Cesare Tinelli
• [loginf] Call for Papers: Description Logics 2004 (DL'04)   DL04
• [loginf] Announcement of PhD program within Theorema.   Theorema
• [loginf] AISC 2004 2nd Call for Papers   AISC 2004
• [loginf] Book announcement: Infinite Words by Perrin and Pin   Jean-Eric Pin
• [loginf] UNIF'04 workshop @ IJCAR 2004: First Call for Papers   Ralf Treinen
  • [loginf] UNIF'04 workshop @ IJCAR 2004: Deadline extension until 21/5   Ralf Treinen
• [loginf] PhD Studies in Symbolic Functional Analysis   Markus Rosenkranz
• [loginf] HOR'04: last call for abstracts   Femke van Raamsdonk
• [loginf] CFP Workshop on Conditionals, Information, and Inference - WCII'04   Gabriele Kern-Isberner
• [loginf] RTA'04: call for participation   Femke van Raamsdonk
• [loginf] PhD Posisiont Announcement   Florina Piroi
• [loginf] 2nd Call for Papers: IJCAR'04 Workshop 7   IJCAR WS7
• [loginf] ICCL Summer School 2004   Prof. Franz Baader
• [loginf] Announcement of PhD Study Position in Gröbner Bases Theory   Florina Piroi
• [loginf] RDP 2004 (RTA & workshops): Call for participation   Juergen Giesl
• [loginf] UNIF'04 workshop @ IJCAR 2004: First Call for Papers   Michael Kohlhase
• [loginf] CFP: Logic, Games and Philosophy: Foundational Perspectives   Dr. Ahti-Veikko Pietarinen
• [loginf] IJCAR Tutorial on the Isabelle Proof Assistant   Clemens Ballarin
• [loginf] Präzisionswerkzeug Logik - Gedenkkolloquium für Dieter Rödding   Egon Börger
• [loginf] CFP - Workshop on Conditionals, Information, and Inference   Gabriele Kern-Isberner
• [loginf] Research Position available   Ulrike Sattler
• [loginf] LogInf Fachgruppentreffen   Prof. Franz Baader
• [loginf] New Journal   Logical Methods in CS
• [loginf] RTA'05: call for papers   Femke van Raamsdonk
• [loginf] Zweite Ankuendigung: Jahrestreffen unserer Fachgruppe   Prof. Franz Baader
• [loginf] LPAR-11, Montevideo, Uruguay: first CFP   Andrei Voronkov
• [loginf] Postdoc Position in Theorema   Theorema
• [loginf] Universitätsprofessur für Logik in der Informatik   Prof. Franz Baader
• [loginf] Stellenausschreibung wiss. Angestellte/r in Dortmund   Gabriele Kern-Isberner
• [loginf] CFP Special Track on Uncertain Reasoning at FLAIRS'05   Gabriele Kern-Isberner
• [loginf] AISC 2004. Call for Participation   AISC 2004
• [loginf] Fachgruppentreffen: bitte anmelden!   Prof. Franz Baader
• [loginf] RTA'05: 2nd Call for Papers   Ralf Treinen
• [loginf] RTA'05: 3rd and last Call for Papers   Ralf Treinen
• [loginf] PhD Position in Munich   Martin Hofmann
• [loginf] 5th IWIL Workshop - Call for Papers   Stephan Schulz
• [loginf] Open PhD Position in Dortmund   Gabriele Kern-Isberner
• [loginf] LPAR'04: Deadline approaching   Prof. Franz Baader
• [loginf] ASM 05   Daniele Beauquier
• [loginf] GAMES Spring School on Infinite Games & Applications   Erich Graedel
• [loginf] FroCoS 2005: First Call for Papers   Bernhard Gramlich
• [loginf] [Fwd: [Leitungsgremium GI Modellierung] Mailing-Listen und GI-Modellierungskonferenz 2006]   Prof. Dr. Peter H. Schmitt
• [loginf]   Holger Grandy
• [loginf] YOUNG RESEARCHER POSITION and PROGRAMMER POSITION on MATHSAT AVAILABLE   Roberto Sebastiani
• [loginf] SEFM 2005, Call for Papers   Wolfgang Ahrendt
• [loginf] [Fwd: Spiegel Rangliste vom November 2004]   Prof. Dr. Peter H. Schmitt
• [loginf] [Fwd: [SEFM05-PC] SEFM2005: spreading the CfP]   Prof. Dr. Peter H. Schmitt
• [loginf] Call for WORKSHOPS and TUTORIALS, SEFM 2005   Wolfgang Ahrendt

Last message date: Wed Dec 22 12:23:29 CEST 2004
Archived on: Mon May 25 14:43:43 CEST 2009

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