2003 Archives by subject

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

Starting: Fri Jan 10 15:04:19 CEST 2003
Ending: Mon Dec 22 15:02:00 CEST 2003
Messages: 56

• [loginf] 4th International workshop on the Implementation of Logics. Call for submissions   Boris Konev
• [loginf] C4-Professur "Programmiersprachen" (Nachf. Indermark), RWTH Aachen   Prof. Franz Baader
• [loginf] Call for Papers FLAIRS-04 Special Track on Uncertain Reasoning   Gabriele Kern-Isberner
• [loginf] Neue, erweiterte Auflage: Methoden wissensbasierter Systeme   Christoph Beierle
• [loginf] 2003 Description Logics Workshop - new submission deadline   DL'03
• [loginf] 2nd CFP: JAR special issue on termination   Juergen Giesl
• [loginf] 75 Years of Predicate Logic   Heinrich.Wansing at mailbox.tu-dresden.de
• [loginf] [Fwd: Modellierung 2004: Aufruf fu"r Kurzbeitra"ge/Poster und Industriebeitra"ge sowie Features Workshop]   Prof. Dr. Peter H. Schmitt
• [loginf] [Fwd: PhD and Post-Doc Fellowhip in Trento]   Prof. Dr. Peter H. Schmitt
• [loginf] Accepted papers to CADE-19   Christopher Lynch
• [loginf] AISC 2004 1st Call for Papers   Florina Piroi
• [loginf] assitant positions TU Darmstadt   Martin Otto
• [loginf] Aufruf zur Teilnahme an der KI-2003   Andreas Günter
• [loginf] Australia-Europe Scholarships]   Prof. Dr. Peter H. Schmitt
• [loginf] CADE 19 early registration deadline Friday   Christopher Lynch
• [loginf] CADE 19 Final Call for Papers   Christopher Lynch
• [loginf] CADE 19 registration   Christopher Lynch
• [loginf] CADE student travel award (second call)   Christopher Lynch
• [loginf] Call For Papers: AI+MATH 04   George Katsirelos
• [loginf] Call For Papers: AI+MATH 04 - updated   George Katsirelos
• [loginf] Call for Papers: ICC'03   Jan Johannsen
• [loginf] Call for Papers: KI2003   Rudolf Kruse
• [loginf] Call For Participation: AI+MATH 04   George Katsirelos
• [loginf] CfP KI'03 Workshop "Algebraic Models of Reasoning"   Ute Schmid
• [loginf] cfp UML-Workskop on OCL   Prof. Dr. Peter H. Schmitt
• [loginf] CfP: Advances in Modal Logic 2004   AiML04 Conference
• [loginf] CFP: CADE Workshop on Pragmatics of Decision Procedures in AR   Cesare Tinelli
• [loginf] CFP: DALT'03 - 1st Int. Workshop on Declarative Agent Languages and Technologies   João Alexandre Leite
• [loginf] CFP: JAR special issue on termination   Juergen Giesl
• [loginf] CFP: Pragmatics of Decision Procedures in AR   Cesare Tinelli
• [loginf] CS Theory positions   Foundations of Computing
• [loginf] DL'03 first CfP - Description Logics Workshop 2003   DL'03
• [loginf] Dorothean Professor in CS at U Vermont (Applications by 1/20/03)   Xindong Wu
• [loginf] Fachgruppentreffen 2003   Prof. Franz Baader
• [loginf] Fachgruppentreffen 2003   Prof. Franz Baader
• [loginf] Final Call For Participation: AI+MATH 04   George Katsirelos
• [loginf] Final CFP: LPAR'03 in Almaty, Kazakhstan   Andrei Voronkov
• [loginf] FMOODS / DAIS 2003   D.H.Akehurst
• [loginf] HOR'04: first call for abstracts   Femke van Raamsdonk
• [loginf] Jahrestreffen 2003   Dominik Haneberg
• [loginf] Lavrov, Maksimova. "Problems in Set Theory, Math. Logic..."   Larisa L. Maksimova
• [loginf] LPAR'03 - Final CFP   Moshe Vardi
• [loginf] Modellierung 2004 -- Call for Papers   Prof. Franz Baader
• [loginf] New book on abstract state machines   Egon Boerger
• [loginf] PDPAR'03 Deadline EXTENDED   Cesare Tinelli
• [loginf] PhD position in Verification and Rewriting   H. Zantema
• [loginf] Professorship position at RISC-Linz available!   Wolfgang Windsteiger
• [loginf] Re: CADE student travel award (fwd)   Christopher Lynch
• [loginf] Re: Call for submissions - SASYFT2004   Siva Anantharaman
• [loginf] Research and teaching position available   Carsten Lutz
• [loginf] RTA'03: last call for papers   Femke van Raamsdonk
• [loginf] RTA'04: call for papers   Femke van Raamsdonk
• [loginf] Survey on SAT-related Projects   Theodor Lettmann
• [loginf] Wahl der Fachgruppenleitung LogInf   Jan Johannsen
• [loginf] Workshop on Guarded Logics CfP   Natasha Alechina
• [loginf] WST 2003 in Valencia   Workshop on Termination

Last message date: Mon Dec 22 15:02:00 CEST 2003
Archived on: Mon May 25 14:43:42 CEST 2009

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