The Prague Logic Camp is a spring school / workshop for early career researchers in logic (advanced undergraduates, PhD students and early postdocs). The goal of the workshop is to discuss work in progress, exchange ideas and foster cooperation. The 2019 edition, taking place on 6-9 May, is organized by the Institute of Computer Science of the Czech Academy of Sciences. The workshop overlaps with the Prague Gathering of Logicians 2019.
Programme
The programme of the workshop consists of 1) talks by participants outlining their work in progress, followed by 2) short commentaries on the contents of the talks and 3) extended discussion periods during which the presented work in progress and related issues are discussed by all participants. The intention is to avoid a tight "conference-like" schedule with focus on already completed work and presentation of results; instead, a more relaxed discussion of ongoing work will take place.
Venue
Lecture hall (room no. 318) of the Institute of Computer Science of the Czech Academy of Sciences, Pod Vodárenskou věží 2, Prague 8 (map). The nearest metro station is Ládví. The public transport connections can be found here.
Participants
- Aleksandra Czyż, Adam Mickiewicz University, Poznan
- Marta Gawek, Adam Mickiewicz University, Poznan
- Andrzej Gajda, Adam Mickiewicz University, Poznan
- Daniela Glavaničová, Comenius University, Bratislava
- Dominika Gorol, Adam Mickiewicz University, Poznan
- Berta Grimau, Czech Academy of Sciences, Prague
- Szymon Chlebowski, Adam Mickiewicz University, Poznan
- Kinga Ordecka, Adam Mickiewicz University, Poznan
- Pierre Saint-Germier, IRCAM, Paris
- Piotr Sowinski, Adam Mickiewicz University, Poznan
- Agata Tomczyk, Adam Mickiewicz University, Poznan
Schedule
Monday, 6 May- 09:30-10:00, Registration and opening
- 10:00-12:00, Berta Grimau: Fuzzy semantics for graded predicates (joint work with C. Noguera)
- Commentary: Andrzej Gajda
- 12:00-14:00, Lunch
- 14:00-16:00, Daniela Glavaničová: Normative relevance, obligations, and responsibilities: An outline
- Commentary: Pierre Saint-Germier
- 10:00-12:00, Pierre Saint-Germier: Hyperintensionality in imagination
- Commentary: Andrew Tedder
- 12:00-14:00, Lunch
- 14:00-16:00, Andrzej Gajda, Dominika Gorol: Abductive reasoning in neural-symbolic systems
- Commentary: Daniela Glavaničová
- 16:00-18:00, Aleksandra Czyż, Kinga Ordecka, Piotr Sowinski: Implementation of neural-symbolic system used for abductive hypotheses generation
- Commentary: Dominika Gorol
- 10:00-12:00, Marta Gawek, Agata Tomczyk: Translation of sequent calculus into natural deduction for sentential calculus with identity
- Commentary: Szymon Chlebowski
- 12:00-14:00, Lunch
- 14:00-16:00, Szymon Chlebowski: An investigation into Intuitionistic Logic with identity
- Commentary: Igor Sedlár
- 10:00 - 11:00: Carles Noguera - Mathematical Fuzzy Logic and graded reasoning
- 11:00 - 11:30: Cofee break
- 11:30 - 12:30: Amanda Vidal - Many-valued modal logics
- 12:30 - 14:30: Lunch
- 14:30 - 15:30: Andrew Tedder - Two logics of variable essence
- 15:30 - 16:00: Coffee break
- 16:00 - 17:00: Vít Punčochář - A duality between two semantic frameworks
- 17:00 - 17:30: Coffee break
- 17:30 - 18:30: Igor Sedlár - Dynamics in non-classical logic
NOTE: On Friday, 10 May, the main proggrame of the Prague Gathering of Logicians 2019 is taking place at the The Academic Conference Centre of the Czech Academy of Sciences, Husova 4a, Prague 1. (map), followed by a joint Camp-Gathering banquet.
Social events
- Welcome party (Monday 6 May) - drinks and snacks at a good pub.
- Logic outdoors (Wednesday 8 May) - a discussion session in one of Prague's parks.
- Banquet (Friday 10 May) - a farewell party and a joint dinner banquet with the Prague Gathering of Logicians. The venue is the The Academic Conference Centre of the Czech Academy of Sciences, Husova 4a, 110 00 Prague 1.
Associated events
- Prague Gathering of Logicians 2019 (9-10 May). An annual meeting of logicians based in the Czech Republic. The program will contain many interesting talks, Thursday 9 May is the joint Camp-Gathering Day. An opprotunity to meet new people. Camp participants are strongly encouraged to take part in the Gathering; the main Camp banquet will take place at the end of the Gathering on Friday 10 May.
- Workhop on Admissible Rules and Unification. A logic workhop taking place on 11-12 May in the The Academic Conference Centre of the Czech Academy of Sciences.
Sponsors
- The Czech Academy of Sciences (VVAM 2019 grant)
- Institute of Computer Science, Czech Academy of Sciences
- The Ministry of Education, Youth and Sports of the Czech Republic (Operational Programme Research, Development and Education)
- Institute of Philosophy, Czech Academy of Sciences