[TYPES/announce] TbiLLC 2023: Second Call for Papers incl. Deadline Extension

Mon Mar 13 10:10:14 EDT 2023

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!UBwFwjt5EukKl3G8O0f7SNYPxsEEE1sIwdFlLKoat8ZxRYUugEnNYY-7Ie93YzY5A0g2HeEwY8vvKkMuv0VoU9cKvtnmgA5xig$ 
***********************************************************************
SECOND CALL FOR PAPERS incl. Deadline Extension
-- UPDATED: Workshops, Important Dates, 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://urldefense.com/v3/__https://sites.google.com/view/hidden-meanings__;!!IBzWLUs!UBwFwjt5EukKl3G8O0f7SNYPxsEEE1sIwdFlLKoat8ZxRYUugEnNYY-7Ie93YzY5A0g2HeEwY8vvKkMuv0VoU9cKvtlI51tltg$ 

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://urldefense.com/v3/__https://easychair.org/conferences/?conf=tbillc2023__;!!IBzWLUs!UBwFwjt5EukKl3G8O0f7SNYPxsEEE1sIwdFlLKoat8ZxRYUugEnNYY-7Ie93YzY5A0g2HeEwY8vvKkMuv0VoU9cKvtmZohZA5A$ 

All accepted abstracts will be compiled into an informal proceedings volume
which will be made available electronically in advance of the symposium.

In line with the current sanctions against Russian and Belarusian
institutions and their implementation for Dutch knowledge institutions, we
cannot accept submissions by researchers who list a Russian or Belarusian
institution as their affiliation, but we welcome submissions by researchers
of every nationality, provided they list their affiliation as “Individual
researcher” or as an institution that is not located in the above-mentioned
countries.

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.

-- 
Helle Hvid Hansen
Associate Professor
Fundamental Computing
Bernoulli Institute for Maths, CS and AI
University of Groningen
URL: https://urldefense.com/v3/__https://www.rug.nl/staff/h.h.hansen/__;!!IBzWLUs!UBwFwjt5EukKl3G8O0f7SNYPxsEEE1sIwdFlLKoat8ZxRYUugEnNYY-7Ie93YzY5A0g2HeEwY8vvKkMuv0VoU9cKvtl56JPsdw$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230313/6416d0f5/attachment-0001.htm>