SIGLOG Monthly 233

January 03, 2023
Past Issues - How to submit an announcement

Table of Content

Deadlines

LICS 2023: Jan 18, 2023 (Titles and Short Abstracts Due), Jan 23, 2023 (Full Papers Due)
POST-DOC POSITION IN LOGIC at LUCI-UNIMI: Jan 18, 2023 23:59 CET (Applications)
ICLP 2023: Jan 23, 2023 (Abstract registration), Jan 31, 2023 (Paper (regular, applications, thematic tracks)), Apr 28, 2023 (Paper (other paper types))
FSCD 2023: Jan 30, 2023 (Abstract), Feb 03, 2023 (Paper)
Dov Gabbay Prize for Logic and Foundations: Jan 31, 2023 (Deadline for nominations)
S. Barry Cooper Prize: Jan 31, 2023 (Deadline for nominations)
Alonzo Church Award 2023: Feb 01, 2023 (Deadline for nominations)
CONFEST 2023: Feb 02, 2023 (Submission deadline)
CAV 2023: Feb 03, 2023 (Paper), Apr 25, 2023 (Artifact), Feb 20, 2023 (CAV AWARD Nomination deadline)
CiE 2023: Feb 08, 2023 (Abstract), Feb 15, 2023 (Article)
ICALP 2023: Feb 11, 2023 at 11am CET (Paper)
POSTDOC POSITION in WARSAW: Feb 15, 2023 (Applications)
Salomaa Prize: Feb 28, 2023 (Deadline for nominations)
ICGT 2023: Feb 28, 2023 (Abstract), Mar 07, 2023 (Paper)
LOGIC COLLOQUIUM 2023: Mar 01, 2023 (Abstract), Mar 01, 2023 (Student Travel Grants deadline)
FORMATS 2023: Apr 21, 2023 (Abstract), Apr 28, 2023 (Paper)

Alonzo Church Award 2023: The 2023 Alonzo Church Award for Outstanding Contributions to Logic and Computation

CALL FOR NOMINATIONS

CPP 2023: Certified Programs and Proofs

Jan 16-17, 2023, co-located with POPL 2023, Boston

Registration: https://popl23.sigplan.org/attending/registration

Accommodation: Boston Park Plaza https://popl23.sigplan.org/venue/POPL-2023-venue

CALL FOR PARTICIPATION

CAV 2023: 35th International Conference on Computer-Aided Verification

July 17-22, 2023, Paris, France

http://www.i-cav.org/2023/

CALL FOR PAPERSCALL FOR NOMINATIONS

Salomaa Prize: Salomaa Prize in Automata Theory, Formal Languages, and Related Topics

Deadline Feb 28, 2023

https://math.utu.fi/salomaaprize/

CALL FOR NOMINATIONS

ICGT 2023: 16th International Conference on Graph Transformation

https://conf.researchr.org/home/icgt-2023

Part of STAF 2023, 17-21st July in Leicester, UK

https://conf.researchr.org/home/staf-2023

CALL FOR PAPERS

FORMATS 2023: 21st International Conference on Formal Modeling and Analysis of Timed Systems

https://www.uantwerpen.be/en/conferences/confest-2023/formats/

19-21 September 2023, Antwerp, Belgium

co-located with CONCUR, FMICS and QEST as part of CONFEST 2023

CALL FOR PAPERS

POST-DOC POSITION IN LOGIC at LUCI-UNIMI

2 Years post-doc position in Logic within the Logic, Uncertainty, Computation and Information (LUCI) Group, Department of Philosophy, University of Milan.

JOB ANNOUNCEMENT

POSTDOC POSITION in WARSAW: Postdoc position for the National Science Centre project "Hybrid models of natural reasoning" implemented at the Institute of Mathematics PAS

JOB ANNOUNCEMENT


To the SIGLOG or LICS website.