Foundations of Software Science and Computational Structures : 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
Publication Date: 2008
ISBN: 978-3-540-78499-9
Internet Resource: Please Login to download book
The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less than 26%, with each conference below 27%.Congratulations there foretoall the authorswhomadeittothe fnalprogramme! I hope that most of the other authors will still have found a way of participating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference in the area. The events that comprise ETAPS address various aspects of the system velopment process, including specifcation, design, implementation, analysis and improvement
Subject: Computer Science, automata, communication, complexity, computational structures, erasure, footprints, formal methods, lambda calculus, local reasoning, logic, mathematical foundations, model checking, polymorphism, program correctness, programming, Theory of Computation, Logics and Meanings of Programs, Mathematical Logic and Formal, Languages, Computation by Abstract Devices, Programming Languages, Compilers, Interpreters, Software Engineering
