From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10906 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: "Hansen, H.H." Newsgroups: gmane.science.mathematics.categories Subject: TbiLLC 2023: First Call for Papers Date: Sat, 21 Jan 2023 15:32:43 +0100 Message-ID: Reply-To: "Hansen, H.H." Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="14573"; mail-complaints-to="usenet@ciao.gmane.io" To: categories@mta.ca Original-X-From: majordomo@rr.mta.ca Sun Jan 22 21:53:10 2023 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.75]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1pJhKw-0003YW-7r for gsmc-categories@m.gmane-mx.org; Sun, 22 Jan 2023 21:53:10 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:39418) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1pJhKB-000795-Ms; Sun, 22 Jan 2023 16:52:23 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1pJhJb-0002Jf-7b for categories-list@rr.mta.ca; Sun, 22 Jan 2023 16:51:47 -0400 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10906 Archived-At: THE FOURTEENTH INTERNATIONAL TBILISI SYMPOSIUM ON LOGIC, LANGUAGE AND COMPUTATION 18-22 September, 2023 Telavi, Georgia Website: https://events.illc.uva.nl/Tbilisi/Tbilisi2023/ *********************************************************************** FIRST CALL FOR PAPERS The Fourteenth International Tbilisi Symposium on Logic, Language, and Computation will be held 18-22 September 2023 in Telavi, located in the Kakheti region, Georgia, north-east of Tbilisi. 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 (Danish Technical University) 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) 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=C3=BCke =C3= =96zg=C3=BCn (University of Amsterdam). More details will soon be made available via the TbiLLC website (see top). 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=C3=B3n a Distancia, ES) Zo=C3=A9 Christoff (University of Groningen, NL) Agata Ciabattoni (TU Wien, AT) Milica Deni=C4=87 (Tel Aviv University, IL) David Gabelaia (Javakhishvili Tbilisi State University, GE) Berit Gehrke (Humboldt-Universit=C3=A4t 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=C3=BCke =C3=96zg=C3=BCn (University of Amsterdam, NL) Mehrnoosh Sadrzadeh (University College London, UK) Viola Schmitt (Humboldt-Universit=C3=A4t zu Berlin, DE) Todd Snider (Heinrich Heine University of D=C3=BCsseldorf, 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=C4=85giel (Masaryk University, Brno, CZ, and University of Wroc=C5= =82aw, PL) Fan Yang (Utrecht University, NL) Malte Zimmermann (University of Potsdam, DE) Sarah Zobel (University of Oslo, NO) IMPORTANT DATES Submission deadline: Fri 17 March 2023 Notification: Wed 24 May 2023 Final abstracts due: Mon 26 June 2023 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 should report on original, unpublished work. Submissions should be done via the EasyChair conference system here: https://easychair.org/conferences/?conf=3Dtbillc2023 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. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]