Difference between revisions of "FOSSACS 2021"

From Openresearch
Jump to navigation Jump to search
Line 19: Line 19:
 
|Camera ready=2021/01/22
 
|Camera ready=2021/01/22
 
|Submitting link=https://easychair.org/account/signin?l=RT9nA9LTwIUqFCgADSfq12#
 
|Submitting link=https://easychair.org/account/signin?l=RT9nA9LTwIUqFCgADSfq12#
 +
|has program chair=Stefan Kiefer, Christine Tasso
 +
|Submitted papers=88
 +
|Accepted papers=28
 +
|has Proceedings Link=https://link.springer.com/content/pdf/10.1007%2F978-3-030-71995-1.pdf
 +
|has Proceedings DOI=https://doi.org/10.1007/978-3-030-71995-1
 +
|has Proceedings Bibliography=https://link.springer.com/book/10.1007%2F978-3-030-71995-1
 
}}
 
}}
 
The 24. International Conference on Foundations of Software Science and Computation Structure (FOSSACS) 2021
 
The 24. International Conference on Foundations of Software Science and Computation Structure (FOSSACS) 2021

Revision as of 09:43, 10 December 2021

FOSSACS 2021
International Conference on Foundations of Software Science and Computation Structure
Ordinal 24
Event in series FOSSACS
Subevent of ETAPS 2021
Dates 2021/03/27 (iCal) - 2021/04/01
Presence online
Homepage: https://etaps.org/2021/fossacs
Submitting link: https://easychair.org/account/signin?l=RT9nA9LTwIUqFCgADSfq12#
Location
Location: Luxembourg, Luxembourg
Loading map...

Important dates
Submissions: 2020/10/15
Notification: 2020/12/23
Camera ready due: 2021/01/22
Papers: Submitted 88 / Accepted 28 (31.8 %)
Committees
PC chairs: Stefan Kiefer, Christine Tasso
Table of Contents



The 24. International Conference on Foundations of Software Science and Computation Structure (FOSSACS) 2021


Topics

  • categorical models and logics;
  • language theory, automata, and games;
  • modal, spatial, and temporal logics;
  • type theory and proof theory;
  • concurrency theory and process calculi;
  • rewriting theory;
  • semantics of programming languages;
  • program analysis, correctness, transformation, and verification;
  • logics of programming;
  • software specification and refinement;
  • models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems;
  • emerging models of computation;
  • logical aspects of computational complexity;
  • models of software security;
  • logical foundations of data bases


Submissions

Important Dates

(No abstract submission deadline)
Paper submission deadline: 15 October 2020 23:59 AoE (=GMT-12)
Rebuttal (ESOP, FoSSaCS and, partially, TACAS): 7 December 00:01 AoE - 9 December 23:59 AoE
Author notification: 23 December 2020
Camera-ready versions: 22 January 2021