GandALF 2020GandALF2020: Sep 21, 2020 - Sep 22, 2020 in Brussels, BelgiumSubmissions: Jun 13, 2020Notification: Jul 20, 2020Call for PapersPrevious EditionsPrevious PublicationsThe Eleventh International Symposium on Games, Automata, Logics, and Formal Verification will take place on September 21 and 22, 2020.
The aim of GandALF 2020 is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample ... Read MoreIEEE International Workshop on Blockchain and Smart Contracts 2020IEEE BSC 20202020: Dec 11, 2020 - Dec 14, 2020 in Macau, ChinaSubmissions: Jun 15, 2020Notification: Jul 10, 2020Call for PapersPrevious EditionsPrevious PublicationsA Blockchain is a distributed ledger for recording transactions, maintained
by many nodes without central authority through a distributed cryptographic
protocol. Smart contracts on top of a blockchain render transactions traceable,
transparent, and irreversible. It is expected that Blockchain and smart contracts
will play an important r ... Read MoreInternational Workshop on Automated and verifiable Software sYstem DEvelopment 2020ASYDE2020: - in Amsterdam, The NetherlandsSubmissions: Jun 16, 2020Notification: Jun 21, 2020Call for PapersPrevious EditionsPrevious PublicationsDuring the last three decades, automation in software development has gone mainstream. Software development teams strive to automate as much of the software development activities as possible. Automation helps, in fact, to reduce development time and cost, as well as to concentrate knowledge by bringing quality into every step of the developmen ... Read More