[loginf] 21. Jahrestagung der GI-Fachgruppe "Logik in der Informatik" am 14./15. November in Kassel

Martin Lange martin.lange at uni-kassel.de
Thu Jul 31 09:31:37 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.

Informationen zur Registrierung, Anreise usw. werden in Kürze auf der 
Webseite
der Tagung

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

bereitgestellt. Ich werde dann, wenn die Registrierung möglich ist, 
einen Aufruf zur
Teilnahme und Einreichung von Vorträgen herumschicken.

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 werden können. Ich bitte darum, geeignete Studenten jetzt
schon durch Weiterleiten, 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 €).

Further information about the registration process, how to get to Kassel 
and the
university etc. will shortly be made available on the meeting's webpage

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

Once the registration is possible I will send out another call for 
participation and
contributions.

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, once this becomes available. Meanwhile, I would like to ask you 
to 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