[loginf] 21. Jahrestagung der GI-Fachgruppe "Logik in der Informatik" - letzter Aufruf

Martin Lange martin.lange at uni-kassel.de
Wed Oct 15 17:26:20 CEST 2014


Liebe LogInf-Mitglieder,

ich erinnere nochmalig an die Jahrestagung der GI-Fachgruppe "Logik in 
der Informatik" in
Kassel am 14. und 15. November und bitte diejenigen, die teilnehmen 
möchten, darum, sich
bis spätestens zum 31.10., also in etwa den nächsten zwei Wochen, zu 
registrieren. Gerne
erhalte ich auch noch weitere Anmeldungen für Vorträge. Die Links sind 
in der unten
aufgeführten Email enthalten.


Dear LogInf members,

I would like to remind you of the upcoming annual meeting of the GI 
section "logic in computer
science" on 14th and 15th of November in Kassel. If you intend to 
participate I would like to
ask you to register within the next two weeks, i.e. no later than 31st 
of October. I also appreciate
registrations of presentations at the meeting. The links for these 
registrations are given below
in the original email.


Schönen Gruß / kind regards,

  Martin Lange












### ursprüngliche Nachricht / original message ###


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