Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Research output: Book/Conference proceeding/Anthology/ReportConference proceedingContributedpeer-review

Contributors

Details

Original languageEnglish
PublisherSpringer, Cham
ISBN (electronic)978-3-319-89366-2
ISBN (print)978-3-319-89365-5
Publication statusPublished - 2018
Peer-reviewedYes

Publication series

SeriesLecture Notes in Computer Science, Volume 10803
ISSN0302-9743

Conference

TitleFoundations of Software Science and Computation Structures - 21st International Conference
SubtitleHeld as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018
Abbreviated titleFOSSACS 2018
Conference number
Duration14 - 20 April 2018
Website
Degree of recognitionInternational event
Location
CityThessaloniki
CountryGreece

External IDs

ORCID /0000-0002-5321-9343/work/142658424

Keywords

Keywords

  • artificial intelligence, computer software selection and evaluation, formal logic, modal logic, petri nets, program compilers, programming language, semantics, separation logic, software engineering, theorem proving, type systems, verification

Library keywords