Logo Universit├Ąt des Saarlandes

Gemeinsames Jahrestreffen der GI-Fachgruppen

Logo der GI
  • Deduktionssysteme (FG 1.2.1)
  • Logik in der Informatik (FG 0.1.6)
  4.-6. Oktober 2004 in Saarbrücken

  AG Siekmann
DFKI GmbH & FR 6.2 Informatik, Universität des Saarlandes 

Logo der DFKI GmbH



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 Saarbrücken stattfinden. Das Programm startet am Montag, den 4. Oktober, gegen 14:00 Uhr.  Das Ende der Veranstaltung ist geplant für Mittwoch, den 6. Oktober, am frühen Nachmittag. Eine Anreise am Montag und Rückreise am Mittwoch sollte deshalb für die meisten Teilnehmer möglich 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 lädt hiermit zur aktiven oder passiven Teilnahme ein. Traditionsgemäss bieten die lokalen Gruppen einen möglichst umfangreichen Einblick in ihre aktuellen Arbeiten; insbesondere Nachwuchskräfte sollen dabei die Gelegenheit erhalten, ihre Ideen einem breiteren Publikum vorzustellen. Desweiteren setzt sich das Programm aus Fachvorträgen und Systemvorführungen aus den Deduktions- und "Logik in der Informatik"-Gemeinden zusammen. Vorträge können 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 ausführlicheres Papier/Manuskript ist dabei erwünscht).  Die Organisatoren werden nach kurzer Begutachtung der Vortragswünsche das Programm zusammenstellen.

Anmeldung zur Teilnahme:

Wer an dem Jahrestreffen teilnehmen möchte, möge sich bitte bis per e-mail bei einem der Organisatoren anmelden. Pro Teilnehmer wird ein Unkostenbeitrag von 15 Euro erhoben. Ein aktuelle Liste der angemeldeten Teilnehmer gibt es hier. Ein vorläufiges Programm gibt es hier.

Informationen für die Anreise gibt es hier, sowie Informationen zu Unterkünften in Saarbrücken und einen interaktiven Lageplan der Universität. Das Deduktionstreffen wird in Gebäude 43.8 ausgerichtet werden. Die AG Siekmann ist derzeit in den Gebäuden 36 und 43.8 angesiedelt.

 
Organisation:
 
Christoph Benzmüller 
FR 6.2 Informatik
Universität des Saarlandes
D-66041 Saarbrücken



Serge Autexier
DFKI GmbH
Stuhlsatzenhausweg 3
D-66123 Saarbrücken



 
Sponsoren:

Letzte Änderung: 06. August 2004

Serge Autexier, Christoph Benzmüller