Logic List Mailing Archive

CfR: WoLLIC 2024: 30th Workshop on Logic, Language, Information and Computation, 10-13 June, Bern (Switzerland)

CALL FOR PARTICIPATION

WoLLIC 2024
30th Workshop on Logic, Language, Information and Computation
10-13 June 2024
Bern, Switzerland
https://wollic2024.inf.unibe.ch/

ORGANISATION
Mathematical Institute and Institute for Computer Science University of Ber
n, Switzerland Centro de Informtica, Universidade Federal de Pernambuco,
 Brazil

WoLLIC is an annual international forum on inter-disciplinary research invo
lving formal logic, computing and programming theory, and natural language 
and reasoning. Each meeting includes invited talks and tutorials as well as
 contributed papers. The thirtieth WoLLIC will be held at the University of
 Bern, Switzerland, 10-13 June 2024. 


The list of accepted papers is now available on the website.

INVITED SPEAKERS
Juan Aguilera, Vienna University of Technology Maria Aloni, University of A
msterdam Sam van Gool, Universit Paris Cit Helle Hvid Hansen, Univers
ity of Groningen Dexter Kozen, Cornell University Francesca Zaffora Blando,
 Carnegie Mellon University

PROGRAMME COMMITTEE
Guillermo Badia, University of Queensland, Australia Thomas Bolander, Danis
h Technical University, Denmark Clia Borlido, University of Coimbra, Por
tugal Sabine Broda, University of Porto, Portugal Zo Christoff, Universi
ty of Groningen, Netherlands Willem Conradie, University of the Witwatersra
nd, South Africa Anupam Das, University of Birmingham, UK Jacques Duparc, U
niversity of Lausanne, Switzerland Federico Faroldi, University of Pavia, I
taly Chris Fermller, Vienna University of Technology, Austria Mrio Fl
orido, University of Porto, Portugal Sujata Ghosh, Indian Statistical Insti
tute, India Nina Gierasimczuk, Danish Technical University, Denmark Mariann
a Girlando, University of Amsterdam, Netherlands Makoto Kanazawa, Hosei Uni
versity, Japan Fenrong Liu, Tsinghua University, China Hugo Luiz Mariano, U
niversity of So Paulo, Brazil George Metcalfe, University of Bern, Switz
erland (co-chair) Cludia Nalon, University of Brasilia, Brazil Carles No
guera, University of Siena, Italy Magdalena Ortiz, University of Ume, Sw
eden Aybke zgn, University of Amsterdam, Netherlands Dusko Pavlovi
c, University of Hawaii, USA Sylvain Pogodalla, INRIA Nancy, France Revanth
a Ramanayake, University of Groningen, Netherlands Luca Reggio, University 
College London, UK Mehrnoosh Sadrzadeh, University College London, UK Igor 
Sedlr, Czech Academy of Sciences, Czech Republic Viorica Sofronie-Stokke
rmans, University of Koblenz-Landau, Germany Thomas Studer, University of B
ern, Switzerland (co-chair) Sara Ugolini, IIIA - CSIC Barcelona, Spain Mlad
en Vukovic, University of Zagreb, Croatia Fan Yang, Utrecht University, Net
herlands Richard Zach, University of Calgary, Canada

STEERING COMMITTEE
Samson Abramsky, Agata Ciabattoni, Anuj Dawar, Juliette Kennedy, Ulrich Koh
lenbach, Daniel Leivant, Leonid Libkin, Lawrence Moss, Luke Ong, Valeria de
 Paiva, Elaine Pimentel, Ruy de Queiroz, Alexandra Silva, Renata Wassermann
  


ADVISORY COMMITTEE
Johan van Benthem, Joe Halpern, Wilfrid Hodges, Angus Macintyre, Hiroakira 
Ono, Jouko Vnnen

ORGANISING COMMITTEE
Bettina Choffat, Armand Feuilleaubois, George Metcalfe (co-chair), Borja Si
erra Miranda, Anjolina de Oliveira (UFPE), Ruy de Queiroz (UFPE), Simon San
tschi, Thomas Studer (co-chair), Naomi Tokuda, Lukas Zenger

SCIENTIFIC SPONSORSHIP

Interest Group in Pure and Applied Logics (IGPL) The Association for Logic,
 Language and Information (FoLLI) Association for Symbolic Logic (ASL) Euro
pean Association for Theoretical Computer Science (EATCS) European Associat
ion for Computer Science Logic (EACSL) Sociedade Brasileira de Lgica (SB
L) 


FINANCIAL SUPPORT

Swiss National Science Foundation (SNSF) University of Bern EU RISE Project
 MOSAIC

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php