The 2019 editions of FroCoS (the 12th International Symposium on Frontiers of
Combining Systems) and TABLEAUX (the 28th International Conference on Automated
Reasoning with Analytic Tableaux and Related Methods), as well as their
affiliated workshops and tutorials will take place in London, at
The Trustworthy Systems group in Australia has an open post doc position at
UNSW, Sydney.
The position is to support the Verified Time Protection project, which is
funded by an ARC Discovery grant. It aims to provably prevent information
leakage through timing channels, by providing principled
