[loginf] 21. Jahrestagung der GI-Fachgruppe "Logik in der Informatik" - Aufruf zur Anmeldung und Einreichung von Vorträgen

Martin Lange martin.lange at uni-kassel.de
Mon Sep 8 15:09:42 CEST 2014


### for English version please see below ###


Liebe LogInf-Mitglieder und Logik-Interessierte,

die diesjährige Jahrestagung der Fachgruppe "Logik in der Informatik" 
wird am

   14. und 15. November 2014

an der Universität Kassel stattfinden. Wie in den letzten Jahren wird 
die Tagung
gegen Freitag mittag beginnen und gegen Samstag mittag enden. Am Freitag
Abend wird es die Gelegenheit zu einem gemeinsamen Abendessen geben.

Die Registrierung erfolgt über das entsprechende Formular auf der 
Webseite der Tagung:

http://www.uni-kassel.de/eecs/fachgebiete/fmv/events/logik-in-der-informatik.html 


Dort finden sich auch Informationen zur Anreise und zu Hotels sowie die 
Möglichkeit,
einen Vortrag anzumelden.

Das Programm der Tagung wird neben der Fachgruppensitzung und eingereichten
Beiträgen zwei eingeladene Vorträge vorsehen.
   * Christoph Benzmüller (FU Berlin)
   * Stéphane Demri (CNRS & ENS Cachan)
Es wird erwartet, dass die Vorträge in Englisch gehalten werden.

Besonders zur Teilnahme aufgefordert werden Studenten, die sich für 
Logik in der
Informatik interessieren bzw. schon an entsprechenden Themen arbeiten. 
Die FG
"Logik in der Informatik" mit Unterstützung des FB "Grundlagen der 
Informatik" der
Gesellschaft für Informatik bieten dazu Teilnahmestipendien für 
Studenten und
Doktoranden, die nicht über ausreichende Reisemittel verfügen, an. Im 
Gegenzug
für solch ein Teilnahmestipendium, welches Fahrt- und 
Übernachtungskosten - je
nach Nachfrage evtl. nur teilweise - abdecken soll, wird vom 
Stipendiaten ein Kurz-
vortrag in einer speziellen "student session" erwartet.
Die Teilnahmestipendien werden bei der Registrierung über die oben genannte
Webseite beantragt. Ich bitte darum, geeignete Studenten jetzt schon 
durch Weiter-
leiten, Aushänge, usw. auf diese Möglichkeit hinzuweisen und zur 
Teilnahme zu
ermutigen.

Schöne Grüße,

  Martin Lange



##################################################

Dear LogInf members and logic affiliates,

the 21st annual meeting of the section "logic in computer science" 
(LogInf) of the
German Association for Computer Science (GI) will be held on

   November 14th and 15th, 2014

at the University of Kassel. The program will start on Friday around 
lunch time and
end on Saturday around lunch time, as has become customary in previous 
years.
There will be an informal workshop dinner on Friday evening (not 
included in the
registration fee of 0 €).

Registration can be made via a form on the workshop's webpage:

http://www.uni-kassel.de/eecs/fachgebiete/fmv/events/logik-in-der-informatik.html 


The page also contains information about getting to Kassel, Hotels 
nearby, and there
you will find a form allowing you to submit a talk.

The program will contain LogInf's business meeting, contributed talks 
and two
invited presentations by
   * Christoph Benzmüller (FU Berlin) and
   * Stéphane Demri (CNRS & ENS Cachan).
Talks are expected to be held in English.

We particularly invite students to participate who are interested in or 
even work on
logic-related topics. LogInf (with the support of GI's chapter 
"Foundations of Computer
Science") is offering financial support for students (BSc, MSc and 
possibly also
doctoral) who do not have access to funds that can cover conference 
trips. In return
for such a stipend that should (partly, depending on demand) cover 
travel and
accommodation costs, the beneficiary is expected to contribute a short 
presentation
of about 15min in a specially designated student session.
Application for these stipends can be made at the registration via the 
webpage above.
Please circulate this information among possibly interested students and 
encourage them
to participate in the event.

Best wishes,

  Martin Lange




-- 
----------------------------------------------------------------
Prof. Dr. Martin Lange          http://www.uni-kassel.de/~mlange
Elect. Engineering & Comp. Science    martin.lange at uni-kassel.de
University of Kassel, Germany                 +49/0 561 804 6261



More information about the loginf mailing list