Difference between revisions of "FOSSACS 2013"

From Openresearch
Jump to navigation Jump to search
(Created page with "{{Event |Acronym=FOSSACS 2013 |Title=International Conference on Foundations of Software Science and Computation |Series=FOSSACS |Type=Conference |Superevent=ETAPS 2013 |Start...")
 
Line 7: Line 7:
 
|Start date=2013/03/16
 
|Start date=2013/03/16
 
|End date=2013/03/24
 
|End date=2013/03/24
 +
|Homepage=https://etaps.org/index.php/2013/fossacs
 
|TibKatId=736579591
 
|TibKatId=736579591
 
|gndId=103370282X
 
|gndId=103370282X
Line 18: Line 19:
  
 
==Topics==
 
==Topics==
 +
*Automata and language theory;
 +
*Behavioural equivalences;
 +
*Categorical models;
 +
*Infinite state systems;
 +
*Modal, spatial, and temporal logics;
 +
*Models of concurrent, reactive, distributed, hybrid, and mobile systems;
 +
*Process algebras and calculi;
 +
*Semantics of programming languages;
 +
*Software specification and refinement;
 +
*Type systems and type theory;
 +
*Fundamentals of security;
 +
*Semi-structured data;
 +
*Program correctness and verification.
 +
 +
 
==Submissions==
 
==Submissions==
 
==Important Dates==
 
==Important Dates==

Revision as of 09:22, 8 December 2021

FOSSACS 2013
International Conference on Foundations of Software Science and Computation
Event in series FOSSACS
Subevent of ETAPS 2013
Dates 2013/03/16 (iCal) - 2013/03/24
Presence presence
Homepage: https://etaps.org/index.php/2013/fossacs
Location
Location: Rome, Italy
Loading map...

Table of Contents



The 16. International Conference on Foundations of Software Science and Computation (FOSSACS) 2013


Topics

  • Automata and language theory;
  • Behavioural equivalences;
  • Categorical models;
  • Infinite state systems;
  • Modal, spatial, and temporal logics;
  • Models of concurrent, reactive, distributed, hybrid, and mobile systems;
  • Process algebras and calculi;
  • Semantics of programming languages;
  • Software specification and refinement;
  • Type systems and type theory;
  • Fundamentals of security;
  • Semi-structured data;
  • Program correctness and verification.


Submissions

Important Dates