- George Metcalfe (Chair)
- Thomas Studer (Chair)
- Bettina Choffat
- Almudena Colacito
- José Gil-Ferez
- Eveline Lehmann
- Nenad Savić
- Silvia Steila
- Olim Tuyt
- George Metcalfe, Universität Bern, Switzerland (Chair)
- Xavier Caicedo, Universidad de los Andes, Colombia
- Agata Ciabattoni, TU Wien, Austria
- Lluis Godo, IIIA-CSIC, Spain
- Peter Jipsen, Chapman University, USA
- Vincenzo Marra, Università degli Studi di Milano, Italy
- Carles Noguera, Czech Academy of Sciences, Czech Republic
- James Raftery, University of Pretoria, South Africa
- Philip Scott, University of Ottawa, Canada
- Kazushige Terui, Kyoto University, Japan
Call for Papers
Mathematical Fuzzy Logic is the sub-discipline of Mathematical Logic that is concerned with the notion of comparative truth.
The assumption that "truth comes in degrees" has proved to be very useful in many theoretical and applied areas of Mathematics, Computer Science, and Philosophy.
The LATD conference series started as an official meeting of the working group on Mathematical Fuzzy Logic and has evolved into a wider meeting in algebraic logic and related areas. Its main goal is to foster collaboration between researchers in these areas, and to promote communication and cooperation with members of neighbouring fields.
We invite contributions on any relevant aspects of logical systems (including many-valued, fuzzy, substructural, modal and quantum logics), in particular:
- Proof theory and computational complexity;
- Algebraic semantics and abstract algebraic logic;
- First-order, higher-order and modal formalisms;
- Applications and foundational issues;
- Geometric and game theoretic aspects.
Abstracts of contributed talks of 2-4 pages are to be prepared using the EasyChair class style and submitted via EasyChair.
The deadline for contributions is 2 May 2018 (Extended!), and the notification of acceptance will be sent by 25 May 2018.
RegistrationThe registration fee covers attendance at both AiML and LATD, the proceedings for the meetings, the welcome reception on August 28th and the conference dinner on August 30th.
|Before June 30th||After July 1st|
|Participant||CHF 200||CHF 250|
|Student||CHF 100||CHF 150|
You can find here detailed information on how to reach Bern.
From your very first overnight stay in a tourist accommodation in Bern, you will receive a Bern ticket for your whole stay, which will allow you travel for free on public transport.
Click here for more information about Tscharnergut.
The available rooms are in category 5 (single rooms with shared bathroom). They cost CHF 235 per week.
To make a reservation please use the form and mention AiML & LATD in the Comments field.