Dates
2-6 July 2018

Topic and aims
The major trend in modern logic is the move from logic to logics. The need for formal modelling of reasoning in various fields of science (philosophy, linguistics, AI, cognitive, social and management sciences) led to the design of hundreds of bespoke logics. For instance, the focus on multi-agent interaction and social behaviour has led to the introduction of logics specific to contexts involving e.g. dynamic changes, uncertainty, incomplete and inconsistent information, which are at odds with reasoning as is formalized in classical logic. This rapid expansion has generated the need to develop overarching theories capable to provide uniform proofs of fundamental properties--such as soundness, completeness, analiticity, decidability--for each member of vast families of logics, while at the same time accounting in a modular way for the specific features of each.

Algebraic proof theory is a research area in which these general results can be achieved using insights from algebraic logic, universal algebra, duality and representation theory for classes of algebras.

This workshop aims to bring together researchers in algebraic proof theory and its applications, explore promising research directions, and foster collaborations.

Invited Speakers
> Philippe Balbiani, CNRS
> Marta Bílková, Charles University
> Willem Conradie, University of the Witwatersrand
> Franz Dietrich, CNRS
> Giuseppe Greco, Utrecht University
> Peter Jipsen, Chapman University
> Dick de Jongh, University of Amsterdam
> Alexander Kurz, University of Leicester
> Minghui Ma, Sun Yat-sen University
> M.Andrew Moshier, Chapman University
> Helle Hvid Hansen, Delft University of Technology

Organizers
> Alessandra Palmigiano (Delft, the Netherlands)
> Fei Liang (Delft, the Netherlands)
> Apostolos Tzimoulis (Delft, the Netherlands)

Abstracts
Available here.

Schedule
Available here.
3 July: PhD defenses
12:00- 13:30, Apostolos Tzimoulis, "Algebraic and Proof-Theoretic Foundations of the Logics for Social Behaviour";
17:00- 18:30, Fei Liang, "Multi-type Algebraic Proof Theory".

Venue
> Monday 2 July: Prisma room, Bouwcampus (Gebouw 26A), Van der Burghweg 1, Delft
> Tuesday 3 July: Senaatszaal of the Auditorium, Mekelweg 5, Delft
> Wednesday 4 July: Hans Dirken room, Faculty of Industrial Design Engineering (Building 32), Landbergstraat 15, 2628 CE Delft
> Thursday 5 July: Hans Dirken room, Faculty of Industrial Design Engineering (Building 32), Landbergstraat 15, 2628 CE Delft
> Friday 6 July: Hall H, Faculty of Technology, Policy and Management (Building 31), Jaffalaan 5, 2628 BX Delft

Directions
The Delft station can normally be reached directly from Schiphol Airport with the train:
> NS Intercity to Dordrecht, 38 min., departs at hh:12 and hh:42 from platform 5/6
The latest departure is at 22:12. Later options are available with a change in Leiden.
Make sure to get off the train in Delft and not Delft Zuid.

The return trip can be made with:
> NS Intercity to Lelystad Centrum, 38 min., departs at hh:09 and hh:39 from platform 1
The earliest departure is at 06:09. Earlier options are available with a change in Leiden.

The price for a one-way train ticket is € 10,00.
Please check ns.nl or 9292.nl for up-to-date schedules.
The price of a taxi ride is between € 80,00 and € 100,00.
Online reservations for a taxi can be made here.

Multiple buses departing from the Delft station make a stop at TU Aula, including:
> Bus 40, direction Rotterdam Centraal
> Bus 55, direction Zoetermeer Centrum West
> Bus 60, direction Delft Technopolis
> Bus 174, direction Rotterdam Noord
All the buses make intermediate stops at Zuidpoort and Julianalaan.
The station and Zuidpoort stops can be easily reached from the Delft city center.
Please check 9292.nl for up-to-date schedules.

Contact
Fei Liang
F.Liang@tudelft.nl
Apostolos Tzimoulis
a.tzimoulis-1@tudelft.nl