The Logic and Computation Group at the Research School of Computer Science, The
Australian National University in Canberra has a number of PhD scholarship
available for bright, enthusiastic doctoral students in the following areas:
- Logic in Computer Science (Ranald Clouston, Rajeev Gore, Dirk
[ Apologize for Multiple Copies ]
Call for Papers
RV 2019
19th International Conference on Runtime Verification
Porto, Portugal
October 8-11, 2019
Abstract deadline: April 25, 2019
Paper and tutorial deadline: April 30, 2019
NEW IN 2019: Benchmark Papers Track
[Apologies for multiple postings]
===
CALL FOR
PAPERS