Logic List Mailing Archive

CfP: LCC 2026 – 16th Intl. Workshop on Logic and Computational Complexity, 18–19 July 2026, Lisbon (Portugal)

======================================================================
                        First Call for Papers                    
                              LCC 2026                          
  16th International Workshop on Logic and Computational Complexity
                   July 18-19, 2026, Lisbon 
           as part of the Federated Logic Conference
         https://webusers.imj-prg.fr/~arnaud.durand/LCC/lcc26.html
======================================================================


LCC meetings are aimed at the foundational interconnections between logic and computational complexity, as present, for example, in implicit computational complexity (descriptive and type-theoretic methods); deductive formalisms as they relate to complexity (e.g. ramification, weak comprehension, bounded arithmetic, linear logic and resource logics); complexity aspects of finite model theory and databases; complexity-mindful program derivation and verification; computational complexity at higher type; and proof complexity.

The program will consist of invited lectures as well as contributed talks, selected by the Program Committee.  


IMPORTANT DATES:

 * submission     May 10, 2026
 * notification   May 17, 2026
 * workshop       July 18-19, 2026 


INVITED SPEAKERS:

Olaf Beyersdorff, Friedrich Schiller University Jena Arnold Beckmann, Swansea University Bruno Loff, University of Lisbon


SUBMISSION:

We welcome submissions of abstracts based on work which may be submitted or published elsewhere, provided that all pertinent information is disclosed at submission time. There will be no formal reviewing as is usually understood in peer-reviewed conferences with published proceedings. The program committee checks relevance and may provide additional feedback.

Submissions must be in English and in the form of an abstract of about 2-4 pages. All submissions should be submitted as a pdf-file via:

	https://submissions.floc26.org/lcc/


PROGRAM COMMITTEE:

* Patrick Baillot, CNRS Lille
* Ugo Dal Lago, University of Bologna	
* Juha Kontinen, University of Helsinki
* Meena Mahajan, The Institute of Mathematical Sciences
* Isabel Oitavem, co-chair, NOVA University of Lisbon					
* Heribert Vollmer, co-chair, Leibniz University Hannover		

--
Prof. Dr. Heribert Vollmer
Inst. f. Theoretische Informatik
www.thi.uni-hannover.de
Leibniz-Univ., Appelstr. 9a, D-30167  Hannover, Tel.: 0511-762-19703


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