[loginf] LogInf Fachgruppentreffen

Prof. Franz Baader baader at tcs.inf.tu-dresden.de
Wed Jun 30 14:40:20 CEST 2004


********************************************************************
          Gemeinsames Jahrestreffen der GI-Fachgruppen
                Deduktionssysteme (FG 1.2.1)
                            und
             Logik in der Informatik (FG 0.1.6)

                4.-6. Oktober in Saarbruecken
AG Siekmann, FR 6.2 Informatik, Universitaet des Saarlandes

http://www.ags.uni-sb.de/~omega/workshops/Deduktionstreffen04/
********************************************************************

Das gemeinsame Jahrestreffen der GI-Fachgruppen Deduktionssysteme
(FG 1.2.1) und Logik in der Informatik (FG 0.1.6) wird vom
4.-6. Oktober 2004 in Saarbruecken stattfinden. Das Programm startet
am Montag, den 4. Oktober, gegen 14:00 Uhr.  Das Ende der
Veranstaltung ist geplant fuer Mittwoch, den 6. Oktober, am fruehen
Nachmittag. Eine Anreise am Montag und Rueckreise am Mittwoch sollte
deshalb fuer die meisten Teilnehmer moeglich sein.

In der ersten Hälfte des Jahrestreffens wird die Deduktion im
Vordergrund stehen und in der zweiten Hälfte die Logik in der
Informatik.

Die AG Siekmann als lokaler Ausrichter laedt hiermit zur aktiven oder
passiven Teilnahme ein. Traditionsgemaess bieten die lokalen Gruppen
einen moeglichst umfangreichen Einblick in ihre aktuellen Arbeiten;
insbesondere Nachwuchskraefte sollen dabei die Gelegenheit erhalten,
ihre Ideen einem breiteren Publikum vorzustellen. Desweiteren setzt
sich das Programm aus Fachvortraegen und Systemvorfuehrungen aus den
Deduktions- und "Logik in der Informatik"-Gemeinden zusammen. Vortraege
koennen bei den Veranstaltern eingereicht werden bis ca. 3 Wochen vor
der Veranstaltung. Hierzu ist es erforderlich eine 1/2 bis 1 seitige
Kurzzusammenfassung an die Organisatoren zu versenden (ein Verweis auf
ein ausfuehrlicheres Papier/Manuskript ist dabei erwuenscht).  Die
Organisatoren werden nach kurzer Begutachtung der Vortragswuensche das
Programm zusammenstellen.


Anmeldung zur Teilnahme:

Wer an dem Jahrestreffen teilnehmen moechte, moege sich bitte bis
31. August 2004 per e-mail bei einem der Organisatoren anmelden. Pro
Teilnehmer wird ein Unkostenbeitrag von 15 Euro erhoben.


Organisation:

Christoph Benzmueller                  Serge Autexier
FR 6.2 Informatik                      DFKI GmbH
Universitaet des Saarlandes            Stuhlsatzenhausweg 3
D-66041 Saarbruecken                   D-66123 Saarbruecken
(chris at ags.uni-sb.de)                  (serge at dfki.de)




More information about the loginf mailing list