LICS 2023 Call for Papers and Call for Workshop Proposals

[Sam Staton <sam.staton@cs.ox.ac.uk>]

CALL FOR PAPERS and WORKSHOP PROPOSALS.

Here is both a call for papers (18/23 Jan) and a call for workshop proposal=
s (30 Nov) for LICS 2023 (June 2023).=20


Thirty-Eighth Annual ACM/IEEE Symposium on
LOGIC IN COMPUTER SCIENCE (LICS)
Boston, June 2023
https://lics.siglog.org/lics23

SCOPE

The LICS Symposium is an annual international forum on theoretical and prac=
tical topics in computer science that relate to logic, broadly construed. W=
e invite submissions on topics that fit under that rubric. Suggested, but n=
ot exclusive, topics of interest include: automata theory, automated deduct=
ion, categorical models and logics, concurrency and distributed computation=
, constraint programming, constructive mathematics, database theory, decisi=
on procedures, description logics, domain theory, finite model theory, form=
al aspects of program analysis, formal methods, foundations of computabilit=
y, foundations of probabilistic, real-time and hybrid systems, games and lo=
gic, higher-order logic, knowledge representation and reasoning, lambda and=
  combinatory calculi, linear logic, logic programming, logical aspects of A=
I, logical aspects of bioinformatics, logical aspects of computational comp=
lexity, logical aspects of quantum computation, logical frameworks, logics =
of programs, modal and temporal logics, model checking, process calculi, pr=
ogramming language semantics, proof theory, reasoning about security and pr=
ivacy, rewriting, type systems, type theory, and verification.


IMPORTANT DATES FOR PAPERS

Authors are required to submit a paper title and a short abstract of about =
100 words in advance of submitting the extended abstract of the paper. The =
exact deadline time on these dates is given by anywhere on earth (AoE).

Titles and Short Abstracts Due: 18 January 2023
Full Papers Due: 23 January 2023
Author Feedback/Rebuttal Period: 15-19 March 2023
Author Notification: 5 April 2023
Conference: 26-29 June 2023.=20

Submission deadlines are firm; late submissions will not be considered. All=
  submissions will be electronic via easychair.


PAPER SUBMISSION INSTRUCTIONS

Every full paper must be submitted in the IEEE Proceedings 2-column 10pt fo=
rmat and may be at most 12 pages, excluding references. Latex style files a=
nd further submission information is at https://lics.siglog.org/lics23/cfp.=
php.=20

LICS 2023 will use a lightweight double-blind reviewing process. Please see=
  the website for further details and requirements from the double-blind pro=
cess.

The official publication date may differ from the first day of the conferen=
ce. The official publication date may affect the deadline for any patent fi=
lings related to published work. We will clarify the official publication d=
ate in due course.

--

LICS 2023 Call for Workshop Proposals

Researchers and practitioners are invited to submit proposals for workshops=
  on topics relating logic -- broadly construed -- to computer science or re=
lated fields. Typically, LICS workshops feature a number of invited speaker=
s and a number of contributed presentations. LICS workshops do not usually =
produce formal proceedings. However, in the past there have been special is=
sues of journals based in part on certain LICS workshops.

Proposals should include:
    -  A short scientific summary and justification of the proposed
       topic. This should include a discussion of the particular
       benefits of the topic to the LICS community.
    -  Potential invited speakers.
    -  Procedures for selecting participants and papers.
    -  Plans for dissemination (for example, special issues of journals).
    -  The proposed duration, which is one or two days.
    -  A discussion of the proposed format and agenda.
    -  Expected number of participants, providing data on previous years
       if the workshop has already been organised in the past.

Proposals should be sent to Valentin Blot: lics23-workshops at valentinblot=
.org

IMPORTANT DATES FOR WORKSHOP PROPOSALS
   - Submission deadline: November 30, 2022
   - Notification: mid-December, 2022
   - Program of the workshops ready: May 24, 2023
   - Workshops: June 24-25, 2023
   - LICS conference: June 26-29, 2023

The workshops selection committee consists of the LICS Workshops Chair, the=
  LICS General Chair, the LICS PC Chair and the LICS Conference Chair.



[For admin and other information see: http://www.mta.ca/~cat-dist/ ]