From 4eaad36fdcd55c309725ff58c459c041255f4f64 Mon Sep 17 00:00:00 2001 From: Florian Rabe <florian.rabe@gmail.com> Date: Sat, 13 Mar 2021 14:51:35 +0100 Subject: [PATCH] no message --- events/GI2020/index.md | 8 +++++++- events/GI2020/program.md | 27 +++++++++++++++++++++++++++ 2 files changed, 34 insertions(+), 1 deletion(-) create mode 100644 events/GI2020/program.md diff --git a/events/GI2020/index.md b/events/GI2020/index.md index 400c240..f196dc0 100644 --- a/events/GI2020/index.md +++ b/events/GI2020/index.md @@ -11,9 +11,15 @@ It will be organized by [Sergey Goncharov](https://www8.cs.fau.de/sergey) and [F ### Online Meeting in Spring 2021 The meeting will take place online on March 26. - The call for contributions is [here](cfp.txt). +The program will consist of 3 sessions of zoom talks each followed with a break in gather.town. +Zoom works as usual, and gather.town should work in standard browsers. + +All participants must **register** [here](https://docs.google.com/forms/d/1hF5TgGreilNI6YYEI7b1PbMYNnmxqIgnSKWN6JMOJko), and we will then email the zoom and gather.town links and passwords. + +The tentative **schedule** is available [here](program.html). + ### COVID-19 Situation and Future Meetings The meeting was originally planned to take place offline in Erlangen from 30.09.2020 to 02.10.2020. diff --git a/events/GI2020/program.md b/events/GI2020/program.md new file mode 100644 index 0000000..f6918cb --- /dev/null +++ b/events/GI2020/program.md @@ -0,0 +1,27 @@ +# Program + +## Session 1: 10:00 - 12:15 + +* 10:00: Ana Sokolova, invited talk +* 10:45: David Fuenmayor, Paraconsistent and paracomplete logics in Isabelle/HOL +* 11:05: Florian Bruse and Martin Lange and Marco S�lzer, On Finite Convergence of Fixpoints in the Modal Mu-Calculus +* 11:25: Ali Farjami, Normative Reasoning: A Computational Challenge +* 11:45: *break with free discussion in gather.town* + + +## Session 1: 13:00 - 15:15 + +* 13:00: Dov Gabbay, invited talk +* 13:45: Christoph Benzm�ller and David Fuenmayor, Value-oriented Legal Argumentation in Isabelle/HOL +* 14:05: Claudia Schon and Sophie Siebert and Frieder Stolzenburg, Negation in Cognitive Reasoning +* 14:25: Felix Weitk�mper, Anwendungen der endlichen Modelltheorie in der statistisch relationalen KI +* 14:45: *break with free discussion in gather.town* + +## Session 3: 15:15 - 17:30 + +* 15:15: Marl Joos and Tobias Philipp, Mitigation of Cache Side Channel Attacks with Answer Set Programming +* 15:35: Mario Wenze, Microlog - Microcontroller programming using Datalog +* 15:55: Muhammad Usama Sardar and Christof Fetzer, Understanding Remote Attestation in Intel SGX and TDX via Formal Verification +* 16:15: Thomas Zeume, Teaching Logic with Iltis +* 16:35: Lena Katharina Schiffer, Expressive Power of Combinatory Categorial Grammars +* 16:55: *break with free discussion in gather.town* -- GitLab