THE FOURTEENTH INTERNATIONAL TBILISI SYMPOSIUM ON LOGIC, LANGUAGE AND COMPUTATION
18-22 September, 2023 Telavi, Georgia Website: https://events.illc.uva.nl/Tbilisi/Tbilisi2023/ *********************************************************************** SECOND CALL FOR PAPERS incl. Deadline Extension -- UPDATED: Important Dates and Submission Info --
The Fourteenth International Tbilisi Symposium on Logic, Language, and Computation (TbiLLC 2023) will be held 18-22 September 2023 in Telavi, located in the Kakheti region, Georgia, north-east of Tbilisi. TbiLLC 2023 will be preceded by Logic, Algebra and Truth Degrees (LATD 2023) and DaLí - Dynamic Logic: new trends and applications (DaLi 2023).
The Programme Committee invites submissions for contributions on all aspects of logic, language, and computation. Work of an interdisciplinary nature is particularly welcome. Areas of interest include, but are not limited to:
* Natural language syntax, semantics, and pragmatics * Linguistic typology and semantic universals * Language evolution and learnability * Variability in language * Sociolinguistics * Historical linguistics, history of logic * Natural logic, inference and entailment in natural language * Natural language processing * Distributional and probabilistic models of information, meaning and computation * Logic, games, and formal pragmatics * Logic and cognition * Logics for artificial intelligence and computer science * Knowledge representation * Foundations of machine learning * Formal models of multiagent systems * Logics for social networks * Logics for knowledge, belief, and information dynamics * Computational social choice * Information retrieval, query answer systems * Constructive, intuitionistic, modal and other non-classical logics * Algebraic and coalgebraic logic and semantics * Categorical logic * Models of computation
PROGRAMME
The programme will include the following tutorials and a series of invited lecturers.
*Tutorial speakers* Language: Peter Sutton (UPF, Barcelona) Logic & Computation: Frank Wolter (University of Liverpool)
*Invited speakers* Language: - Heather Burnett (CNRS-LLF, Paris) - Stephanie Solt (ZAS, Berlin) Logic & Computation: - Balder ten Cate (University of Amsterdam) - Nina Gierasimczuk (Technical University of Denmark)
WORKSHOPS
There will be two workshops embedded in the conference programme:
"The Semantics of Hidden Meanings" Organisers: Heather Burnett (CNRS-LLF, Paris), Stephanie Solt (ZAS, Berlin), Peter Sutton (UPF, Barcelona) Invited speaker: - Elin McCready (Aoyama Gakuin University) For more details see the workshop webpage: https://sites.google.com/view/hidden-meanings
and
"Learning and Logic" Organisers: Balder ten Cate (University of Amsterdam) and Aybüke Özgün (University of Amsterdam). Invited speakers: - Victor Dalmau (UPF Barcelona), - Kasey Genin (University of Tübingen), - Dick de Jongh (University of Amsterdam), - Ana Ozaki (University of Bergen) More details will soon be made available via the TbiLLC website (see top).
PROGRAMME COMMITTEE CHAIRS Berit Gehrke (Humboldt-Universität zu Berlin, DE) Helle Hvid Hansen (University of Groningen, NL)
PROGRAMME COMMITTEE
Samson Abramsky (University College London, UK) Philippe Balbiani (CNRS & University of Toulouse, FR) Guram Bezhanishvili (New Mexico State University, USA) Nick Bezhanishvili (University of Amsterdam, NL) Olga Borik (Universidad Nacional de Educación a Distancia, ES) Zoé Christoff (University of Groningen, NL) Agata Ciabattoni (TU Wien, AT) Milica Denić (Tel Aviv University, IL) David Gabelaia (Javakhishvili Tbilisi State University, GE) Berit Gehrke (Humboldt-Universität zu Berlin, DE, co-chair) Jim de Groot (Australian National University, AU) Helle Hvid Hansen (University of Groningen, NL, co-chair) Daniel Hole (University of Stuttgart, DE) Rosalie Iemhoff (Utrecht University, NL) Maarten Janssen (Charles University, Prague, CZ) Clemens Kupke (University of Strathclyde, UK) Temur Kutsia (Johannes Kepler University Linz, AT) Mora Maldonado (CNRS & University of Nantes, FR) Louise McNally (Universitat Pompeu Fabra, Barcelona, ES) Lawrence Moss (Indiana University, USA) Aybüke Özgün (University of Amsterdam, NL) Mehrnoosh Sadrzadeh (University College London, UK) Viola Schmitt (Humboldt-Universität zu Berlin, DE) Todd Snider (Heinrich Heine University of Düsseldorf, DE) Ana Sokolova (University of Salzburg, AT) Luca Spada (University of Salerno, IT) Yasutada Sudo (University College London, UK) Jakub Szymanik (University of Trento, IT) Carla Umbach (University of Cologne, DE) Marcin Wągiel (Masaryk University, Brno, CZ, and University of Wrocław, PL) Fan Yang (Utrecht University, NL) Malte Zimmermann (University of Potsdam, DE) Sarah Zobel (University of Oslo, NO)
IMPORTANT DATES
Submission deadline: Fri 31 March 2023 (NEW) Notification: Wed 07 June 2023 (NEW) Final abstracts due: Mon 10 July 2023 (NEW) Early Registration deadline: Fri 30 June 2023 Late Registration deadline: Mon 24 July 2023 Symposium: 18-22 September 2023
SUBMISSION INFO
Authors can submit an abstract for presentation at the symposium of up to 3 pages excluding references, and max 4 pages including references. . Abstracts will be reviewed single-blind and should report on original, unpublished work. No particular style file is required as long as the abstract is legible and uses minimal fontsize 10. Abstracts should report on original, unpublished work. Submissions should be done via the EasyChair conference system here:
https://easychair.org/conferences/?conf=tbillc2023
All accepted abstracts will be compiled into an informal proceedings volume which will be made available electronically in advance of the symposium.
PUBLICATION INFORMATION
After the symposium, authors of accepted abstracts will be invited to submit a full-length paper to the post-proceedings of the symposium, which will be published in the LNCS series of Springer. The full-length submissions will undergo a new single-blind peer review process.
finite-model-theory@lists.rwth-aachen.de