Event Beta

Formal Methods for an Informal World - ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures

Name: Formal Methods for an Informal World - ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures
Location: Astana

Date: 2021
Place: Astana, Kazakhstan on the map
Series: International Colloquium on Theoretical Aspects of Computing
Academic field: Natural sciences: Computer and information sciences
Identifier: https://id.confref.org/event/e11asjb

Proceedings

Title	DOI	Year	Record
Formal Methods for an Informal World - ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures Lecture Notes in Computer Science 13490	10.1007/978-3-031-43678-9	2023	dblp

Sources

The records of the sources that this identifier brings together (cr:sameAs).

dblp	`https://dblp.org/db/conf/ictac/ictac2021s`

Cite

Formal Methods for an Informal World - ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures. confref identifier e11asjb. https://id.confref.org/event/e11asjb

Data: Turtle · JSON-LD · N-Triples · RDF/XML

APIs · SPARQL · About the identifiers

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.