[TYPES/announce] TbiLLC 2023: First Call for Papers

[Hansen, H.H.]

THE FOURTEENTH INTERNATIONAL TBILISI SYMPOSIUM
ON LOGIC, LANGUAGE AND COMPUTATION

18-22 September, 2023
Telavi, Georgia
Website: https://urldefense.com/v3/__https://events.illc.uva.nl/Tbilisi/Tbilisi2023/__;!!IBzWLUs!Qwpk7HS5WFB8wdZQuyk2S36vFJGkdT4VsnaaSIkyj1Ewa52LAzVggfFs56qV-7_8qXgto_W2rKA40ayvFjwWItAM6aw_ODbiqw$ 

***********************************************************************

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://urldefense.com/v3/__https://sites.google.com/view/hidden-meanings__;!!IBzWLUs!Qwpk7HS5WFB8wdZQuyk2S36vFJGkdT4VsnaaSIkyj1Ewa52LAzVggfFs56qV-7_8qXgto_W2rKA40ayvFjwWItAM6axDXJnoDg$ 

and

"Learning and Logic"
Organisers: Balder ten Cate (University of Amsterdam) and Aybüke Özgün
(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ó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 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://urldefense.com/v3/__https://easychair.org/conferences/?conf=tbillc2023__;!!IBzWLUs!Qwpk7HS5WFB8wdZQuyk2S36vFJGkdT4VsnaaSIkyj1Ewa52LAzVggfFs56qV-7_8qXgto_W2rKA40ayvFjwWItAM6azVR-tPcw$ 

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230121/389a1519/attachment-0001.htm>