diff --git a/events/GI2020/cfp.txt b/events/GI2020/2021/cfp.txt similarity index 100% rename from events/GI2020/cfp.txt rename to events/GI2020/2021/cfp.txt diff --git a/events/GI2020/cfpart.txt b/events/GI2020/2021/cfpart.txt similarity index 100% rename from events/GI2020/cfpart.txt rename to events/GI2020/2021/cfpart.txt diff --git a/events/GI2020/fuenmayor.pdf b/events/GI2020/2021/fuenmayor.pdf similarity index 100% rename from events/GI2020/fuenmayor.pdf rename to events/GI2020/2021/fuenmayor.pdf diff --git a/events/GI2020/gabbay.pdf b/events/GI2020/2021/gabbay.pdf similarity index 100% rename from events/GI2020/gabbay.pdf rename to events/GI2020/2021/gabbay.pdf diff --git a/events/GI2020/joos.pdf b/events/GI2020/2021/joos.pdf similarity index 100% rename from events/GI2020/joos.pdf rename to events/GI2020/2021/joos.pdf diff --git a/events/GI2020/saelzer.pdf b/events/GI2020/2021/saelzer.pdf similarity index 100% rename from events/GI2020/saelzer.pdf rename to events/GI2020/2021/saelzer.pdf diff --git a/events/GI2020/sokolova.pdf b/events/GI2020/2021/sokolova.pdf similarity index 100% rename from events/GI2020/sokolova.pdf rename to events/GI2020/2021/sokolova.pdf diff --git a/events/GI2020/wenzel.pdf b/events/GI2020/2021/wenzel.pdf similarity index 100% rename from events/GI2020/wenzel.pdf rename to events/GI2020/2021/wenzel.pdf diff --git a/events/GI2020/zeume.pdf b/events/GI2020/2021/zeume.pdf similarity index 100% rename from events/GI2020/zeume.pdf rename to events/GI2020/2021/zeume.pdf diff --git a/events/GI2020/2022/cfp.txt b/events/GI2020/2022/cfp.txt new file mode 100644 index 0000000000000000000000000000000000000000..49cd91f6057384c18a66feb8a257e073b9f33604 --- /dev/null +++ b/events/GI2020/2022/cfp.txt @@ -0,0 +1,74 @@ +Joint Logic Workshop: Logic in Computer Science and Deduction Systems +– 26. Jahrestagung FG LogInf und Workshop der FG DedSys – +https://XYZ.de + +Online Workshop hosted by FAU University Erlangen-Nürnberg +Friday, April 8, 2022, whole day event + +========================== += CALL FOR CONTRIBUTIONS = +========================== + +== Overview == + +The annual Workshop on Logic in Computer Science (Jahrestagung) +is the prime activity of the Interest Group on Logic in Computer Science (FG LogInf) +of the German Society of Informatics (Gesellschaft für Informatik, GI). +Together with the Interest Group on Deduction Systems (FG DedSys) of the GI +the Joint Logic Workshop fosters mutual exchange and aims at exploring synergies +between both groups. + +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. + +A special focus of the workshop is on young researchers and students, +who are particularly encouraged to present their ongoing research +projects to a wider audience. Another goal of the meeting is to stimulate +networking effects and to foster collaborative research projects. + +Because of the ongoing pandemic situation the Joint Logic Workshop is organized +as an online event. Organizational details are published on the event's website. + + +== Invited speakers == + +We plan to have 1-2 invited talks; details will follow soon. + + +== Organization == + +We welcome contributions on all theoretical, experimental and applied +aspects of formal logic, reasoning and deduction. +Accepted contributions are presented in a talk of approx. 15-30 minutes +(depending on the overall number of accepted contributions), including +discussion. The implementation of a digital poster session is planned. + +The Joint Logic Workshop will also host the annual general assemblies +(Mitgliederversammlungen) of FG LogInf. + +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. + + +== Submission == + +Submission is open to everybody interested in logic and/or deduction systems. + +Please submit an extended abstract (max. one page) of your contribution to +both Olaf Beyersdorff <olaf.beyersdorff@uni-jena.de> and +Alexander Steen <alexander.steen@uni-greifswald.de. +Submissions will be weakly reviewed to ensure topical fit. + +Submission deadline: March 21, 2022 +Notification: March 25, 2022 + + +== Scientific Committee == + +Olaf Beyersdorff, University of Jena +Thomas Schneider, University of Bremen +Claudia Schon, University of Koblenz +Alexander Steen, University of Greifswald + diff --git a/events/GI2020/2022/cfpart.txt b/events/GI2020/2022/cfpart.txt new file mode 100644 index 0000000000000000000000000000000000000000..20dd56b14432c03cde81f9d580089b971c57a3fc --- /dev/null +++ b/events/GI2020/2022/cfpart.txt @@ -0,0 +1,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. diff --git a/events/GI2020/index.md b/events/GI2020/index.md index 6488239ff0d12e7de0ee80481b1bc6b3bb6ce766..6d94412dcab05dd020ed865aede463ada662efb8 100644 --- a/events/GI2020/index.md +++ b/events/GI2020/index.md @@ -12,38 +12,39 @@ In fact, due to COVID-19 pandemic, only online meetings took place. ### Online Meeting in Spring 2022 The meeting will take place online on April 8. -The call for contributions is [here](cfp_2022.txt). +The call for contributions is [here](2022/cfp.txt). ### Online Meeting in Spring 2021 The meeting took place online on March 26. -The call for contributions is [here](cfp_2021.txt). +The call for contributions is [here](2021/cfp.txt). +The call for participation is [here](2021/cfpart.txt). The program consisted of 3 sessions of zoom talks each followed with a break in [gather.town](https://gather.town). #### Session 1: 10:00 - 12:15 (chair: Sergey Goncharov) -* 10:00: Ana Sokolova, **Invited talk**: Algebraic Traces for Probability and Nondeterminism [slides (if any)](sokolova.pdf) -* 10:45: David Fuenmayor, Paraconsistent and paracomplete logics in Isabelle/HOL [slides (if any)](fuenmayor.pdf) -* 11:05: Florian Bruse and Martin Lange and Marco Sälzer, On Finite Convergence of Fixpoints in the Modal Mu-Calculus [slides (if any)](saelzer.pdf) -* 11:25: Ali Farjami, Normative Reasoning: A Computational Challenge [slides (if any)](farjami.pdf) +* 10:00: Ana Sokolova, **Invited talk**: Algebraic Traces for Probability and Nondeterminism [slides (if any)](2021/sokolova.pdf) +* 10:45: David Fuenmayor, Paraconsistent and paracomplete logics in Isabelle/HOL [slides (if any)](2021/fuenmayor.pdf) +* 11:05: Florian Bruse and Martin Lange and Marco Sälzer, On Finite Convergence of Fixpoints in the Modal Mu-Calculus [slides (if any)](2021/saelzer.pdf) +* 11:25: Ali Farjami, Normative Reasoning: A Computational Challenge [slides (if any)](2021/farjami.pdf) * 11:45: *break with free discussion in gather.town* #### Session 2: 13:00 - 15:15 (chair: Claudia Schon) -* 13:00: Dov Gabbay and Ross Horne, **Invited talk**: Analytic Proof Calculi for the Notion of Failure [slides (if any)](gabbay.pdf) -* 13:45: Christoph Benzmüller and David Fuenmayor, Value-oriented Legal Argumentation in Isabelle/HOL [slides (if any)](benzmueller.pdf) -* 14:05: Claudia Schon and Sophie Siebert and Frieder Stolzenburg, Negation in Cognitive Reasoning [slides (if any)](siebert.pdf) -* 14:25: Felix Weitkämper, A new role for finite model theory in statistical relational AI [slides (if any)](weitkaempfer.pdf) +* 13:00: Dov Gabbay and Ross Horne, **Invited talk**: Analytic Proof Calculi for the Notion of Failure [slides (if any)](2021/gabbay.pdf) +* 13:45: Christoph Benzmüller and David Fuenmayor, Value-oriented Legal Argumentation in Isabelle/HOL [slides (if any)](2021/benzmueller.pdf) +* 14:05: Claudia Schon and Sophie Siebert and Frieder Stolzenburg, Negation in Cognitive Reasoning [slides (if any)](2021/siebert.pdf) +* 14:25: Felix Weitkämper, A new role for finite model theory in statistical relational AI [slides (if any)](2021/weitkaempfer.pdf) * 14:45: *break with free discussion in gather.town* #### Session 3: 15:15 - 17:30 (chair: Olaf Beyersdorff) -* 15:15: Marl Joos and Tobias Philipp, Mitigation of Cache Side Channel Attacks with Answer Set Programming [slides (if any)](joos.pdf) -* 15:35: Mario Wenzel, Microlog - Microcontroller programming using Datalog [slides (if any)](wenzel.pdf) -* 15:55: Muhammad Usama Sardar and Christof Fetzer, Understanding Remote Attestation in Intel SGX and TDX via Formal Verification [slides (if any)](sardar.pdf) +* 15:15: Marl Joos and Tobias Philipp, Mitigation of Cache Side Channel Attacks with Answer Set Programming [slides (if any)](2021/joos.pdf) +* 15:35: Mario Wenzel, Microlog - Microcontroller programming using Datalog [slides (if any)](2021/wenzel.pdf) +* 15:55: Muhammad Usama Sardar and Christof Fetzer, Understanding Remote Attestation in Intel SGX and TDX via Formal Verification [slides (if any)](2021/sardar.pdf) * 16:15: Thomas Zeume, Teaching Logic with Iltis [slides (if any)](zeume.pdf) -* 16:35: Lena Katharina Schiffer, Expressive Power of Combinatory Categorial Grammars [slides (if any)](schiffer.pdf) +* 16:35: Lena Katharina Schiffer, Expressive Power of Combinatory Categorial Grammars [slides (if any)](2021/schiffer.pdf) * 16:55: *break with free discussion in gather.town* #### Business meetings: 17:30 - 18:30