Difference between revisions of "FOSSACS 2019"

From Openresearch
Jump to navigation Jump to search
(Created page with "{{Event |Acronym=FoSSaCS 2019 |Title=22nd International Conference on Foundations of Software Science and Computation Structures |Series=FOSSACS |Type=Conference |Superevent=E...")
 
Line 1: Line 1:
 
{{Event
 
{{Event
 
|Acronym=FoSSaCS 2019
 
|Acronym=FoSSaCS 2019
|Title=22nd International Conference on Foundations of Software Science and Computation Structures
+
|Title=International Conference on Foundations of Software Science and Computation Structures
 +
|Ordinal=22
 
|Series=FOSSACS
 
|Series=FOSSACS
 
|Type=Conference
 
|Type=Conference
Line 9: Line 10:
 
|Submission deadline=2018/11/16
 
|Submission deadline=2018/11/16
 
|Homepage=https://etaps.org/2019/fossacs
 
|Homepage=https://etaps.org/2019/fossacs
 +
|TibKatId=1778514340
 +
|gndId=1184831246
 +
|DblpConferenceId=fossacs/fossacs2019
 
|City=Prague
 
|City=Prague
 
|Country=Czech Republic
 
|Country=Czech Republic
 +
|presence=presence
 
|has general chair=Jan Kofroň, Jan Vitek
 
|has general chair=Jan Kofroň, Jan Vitek
 
|has program chair=Mikolaj Bojanczyk, Alex Simpson
 
|has program chair=Mikolaj Bojanczyk, Alex Simpson
Line 17: Line 22:
 
|Accepted papers=29
 
|Accepted papers=29
 
}}
 
}}
 +
The 21. International Conference on Foundations of Software Science and Computation Structure (FOSSACS) 2019
 +
 +
 +
==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==

Revision as of 13:19, 9 December 2021

FOSSACS 2019
International Conference on Foundations of Software Science and Computation Structures
Ordinal 22
Event in series FOSSACS
Subevent of ETAPS 2019
Dates 2019/04/08 (iCal) - 2019/04/11
Presence presence
Homepage: https://etaps.org/2019/fossacs
Location
Location: Prague, Czech Republic
Loading map...

Important dates
Submissions: 2018/11/16
Papers: Submitted 85 / Accepted 29 (34.1 %)
Committees
General chairs: Jan Kofroň, Jan Vitek
PC chairs: Mikolaj Bojanczyk, Alex Simpson
Keynote speaker: Thomas Colcombet
Table of Contents



The 21. International Conference on Foundations of Software Science and Computation Structure (FOSSACS) 2019


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