Programme

The DiL 2022 schedule can be found below, as well as the list of invited tutorials and contributed talks.

Due to the pandemic situation, the event will not feature an official dinner conference. However, we plan to do an informal dinner on Friday (1 July) that anyone can join. More details will be provided during the meeting.

A booklet with the programme of the meeting and the abstract of all talks can be found below.

Booklet.pdf

Days in Logic 2022 Schedule

All times are in Western European Summer Time (WEST, UTC/GMT +1 hour), which is the current local time at Lisbon.

June 30 (Thursday)

9h00 – 9h30Registration
9h30 – 10h30Mikoláš Janota (invited tutorial)
10h30 – 11h00J. Rasga
11h00 – 11h30Coffee break
11h30 – 12h30Egbert Rijke (invited tutorial)
12h30 – 13h00P. Santos
13h00 – 14h30Lunch
14h30 – 15h30Vasco Brattka (invited tutorial)
15h30 – 16h00C. Caleiro
16h00 – 16h30B. Dinis
16h30 – 17h00Coffee break
17h00 – 17h30R. Gazzari
17h30 – 18h00L. Pinto

July 1 (Friday)

9h00 – 10h00Mikoláš Janota (invited tutorial)
10h00 – 10h30L. Cruz-Filipe
10h30 – 11h00L. Pereira
11h00 – 11h30Coffee break
11h30 – 12h30Egbert Rijke (invited tutorial)
12h30 – 13h00G. Pulcini
13h00 – 14h30Lunch
14h30 – 15h30Vasco Brattka (invited tutorial)
15h30 – 16h00S. Marcelino
16h00 – 16h30P. Pinto
16h30-17h00Coffee break
17h00 – 18h00Business meeting

July 2 (Saturday)

9h00 – 10h00Mikoláš Janota (invited tutorial)
10h00 – 11h00Vasco Brattka (invited tutorial)
11h00 – 11h30Coffee break
11h30 – 12h00C. Sernadas
12h00 – 13h00Egbert Rijke (invited tutorial)

Invited tutorials

  • Weihrauch Complexity (Vasco Brattka)
  • (Boolean) Satisfiability and its Applications (Mikoláš Janota)
  • Univalent Combinatorics (Egbert Rijke)

Accepted contributed talks (with indication of speaker)