LOLA PROGRAM COMMITTEE
The program committee of LOLA 2014 is shown below.
- Amal Ahmed (Northeastern Universtiy)
- Jade Alglave (University College London)
- Lennart Beringer (Princeton University)
- Ugo Dal Lago (Università di Bologna)
- Martin Hofmann (LMU Munich) - chair
- Neelakantan Krishnaswami (The University of Birmingham)
- Andrzej Murawski (University of Warwick) - chair
- Francois Pottier (INRIA)
- David van Horn (University of Maryland)
- Steve Zdancewic (University of Pennsylvania)