Previous editions of LATD were held in Siena (2008), Prague (2010), Kanazawa (2012), Vienna (2014), and Phalaborwa (2016).
The conference is co-located with AiML 2018.
A SYSMICS school will be held August 22-26 in Les Diablerets, Switzerland.
POSTER
PROCEEDINGS
Here is a list of places to eat near the university.
INFORMATION ABOUT WELCOME RECEPTION AND SOCIAL DINNER AVAILABLE
Organizing Committee
- George Metcalfe (Chair)
- Thomas Studer (Chair)
- Bettina Choffat
- Almudena Colacito
- José Gil-Ferez
- Eveline Lehmann
- Nenad Savić
- Silvia Steila
- Olim Tuyt
Programme Committee
- 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
Important Dates
Invited Speakers
MARTA BÍLKOVÁ
Charles University of Prague
NIKOLAOS GALATOS
University of Denver
University of Denver, USA
TOMMASO MORASCHINI
Czech Academy of Sciences
Invited speaker joint with AiML
ROSALIE IEMHOFF
Utrecht University
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.
Contributed Talks
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.
Registration
The 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 |
Conference Venue
The conference will be held at the Exakte Wissenschaften building, headquarters of the Mathematical Institute.
Travel Information
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.
The Students Lodge does not provide a Bern ticket.
Lunch Suggestions
Welcome Reception
The best way to reach the Schloss is by taking the number 10 bus from Bern Bahnhof, direction Schliern, getting off at the bus stop Köniz Schloss after about 13 minutes. If you are staying in a hotel, you will receive a Bern Ticket that is valid for all buses and trams in Bern, otherwise you will need to buy a ticket from a machine by the bus stop.
Social Dinner
It can be reached by public transport, taking tram 7 or 8* to Helvetiaplatz and walking down to the river, but is also an easy 25 minute walk from the university.
*Tram 7 and 8 do not operate due to a construction site. They are replaced by a tram replacement bus.
Accommodation Information
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.
Contacts
George Metcalfe
Mathematisches Institut
Universität Bern
Sidlerstrasse 5
CH-3012 Bern
Switzerland
Email: george.metcalfe@math.unibe.ch
Thomas Studer
Institut für Informatik
Universität Bern
Neubrückstrasse 10
CH-3012 Bern
Switzerland
Email: tstuder@inf.unibe.ch
Sponsors
