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



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
    MARTA BÍLKOVÁ

    Charles University of Prague

    MARTA BÍLKOVÁ

    Charles University - Prague

    Czech Academy of Sciences,

    Czech Republic

    NIKOLAOS GALATOS

    University of Denver

    NIKOLAOS GALATOS

    University of Denver, USA

    TOMMASO MORASCHINI

    Czech Academy of Sciences

    TOMMASO MORASCHINI

    Czech Academy of Sciences,

    Czech Republic

    Invited speaker joint with AiML
    ROSALIE IEMHOFF

    Utrecht University

    ROSALIE IEMHOFF

    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.



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

    The full program can be downloaded here.

    The list of accepted contributions can be consulted here.

    The proceedings can be found here.


    Conference Venue
    LATD 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.


    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.


    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
    center
    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.
    center
    center
    center
    center
    center