Newer
Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
Joint Logic Workshop: Logic in Computer Science and Deduction Systems
– 26. Jahrestagung FG LogInf und 33. Jahrestreffen FG DedSys (Deduktionstreffen) –
https://kwarc.info/events/GI2020/index.html
Online Workshop hosted by FAU University Erlangen-Nürnberg
Friday, March 26, 2021, whole day event
==========================
= CALL FOR PARTICIPATION =
==========================
== Overview ==
The annual Workshop on Logic in Computer Science (Jahrestagung)
and the annual meeting Deduktionstreffen are the prime activities of the
Interest Group on Logic in Computer Science (FG LogInf) and the
Interest Group on Deduction Systems (FG DedSys) of the
German Society of Informatics (Gesellschaft für Informatik), respectively.
This year, the activities will be organized as a Joint Logic Workshop in order
to foster mutual exchange and to explore potential synergies.
The Joint Logic Workshop is a meeting with an informal and friendly atmosphere,
where everyone (not only the German community) interested in the relevant topics
can report on their work in an accessible setting.
Because of the ongoing pandemic situation the Joint Loic Workshop had to be cancelled
in 2020 and is now organized as an online event.
Organizational details are published on the event's website.
== Program ==
The workshop will feature invited talks by Ana Sokolova and Dov Gabbay and 11 contributed talks.
The detailed program is available at https://kwarc.info/events/GI2020/index.html
The Joint Logic Workshop will also host the annual general assemblies
(Mitgliederversammlungen) of both special interest groups.
== Registration ==
Participation is free, but an informal registration is necessary at https://docs.google.com/forms/d/1hF5TgGreilNI6YYEI7b1PbMYNnmxqIgnSKWN6JMOJko
== Scientific Committee ==
Olaf Beyersdorff, University of Jena
Thomas Schneider, University of Bremen
Claudia Schon, University of Koblenz
Alexander Steen, University of Luxembourg
The Joint Logic Workshop is kindly hosted by the Theoretical Computer Science
and Knowledge Representation groups at University of Erlangen-Nürnberg (FAU)
and organized by Sergey Goncharov and Florian Rabe.