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.



Here is a list of places to eat near the university.

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
  • Abstract submission deadline: 2 May 2018

  • Notification of acceptance: 25 May 2018

  • Final version: 24 June 2018

  • Early registration deadline: 30 June 2018

  • Conference: 28-31 August 2018

  • Invited Speakers

    Charles University of Prague


    Charles University - Prague

    Czech Academy of Sciences,

    Czech Republic


    University of Denver


    University of Denver, USA


    Czech Academy of Sciences


    Czech Academy of Sciences,

    Czech Republic

    Invited speaker joint with AiML

    Utrecht University


    Utrecht University,

    The Netherlands

    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.

    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
    The registration is now open. You can register via this link.

    The full program can be downloaded here.

    The list of accepted contributions can be consulted here.

    The proceedings can be found here.

    Conference Venue
    AiML 2018 will take place at the University of Bern.
    The conference will be held at the Exakte Wissenschaften building, headquarters of the Mathematical Institute.

    Travel Information
    The City of Bern is situated in the heart of Switzerland and can easily be reached by air, rail or road.
    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
    Here is a list of places to eat near the university.

    Welcome Reception
    The Welcome Reception will begin at 6pm on Tuesday August 28th at Schloss Köniz.

    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
    The Social Dinner will take place at the Event-Lounge of the Schwellenmätteli restaurants on Thursday August 30th, starting at 7pm.

    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
    A limited number of rooms in the Students Lodge Tscharnergut are available for the conferences.
    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.


    George Metcalfe

    Mathematisches Institut
    Universität Bern
    Sidlerstrasse 5
    CH-3012 Bern

    Thomas Studer

    Institut für Informatik
    Universität Bern
    Neubrückstrasse 10
    CH-3012 Bern

    This event has received funding from the European Union's Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement N. 689176.