Category: Conference announcement

============================================================================= ** **               Final Call for Papers: FACS 2021 ** **    17th International Conference on Formal Aspects of Component Software ** **                         Virtual Event ** **                  https://facs2021.inria.fr ** ============================================================================= ## OVERVIEW Component-based software development proposes sound engineering principles and techniques to cope with the complexity of present-day software systems. However,…

Continue reading

CALL FOR PARTICIPATION Sixth International Conference on Formal Structures for Computation and Deduction (FSCD 2021) July 17 – July 24, 2021, Buenos Aires, Argentina https://fscd2021.github.io/ In-cooperation with ACM SIGLOG and SIGPLAN The 2021 edition of FSCD and of its satellite workshops will be held online. Participation will, a priori, be…

Continue reading

ABZ 2021 – 8th International Conference on Rigorous State Based Methods is being held Wednesday-Friday 9-11 June 2021 this week online (mainly with Zoom) with free registration. See information under: https://abz2021.uni-ulm.de/

Continue reading