2018-annual-report

92
annual report
20
Antonio Faonio:
1. IEEE International Conference on Blockchain
(Blockchain-2018).
Dario Fiore:
1. 22nd International Conference on Financial
Cryptography and Data Security 2018 (FC
2018).
2. 38th International Cryptology Conference
(CRYPTO 2018).
3. 25th ACM Conference on Computer and
Communications Security (ACM CCS 2018).
4. 3rd International Conference on Cryptography
and Information Security (BalkanCrypt-
Sec 2018).
5. III CryptoAction Symposium 2018.
John Gallagher:
1. 14th International Symposium on Functional
and Logic Programming (FLOPS 2018).
2. Sixth International Workshop on Verification
and Program Transformation (VPT 2018).
3. 5th Workshop on Horn Clauses for Verification
and Synthesis (HCVS 2018).
Pierre Ganty:
1. 12th International Conference on Reachability
Problems (RP 18).
Alessandra Gorla:
1. IEEE and ACM International Conference on
Automated Software Engineering (ASE 18).
Alexey Gotsman:
1. Symposium on Principles of Distributed
Computing (PODC’18).
2. International Conference on Distributed
Computing Systems (ICDCS’18).
3. International Colloquium on Automata, Languages,
and Programming (ICALP’18).
Manuel Hermenegildo:
1. 34th International Conference on Logic Programming
(ICLP 2018).
2. International Conference on Compiler Construction
(CC 2018).
Boris Köpf:
1. ACM Conference on Computer and Communication
Security (CCS 2018).
2. Annual Computer Security Applications Conference
(ACSAC 2018)
3. Static Analysis Symposium (SAS 2018).
4. IEEE European Symposium on Security and
Privacy (EuroS&P 2018).
5. Privacy Enhancing Technologies Symposium
(PETS 2018).
José Francisco Morales:
1. Doctoral Consortium (DC) on Logic Programming
(ICLP-DC 2018).
Aleksandar Nanevski:
1. ACM SIGPLAN International Conference of
Functional Programming (ACM ICFP 2018).
2. European Symposium on Programing (ESOP
2018).
Luca Nizzardo:
1. 11th Conference on Security and Cryptography
for Networks (SCN 2018).
César Sánchez:
1. 18th International Conference on Runtime
Verification (RV’18).
2. 16th International Conference on Formal
Modeling and Analysis of Timed Systems
(FORMATS’18).
3. 16th International Conference on Software
Engineering and Formal Methods (SEFM’18).
4. 3rd Workshop on Verification of Objects at
RunTime EXecution (VORTEX’18).
Niki Vazou:
1. 27th European Symposium on Programming
(ESOP 2018).
2. 23rd ACM SIGPLAN International Conference
on Functional Programming (ICFP
2018).
3. Haskell Symposium 2018.
4. Haskell Implementors Workshop 2018.