WoLLIC 2022

28th Workshop on Logic, Language, Information and Computation

Colocated with FROM 2022

Schedule

(NEW!) Day 4 Schedule (Updated 22 Sep)

(NEW!) Day 3 Schedule

(NEW!) Day 2 Schedule

(NEW!) Day 1 Schedule

(NEW!) The proceedings are now available.

(NEW!) The schedule is available (updated September 20th).

The abstracts for all tutorial and invited talks have been published on the webpage.

Registration

Please fill in the Registration Form.

Early registration ends on July 31st.


Alexandru Ioan Cuza University

Alexandru Ioan Cuza University, Iaşi, Romania

20-23 September 2022

Vision

WoLLIC is a series of workshops which started in 1994 with the aim of fostering interdisciplinary research in pure and applied logic. The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation, and yet is small enough to allow for concrete and useful interaction among participants.


Call for Papers

Please distribute the call for papers.


Venue

Alexandru Ioan Cuza University

WoLLIC 2022 takes place at the Alexandru Ioan Cuza University in Iaşi, Romania. The Alexandru Ioan Cuza University is the oldest higher education institution in Romania, founded in 1860. The university currently has over 24 000 students and around 800 academic staff. The beautiful city of Iaşi is known as the cultural capital of Romania and it has a vibrant and rich cultural, educational, social, and artistic life.

Travel

The easiest way to reach Iaşi is via its international airport, situated close to the city. The airport services multiple direct flights each week to various international destinations, including: London, Vienna, Rome, Paris, Madrid, Brussels, Tel Aviv, Munich, Cologne, Larnaca, Glasgow, Barcelona, Valencia, Bergamo (Milan), Turin, Florence, Catania, Treviso (Venice). Also, several direct flights are operated daily to and from Bucharest Otopeni airport (flight time: less than 1h), the main air transport hub in Romania. Find more information on the Iași airport website. To reach Iaşi city center from the airport, the best way is by taxi. The fare takes around 15 minutes and should cost around 25 RON (about 5 euros). A taxi station is located just outside the airport terminals (you will see a long line of taxis -- you must take the first one). The price per kilometer of all taxi companies in Iaşi is around 2.5 Lei/kilometer during day time with a similar starting fee (equivalent of about 0.5 Euro). As a cheaper but significantly less convenient alternative, bus number 50 connects the airport to the city center. The bus stop is next to the taxis. There is typically one bus every couple of hours, and the departure/arrival schedule is usually synchronised with airplane arrivals/departures. The price for a single trip is 2.5 RON. The simplest way to get tickets is to use a contactless debit/credit card (non-contactless will not work) and buy them directly in the bus from the automated vending machines.

Iasi: The Palace of Culture

Visa Information

Romania is part of the European Union. Citizens of a number of countries require a visa to enter Romania. Detailed information including the process to obtain a visa can be found on the site of the Romanian Ministry of Foreign Affairs. Typically, the visa that would be required for attending a conference is a short-stay visa of type C/ZA. If you need an invitation letter for obtaining a visa please contact us the organizers as soon as possible.


Important Dates


Accepted Papers

Roberto Maieli . A proof of the Focusing Theorem via MALL proof nets
Juan Aguilera , Martín Diéguez, David Fernández-Duque and Brett McLean . Time and Gödel: Fuzzy temporal reasoning in PSPACE
David Fernández-Duque and Quentin Gougeon . Fixed Point Logics and Definable Topological Properties
Zhiguang Zhao . Correspondence Theory for Generalized Modal Algebras
Xiaoyang Wang and Yanjing Wang . Tense Logics over Lattices
Tomoyuki Yamakami . Expressing Power of Elementary Quantum Recursion Schemes for Quantum Logarithmic-Time Computability
Pierre Ludmann , Sylvain Pogodalla and Philippe de Groote . Multityped Abstract Categorial Grammars and Their Composition
Bogdan Aman and Gabriel Ciobanu . Interval Probability for Sessions Types
Giti Omidvar and Lutz Straßburger . Combinatorial Flows as Bicolored Atomic Flows
Xinghan Liu and Emiliano Lorini . A Logic of "Black Box" Classifier Systems
Naosuke Matsuda and Kento Takagi . What Kinds of Connectives Cause the Difference between Intuitionistic Predicate Logic and the Logic of Constant Domains?
Rustam Galimullin , Mina Young Pedersen and Marija Slavkovik . Logic of Visibility in Social Networks
Leonardo Pacheco and Kazuyuki Tanaka . The Alternation Hierarchy of the $\mu$-calculus over Weakly Transitive Frames
Igor Sedlar and Jamie Wannenburg . Embedding Kozen-Tiuryn logic into residuated one-sorted Kleene algebra with tests
Hans van Ditmarsch and Malvin Gattinger . The Limits to Gossip: Second-order Shared Knowledge of all Secrets is Unsatisfiable
Vít Šefl and Tomáš Svoboda . Additive Types in Quantitative Type Theory
Pietro Galliani. Strongly First Order, Domain Independent Dependencies: the Union-Closed Case
Tiziano Dalmonte, Charles Grellois and Nicola Olivetti . Towards an Intuitionistic deontic logic tolerating conflicting obligation
Bartosz Bednarczyk and Oskar Fiuk . Presburger Büchi Tree Automata With Applications To Logics With Expressive Counting
Bahareh Afshari and Dominik Wehr . Abstract Cyclic Proofs
Andrea De Domenico, Ali Farjami, Krishna Balajirao Manoorkar, Alessandra Palmigiano , Mattia Panettiere and Xiaolong Wang . Subordination Algebras as Semantic Environment of Input/Output Logic
Dominik Wehr and Dominik Kirst . Material Dialogues for First-Order Logic in Constructive Type Theory
Sam Sanders . On the computational properties of the uncountability of $\mathbb{R}$
Amirhossein Akbar Tabatabai. Mining the Surface: Witnessing the Low Complexity Theorems of Arithmetic
Carlos Areces, Valentin Cassano and Raul Fervari . Non-monotonic Reasoning via Dynamic Consequence

Invited Speakers


Invited Industry Speaker

Tutorials


Program Committee

Steering Committee

Advisory Committee


Organization

WoLLIC 2022 is organised by:

in collaboration with:

Asociația Română de Lingvistică Computațională

Organising Committee

Scientific Sponsorship

Special Session: Screening Of Movies About Mathematicians

It is planned to have a special session with the exhibition of a one-hour documentary film about a remarkable mathematician who is considered a father of modern differential geometry. "Taking the Long View: The Life of Shiing-shen Chern" (George Scisery, 2011) examines the life of a remarkable mathematician whose formidable mathematical contributions were matched by an approach and vision that helped build bridges between China and the West. The biographical documentary follows Shiing-shen Chern (1911-2004) through many of the most dramatic events of the 20th century, portraying a man who dedicated his life to pure mathematics with the style of a classical Chinese sage. (zalafilms.com)


Our sponsor


Contact

For organisational matters, please contact: stefan.ciobaca@gmail.com or ruy@cin.ufpe.br.