Technical Program

9:00 - 10:30	Session A: Foundations and Broader Challenges Chair: Dimitris Karagiannis, University of Vienna From Laws to Requirements Alberto Siena, John Mylopoulos, Anna Perini, Angelo Susi Why Eliciting and Managing Legal Requirements Is Hard Nadzeya Kiyavitskaya, Alzbeta Krausova, Nicola Zannone Comparative Analysis between Document-based and Model-based Compliance Management Approaches Sepideh Ghanavati, Daniel Amyot, Liam Peyton
10:30 - 11:00	Coffee Break
11:00 - 12:30	Session B: Formal Methods and Models Chair: Eric Dubois, Henri Tudor Research Institute Supporting Evidence-Based Compliance Evaluation for Partial Business Process Outsourcing Scenarios Philip Miseldine, Ulrich Flegel, Andreas Schaad Requirements and Compliance in Legal Systems: a Logic Approach Luigi Logrippo, Waël Hassan Formal Modeling of Airport Security Regulations using the Focal Environment David Delahaye, Jean-Frédéric Étienne, Véronique Viguié Donzeau-Gouge
12:30 - 2:00P	Lunch
2:00 - 3:30	Session C: Domain-specific Challenges Chair: Luigi Logrippo, University of Quebec - Outaouais Policy and Legal Challenges of Virtual Worlds and Social Network Sites Holger Kienle, Andreas Lober, Hausi Muller A Requirements-based Comparison of Privacy Taxonomies Aaron Massey, Annie Antón Complying with Law for RE in the Automotive Domain Birgit Penzenstadler, Jörg Leuser
3:30 - 4:00	Coffee Break
4:00 - 5:00	Session D: Invited Panel / Working Session Chair: Travis Breaux, North Carolina State University
5:00 - 5:30	Closing Remarks