\documentclass[twoside,english,a4paper,12pt]{article}
%\usepackage{b5}
\RequirePackage[a4paper,top=2cm,left=2cm,right=2cm,bottom=1.5cm,nohead,nofoot]{geometry}
\parindent 0pt
\parskip 0pt
%\parskip 3pt
\usepackage{babel}
\usepackage[latin1]{inputenc}
%\usepackage[utf8]{inputenc}
%\usepackage{fancyvrb}
\usepackage{fancyhdr}
\usepackage{t1enc}
\usepackage{url}
\usepackage{aeguill}
\usepackage{graphicx}
\usepackage{pdfpages}
\usepackage{compact}
%\def\sp{\mbox{}\hspace{8mm}}
\def\sp{}

%% \pagestyle{fancy}
%% \fancyhead[LE,RO]{\small\thepage}
%% \fancyfoot[R,L]{}
%% %\fancyfoot[C]{\today}
%% \fancyfoot[C]{}
%% \renewcommand{\subsectionmark}[1]{\markboth{ \thesubsection.\ #1}{}}
%% \renewcommand{\subsubsectionmark}[1]{\markright{ \thesubsubsection.\ #1}}
%% %\rhead{\nouppercase{\rightmark}}
%% %\lhead{\nouppercase{\leftmark}}
%% \fancyhead[LO]{\nouppercase{\small\rightmark}}
%% \fancyhead[RE]{\nouppercase{\small\leftmark}}
%% %\fancyhead[RE,LO]{}      
\newcommand{\tit}[3]{\noindent\fbox{\begin{minipage}{\textwidth}\begin{center}
{\Huge #1 \\ \huge #2 \\ \large #3\\}
\end{center}\end{minipage}} \mbox{}\\}

\begin{document}

\thispagestyle{empty}
\pagestyle{empty}
\def\thepage{}

\tit{Programme of ACCAT}{Applied and Computational Category Theory}{Sunday, March 25, room: CP2-103}

\subsubsection*{09:00 - 10:15 SESSION 1}

\begin{itemize}
\item Introduction
\item Generalized Sketches - A Universal Pattern for Diagrammatic Specification 
\\ \sp Uwe Wolter 
\item Dynamics and Cohesion in Finite Toposes 
\\ \sp William Lawvere 
\end{itemize}

\subsubsection*{10:15 - 11:00 Coffee Break}
\subsubsection*{11:00 - 12:30 SESSION 2}
\begin{itemize}
\item Normalized Coalgebras for Dynamic Bisimilarity 
\\ \sp Ugo Montanari 
\item Structured Co-spans: Algebraic Modelling of Interaction Protocols 
\\ \sp Jos\'e Fiadeiro 
\item Iterative Algebras 
\\ \sp Jiri Adamek 

\end{itemize}
\subsubsection*{12:30 - 14:00 Lunch}
\subsubsection*{15:00 - 16:00 SESSION 3}
\begin{itemize}
\item A Categorical Model of Computation for Graph Transformation: True Concurrency and Logic 
\\ \sp Reiko Heckel 
\item Adhesive High-Level Replacement Systems with Negative Application Conditions 
\\ \sp Leen Lambers 
\item Composing DPO Transformations with Borrowed Context 
\\ \sp Paolo Baldan 
\item Algebraic High-Level Systems as Weak Adhesive HLR Categories 
\\ \sp Ulrike Prange 

\end{itemize}
\subsubsection*{16:00 - 16:30 Coffee Break}
\subsubsection*{16:30 - 18:00 SESSION 4}
\begin{itemize}
\item Categories in the Design of Aldor 
\\ \sp Stephen Watt 
\item (tba) 
\\ \sp Vladimiro Sassone 
\item (tba) 
\\ \sp Jochen Pfalzgraf 

\end{itemize}

\newpage
\tit{Programme of Bytecode }{Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation}{Saturday, March 31, room: CP2-103}
\subsubsection*{09:00 - 10:30 SESSION 1}

\textbf{Session Chair: Marieke Huisman}

\begin{itemize}
\item Invited Talk: Modular verification of object invariants in Spec\# 
\\ \sp Peter M\"uller (ETH Zurich) 
\item Type Systems for optimising Stack-based Code 
\\ \sp Tarmo Uustalu and Ando Saabas (Tallinn University of Technology, Estonia) 

\end{itemize}
\subsubsection*{10:30 - 11:00 Coffee Break}
\subsubsection*{11:00 - 12:30 SESSION 2}
\begin{itemize}
\item Proving Resource Consumption of Low-level and Programs using Automated Theorem Provers 
\\ \sp Jaroslav Sevcik (University of Edinburgh, UK) 
\item Formal Translation of Bytecode into BoogiePL 
\\ \sp Hermann Lehner and Peter M\"uller (ETH, Zurich, Switzerland) 
\item Bytecode Rewriting in Tom 
\\ \sp Emilie Balland, Pierre-Etienne Moreau and Antoine Reilles (Loria, France) 

\end{itemize}
\subsubsection*{12:30 - 14:00 Lunch}
\subsubsection*{14:00 - 16:00 SESSION 3}
\textbf{Session Chair: Peter M\"uller}

\begin{itemize}
\item Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking 
\\ \sp Jesse McGeachie and Juergen Dingel (Queen's University, Canada) 
\item Practical Assessment of Cost Analysis for Java Bytecode 
\\ \sp Samir Genaim, Puri Arenas, Damiano Zanardini, German Puebla and Elvira Albet (Universidad Polit\'ecnica de Madrid, Universidad Complutense de Madrid, Spain) 
\item MMC: the Mono Model Checker 
\\ \sp Theo Ruys and Niels H.M. Aan de Brugh (University of Twente, The Netherlands) 
\item Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation 
\\ \sp Miguel Gomez-Zamalloa, Elvira Albert and German Puebla (Universidad Polit\'ecnica de Madrid, Universidad Complutense de Madrid, Spain) 

\end{itemize}
\subsubsection*{16:00 - 16:30 Coffee Break}
\subsubsection*{16:30 - 17:30 SESSION 4}
\textbf{Session Chair: Fausto Spoto}

\begin{itemize}
\item Computing SSA Form with Matrices 
\\ \sp Quan Nguyen and Bernhard Scholz (University of New South Wales, University of Sydney, Australia) 
\item An Efficient, Parametric Fixpoint Algorithm for Incremental Analysis of Java Bytecode 
\\ \sp Mario M\'endez, Jorge Navas and Manuel Hermenegildo (University of New Mexico, USA) 

\end{itemize}

\newpage
\tit{Programme of COCV }{Compiler Optimization meets Compiler Verification}{Sunday, March 25, room: CP2-108}

\subsubsection*{09:00 - 10:30 SESSION 1}
\textbf{Opening}

\begin{itemize}
\item Jens Knoop, Vienna University of Technology 
\end{itemize}

\textbf{Invited Talk}

\begin{itemize}
\item High-Level vs. RTL Equivalence Checking: Why the Next Big Success of Formal Verification Needs COCV 
\\ \sp Alan Hu, University of British Columbia, Canada 

\end{itemize}

\subsubsection*{10:30 - 11:00 Coffee Break}
\subsubsection*{11:00 - 12:00 SESSION 2}
\begin{itemize}
\item Specify, Compile, Run: Hardware from PSL 
\\ \sp Bloem, Galler, Jobstmann, Piterman, Pnueli, Weiglhofer (Graz University of Technology, Austria; EPFL Lausanne, Switzerland; Weizmann Institute, Israel) 

\end{itemize}
\subsubsection*{12:30 - 14:00 Lunch}
\subsubsection*{14:00 - 16:00 SESSION 3}
\begin{itemize}
\item Distilling Programs for Verification 
\\ \sp Geoff Hamilton (Dublin City University, Ireland) 
\item On-the-Fly Data Flow Analysis based on Verification Technology 
\\ \sp Mar\`ia del Mar Gallardo, Christophe Joubert and Pedro Merino (University of M\'alaga, Spain) 

\end{itemize}
\subsubsection*{16:00 - 16:30 Coffee Break}
\subsubsection*{16:30 - 18:00 SESSION 4}
\begin{itemize}
\item Generating Java Compiler Optimizers Using Bidirectional CTL 
\\ \sp Ling Fang and Masataka Sassa (Tokyo Institute of Technology, Japan) 
\item A Certifying Code Generation Phase 
\\ \sp Jan Olaf Blech and Arnd Poetzsch-Heffter (University of Kaiserslautern, Germany) 

\end{itemize}
\subsubsection*{16:30 - 18:00 Closure}

\newpage
\tit{Programme of FESCA }{Formal Foundations of Embedded Software and Component-Based Software Architectures}{Saturday, March 24, room: CP2-108}
\subsubsection*{09:00 - 10:30 SESSION 1}
\begin{description}
\item[Introductory Remarks ]\item[Invited Talk ]\

\begin{itemize}
\item SENSORIA: Semantic-based Development of Service-Oriented Systems 
\\ \sp Martin Wirsing (LMU) 
\end{itemize}

\end{description}
\subsubsection*{10:30 - 11:00 Coffee Break}
\subsubsection*{11:00 - 12:30 SESSION 2}
\begin{description}
\item[Formal models for component-based assembly ]\

\begin{itemize}
\item A True-Concurrent Interpretation of Behavioural Scenarios 
\\ \sp Sotiris Moschoyiannis, Paul Krause and Michael Shields 
\item Trustworthy interface compliancy: data model adaptation using B refinement 
\\ \sp Samuel Colin, Arnaud Lanoix, Jeanine Souquieres 
\item Towards Component Verification in the Generic Component Framework 
\\ \sp Julia Padberg, Hartmut Ehrig, Fernando Orejas 

\end{itemize}
\end{description}
\subsubsection*{12:30 - 14:00 Lunch}
\subsubsection*{14:00 - 16:00 SESSION 3}
\begin{description}
\item[Behavioural models ]\

\begin{itemize}
\item DeSpec: Modeling the Windows Driver Environment 
\\ \sp Tomas Matousek and Pavel Jezek 
\item WCET Analysis of Data Dependent, Component Oriented, Embedded Software Systems 
\\ \sp Peter Szulman 
\item Composing Modal Properties of Programs with Procedures 
\\ \sp Marieke Huisman, Dilian Gurov 

\end{itemize}
\end{description}
\subsubsection*{16:00 - 16:30 Coffee Break}
\subsubsection*{16:30 - 17:30 SESSION 4}
\begin{description}
\item[Contractual runtime verification ]\

\begin{itemize}
\item A Formal Semantics for a Quality of Service Contract Language 
\\ \sp Fabricio Chalub, Alexandre Sztajnberg 
\item Executable Contracts for Incremental Prototypes of Embedded Systems 
\\ \sp Lionel Morel and Louis Mandel 

\end{itemize}
\end{description}
\subsubsection*{17:30 Concluding Remarks}


\newpage
\tit{Programme of FinCo }{Foundations of Interactive Computation}{Saturday, March 31, room: CP2-106}
\subsubsection*{09:00 - 10:30 SESSION 1}
\begin{description}
\item[Welcome ]\item[Invited Talk ]\

\begin{itemize}
\item Event-driven Design in Practice and Theory 
\\ \sp Bertrand Meyer, ETH Zurich and Eiffel Software 

\end{itemize}
\end{description}
\subsubsection*{10:30 - 11:00 Coffee Break}
\subsubsection*{11:00 - 12:30 SESSION 2}
\begin{description}
\item[Specification and Analysis of Interactive Agents ]\

\begin{itemize}
\item A Formal Framework for Interactive Agents 
\\ \sp Carolyn L. Talcott (SRI International, USA) 
\item Observable Behavior of Dynamic Systems: Component-Based Reasoning for Concurrent Objects 
\\ \sp Johan Dovland, Einar Broch Johnsen, and Olaf Owe (Univ. Oslo, Norway) 

\end{itemize}
\end{description}
\subsubsection*{12:30 - 14:00 Lunch}
\subsubsection*{14:00 - 16:00 SESSION 3}
\begin{description}
\item[Modeling Interaction ]\

\begin{itemize}
\item Interaction in Time and Space 
\\ \sp Gabriel Ciobanu (A.I.Cusa Univ., Romania) 
\item Validating for Liveness in Hidden Adversary Systems 
\\ \sp Saikat Mukherjee, Srinath Srinivasa, and SatishChandra D. (IIIT Bangalore, India) 
\item AGAPIA v0.1: A Programming Language for Interactive Systems and its Typing System 
\\ \sp Cezara Dragoi and Gheorghe Stefanescu (Univ. Bucharest, Romania) 

\end{itemize}
\end{description}
\subsubsection*{16:00 - 16:30 Coffee Break}
\subsubsection*{16:30 - 18:30 SESSION 4}
\begin{description}
\item[Programming Languages for Interactive Computing ]\

\begin{itemize}
\item Programming Languages for Interactive Computing 
\\ \sp Roly Perera 
\end{itemize}
\item[Panel Discussion ]\

\begin{itemize}
\item Models and Languages for Interactive Systems 
\\ \sp all speakers 
\end{itemize}
\item[Closing ]\

\begin{itemize}
\item Dina Goldin (Brown University, USA) 
\end{itemize}

\end{description}
\newpage
\tit{Programme of GT-VMT }{Sixth International Workshop on Graph Transformation and Visual Modeling Techniques}{Saturday, March 31, room: CP2-101}
\subsubsection*{09:00 - 10:30 SESSION 1}
\begin{description}
\item[Opening ]\item[Invited Talk ]\

\begin{itemize}
\item Membrane Computing [and Graph Transformation]
\\ \sp Gheorghe Paun (Romanian Academy and Sevilla University, Spain) 
\end{itemize}

\end{description}
\subsubsection*{10:30 - 11:00 Coffee Break}
\subsubsection*{11:00 - 12:30 SESSION 2}
\begin{description}
\item[Verification and Model Transformation ]\

\begin{itemize}
\item Rule-Level Verification of Business Process Transformations using CSP 
\\ \sp D\'enes Bisztray, Reiko Heckel 
\item Bisimulation Verification for the DPO Approach with Borrowed Contexts 
\\ \sp Guilherme Rangel, Barbara K\"onig, Hartmut Ehrig 
\item Transforming Collaborative Service Specifications into Efficiently Executable State Machines 
\\ \sp Frank Alexander Kraemer, Peter Herrmann 
\end{itemize}

\end{description}
\subsubsection*{12:30 - 14:15 Lunch}
\subsubsection*{14:15 - 16:00 SESSION 3}
\begin{description}
\item[Pattern Matching ]\

\begin{itemize}
\item Ensuring Containment Constraints in Graph-based Model Transformation Approaches (Short Talk) 
\\ \sp Christian K\"ohler, Holger Lewin, Gabriele Taentzer 
\item Generic Search Plans for Matching Advanced Graph Patterns 
\\ \sp \'Akos Horv\'ath, Gergely Varr\'o, D\'aniel Varr\'o 
\item A Query Language With the Star Operator 
\\ \sp Johan Lindqvist, Torbj\"orn Lundkvist, Ivan Porres 
\item Triple Patterns: Compact Specifications for the Generation of Operational Triple Graph Grammar Rules 
\\ \sp Juan de Lara, Esther Guerra, Paolo Bottoni 

\end{itemize}
\end{description}
\subsubsection*{16:00 - 16:30 Coffee Break}
\subsubsection*{16:30 - 18:00 SESSION 4}
\begin{description}
\item[Graph Transformation Language Operations ]\

\begin{itemize}
\item A Subgraph Operator for Graph Transformation Languages 
\\ \sp Daniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Feng Shi, Ryan Thibodeaux, Gabor Karsai 
\item Adding Recursion to Graph Transformation 
\\ \sp Esther Guerra, Juan de Lara 
\item Visual Programming with Recursion Patterns in Interaction Nets 
\\ \sp Ian Mackie, Jorge Sousa Pinto, Miguel Vila\c{c}a 
\item Simulating Multi-graph Transformations Using Simple Graphs (Short Talk) 
\\ \sp Frank Hermann, Harmen Kastenberg, Iovka Boneva, Arend Rensink 

\end{itemize}
\end{description}

\subsubsection*{Sunday, April 1, room: CP2-101}

\subsubsection*{09:00 - 10:30 SESSION 1}
\begin{description}
\item[Invited Talk ]\item (to be announced)  

\end{description}
\subsubsection*{10:30 - 11:00 Coffee Breaks}
\subsubsection*{11:00 - 12:30 SESSION 2}
\begin{description}
\item[Application of Graph Transformations ]\

\begin{itemize}
\item Evaluating Workflow Definition Language Revisions with Graph-Based Tools 
\\ \sp Ren\'e W\"orzberger, Markus Heller, Frank H\"a"sler 
\item Graph Based Engineering Systems - A Family Of Software Applications And their Underlying Framewor (Short Talk) 
\\ \sp Gregor Wrobel, Ralf-Erik Ebert, Matthias Ple"sow 
\item Imposing Hierarchy on a Graph (Short Talk) 
\\ \sp Brendan Sheehan, Benoit Gaudin, Aaron Quigley 
\item The Jury is still out: A Comparison of AGG, Fujaba, and PROGRES (Short Talk) 
\\ \sp Ulrike Ranger, Christian Fu"s, Christof Mosler, Erhard Schultchen 

\end{itemize}
\end{description}
\subsubsection*{12:30 - 14:15 Lunch}
\subsubsection*{14:15 - 16:00 SESSION 3}
\begin{description}
\item[Working Groups ]\

\begin{itemize}
\item Building of Working Groups 
\item Discussion in Working Groups 
\item General Discussion of the Results 
\end{itemize}
\item[Closing ]
\end{description}

\newpage
\tit{Programme of HAV}{Heap Analysis and Verification}{Sunday, March 25, room: CP2-104}

\subsubsection*{09:00 - 10:30 SESSION 1}
\begin{itemize}
\item Footprint Analysis: A Shape Analysis that Discovers Preconditions (Invited Lecture) 
\\ \sp Hongseok Yang 
\item Proof Systems for Inductive Reasoning in the Logic of Bunched Implications 
\\ \sp James Brotherston 

\end{itemize}
\subsubsection*{10:30 - 11:00 Coffee Break}
\subsubsection*{11:00 - 12:30 SESSION 2}
\begin{itemize}
\item A Logic of Reachable Patterns (Invited Lecture) 
\\ \sp Greta Yorsh 
\item Verifying Complex Properties using Symbolic Shape Analysis 
\\ \sp Thomas Wies, Viktor Kuncak, Karen Zee, Martin Rinard and Andreas Podelski 

\end{itemize}
\subsubsection*{12:30 - 14:00 Lunch}
\subsubsection*{14:00 - 16:00 SESSION 3}
\begin{itemize}
\item Alias Control with Universe Types (Invited Lecture) 
\\ \sp Peter M\"uller 
\item Inferring Local (Non-)Aliasing and Strings for Memory Safety 
\\ \sp Yannick Moy and Claude March\'e 
\item Reasoning about Sequences of Memory States 
\\ \sp Brochenin R\'emi, Demri St\'ephane and Lozes \'Etienne 

\end{itemize}
\subsubsection*{16:00 - 16:30 Coffee Break}
\subsubsection*{16:30 - 18:00 SESSION 4}
\begin{itemize}
\item Liveness of Heap Data for Functional Programs 
\\ \sp Amey Karkare, Uday Khedker and Amitabha Sanyal 
\item Separation Analysis for Deductive Verification 
\\ \sp Thierry Hubert and Claude March\'e 
\item Verifying Concurrent List-Manipulating Programs by LTL Model Checking 
\\ \sp Stefan Rieger, Thomas Noll and Joost-Pieter Katoen 
\item Towards Regional Logic (Invited Lecture) 
\\ \sp David Naumann 

\end{itemize}
\newpage
\tit{Programme of HFL }{Hardware design using Functional Languages}{Saturday, March 24, room: CP2-110}
\subsubsection*{09:00 - 10:30 SESSION 1}
\begin{itemize}
\item Introducing Scheduling Primitives and Derived Interfaces in Bluespec 
\\ \sp Arvind, Nirav Dave, and Michael Pellauer (MIT) 
\item Declarative Programming Techniques for Many-Core Architectures 
\\ \sp Satnam Singh (Microsoft Research Cambridge) 

\end{itemize}
\subsubsection*{10:30 - 11:00 Coffee Break}
\subsubsection*{11:00 - 12:30 SESSION 2}
\begin{itemize}
\item Searching for prefix networks to fit in a context using a lazy functional programming language 
\\ \sp Mary Sheeran (Chalmers) 
\item The E Language 
\\ \sp Robert S. Boyer and Warren A. Hunt, Jr. (University of Texas) 

\end{itemize}
\subsubsection*{12:30 - 14:30 Lunch and time for discussion}
\subsubsection*{14:30 - 16:00 SESSION 3}
\begin{itemize}
\item A framework for designing hardware in Ocaml 
\\ \sp Andrew K. Martin and Ahmed Gheith (IBM) 
\item High-Level Micro-Architectural Transformations and Cycle-Accurate High-Level Models 
\\ \sp Carl-Johan H. Seger (Intel) 

\end{itemize}
\subsubsection*{16:00 - 16:30 Coffee Break}
\subsubsection*{16:30 - 18:00 SESSION 4}
\begin{itemize}
\item Functional Programming for Hardware Definition, Verification and Modelling 
\\ \sp Nathan Chong and Samin Ishtiaq (ARM) 
\item Program Transformation for Functional Circuit Descriptions 
\\ \sp Manfred Schmidt-Schau"s and David Sabel (Johann Wolfgang Goethe-Universit"st) 

\end{itemize}

\subsubsection*{Sunday, March 25, room: CP2-110}

\subsubsection*{09:00 - 10:30 SESSION 1}
\begin{itemize}
\item Embedded Hardware Description Languages: Exploring the Design Space 
\\ \sp Koen Claessen (Chalmers) and Gordon Pace (University of Malta) 
\item Lightweight Relational Programming for Wired 
\\ \sp Matthew Naylor (University of York), Emil Axelsson (Chalmers), and Colin Runciman (University of York) 

\end{itemize}
\subsubsection*{10:30 - 11:45 Coffee Break and Demos}
\subsubsection*{11:45 - 12:30 SESSION 2}
\begin{itemize}
\item Towards Automatically Compiling Efficient FPGA Hardware 
\\ \sp Jean Baptiste Note and Jean Vuillemin (Ecole Normale Sup\'erieure Paris) 

\end{itemize}
\subsubsection*{12:30 - 14:30 Lunch and time for discussion}
\subsubsection*{14:30 - 16:00 SESSION 3}
\begin{itemize}
\item Design Principles for Hardware Description 
\\ \sp Tim Sheard (Portland State University) 
\item Hardware descriptions as two-level computations 
\\ \sp Walid Taha, Yousra Alkabani, Cherif Andraos, Jennifer Gillenwater, Gregory Malecha and Angela Yun Zhu (Rice University) and Jim Grundy and John O'Leary (Intel) 

\end{itemize}
\subsubsection*{15:15 - 16:30 Coffee, demos, planning of next workshop}
\newpage
\tit{Programme of LDTA }{Seventh Workshop on Language Descriptions, Tools and Applications}{Sunday, March 25, room: CP2-111}

\subsubsection*{09:00 - 10:30 SESSION 1}
\begin{description}
\item[Welcome and Introduction ]\item[Invited Talk ]\

\begin{itemize}
\item Collaboration-Based Composition of Languages 
\\ \sp Uwe A"smann 
\end{itemize}
\item[Research Talk ]\

\begin{itemize}
\item Language Parametric Module Management 
\\ \sp Paul Klint, Taeke Kooiker, Jurgen Vinju 
\end{itemize}

\end{description}
\subsubsection*{10:30 - 11:00 Coffee Break}
\subsubsection*{11:00 - 12:30 SESSION 2}
\begin{description}
\item[Research Talk ]\

\begin{itemize}
\item Fusing a Transformation Language with an Open Compiler 
\\ \sp Karl Trygve Kalleberg, Eelco Visser 
\end{itemize}
\item[Experience Report ]\

\begin{itemize}
\item Implementing a Domain-Specific Language using Stratego/XT 
\\ \sp Leonard Hamey, Shirley Goldrei 
\end{itemize}
\item[Tool Demonstration ]\

\begin{itemize}
\item Spoofax: An Interactive Development Environment for Program Transformation with Stratego/XT 
\\ \sp Karl Trygve Kalleberg, Eelco Visser 
\end{itemize}

\end{description}
\subsubsection*{12:30 - 14:00 Lunch}
\subsubsection*{14:00 - 16:00 SESSION 3}
\begin{description}
\item[Research Talk ]\

\begin{itemize}
\item SPPF-Style Parsing From Earley Recognisers 
\\ \sp Elizabeth Scott 
\end{itemize}
\item[Experience Report ]\

\begin{itemize}
\item An Experimental Ambiguity Detection Tool 
\\ \sp Sylvain Schmitz 
\end{itemize}
\item[Research Talk ]\

\begin{itemize}
\item Grammar Engineering Support for Precedence Rule Recovery and Compatibility Checking 
\\ \sp Eric Bouwers, Martin Bravenboer, Eelco Visser 
\end{itemize}
\item[Tool Demonstration ]\

\begin{itemize}
\item SdfMetz: Extraction of Metrics and Graphs From Syntax Definitions 
\\ \sp Tiago Alves, Joost Visser 
\end{itemize}

\end{description}
\subsubsection*{16:00 - 16:30 Coffee Break}
\subsubsection*{16:30 - 18:15 SESSION 4}
\begin{description}
\item[Research Talk ]\

\begin{itemize}
\item Silver: an Extensible Attribute Grammar System 
\\ \sp Eric Van Wyk, Derek Bodin, Jimin Gao, Lijesh Krishnan 
\end{itemize}
\item[Experience Report ]\

\begin{itemize}
\item Development of a Modelica Compiler using JastAdd 
\\ \sp Johan {\AA}kesson, Torbj\"orn Ekman, G\"orel Hedin 
\end{itemize}
\item[Tool Demonstration ]\

\begin{itemize}
\item A Domain-Specific Language Debugging Framework Demonstration 
\\ \sp Hui Wu, Jeff Gray, Marjan Mernik 
\end{itemize}
\item[Discussion and Closing ]
\end{description}
\newpage
\tit{Programme of MOMPES }{4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software}{Saturday, March 31, room: CP2-108}
\subsubsection*{09:00 - 10:00 SESSION 1}
\begin{description}
\item[Opening and Welcome Session ]\item[Invited Talk ]\

\begin{itemize}
\item On the Applicability Scope of Model Driven Engineering 
\\ \sp Jean B\'ezivin 
\end{itemize}

\end{description}
\subsubsection*{10:00 - 10:40 SESSION 2}
\begin{description}
\item[Pervasive Systems ]\

\begin{itemize}
\item Towards a Model-Driven Approach for Ontology-Based Context-Aware Application Development: A Case Study 
\\ \sp Nektarios Georgalas, Shumao Ou, Manooch Azmoodeh, Kun Yang 
\item Tool Support for Model Driven Development of Pervasive Systems 
\\ \sp Carlos Cetina, Estefan\'{\i}a Serral, Javier Mu\~noz, Vicente Pelechano 
\end{itemize}

\end{description}
\subsubsection*{10:40 - 11:00 Coffee Break}
\subsubsection*{11:00 - 11:40 SESSION 3}
\begin{description}
\item[Modelling Approaches ]\

\begin{itemize}
\item A Generic Execution Framework for Models of Computation 
\\ \sp C\'ecile Hardebolle, Fr\'ed\'eric Boulanger, Dominique Marcadet, Guy Vidal-Naquet 
\item UML Profile for eXtreme Modeling Interactive Systems 
\\ \sp Alberto Rodrigues da Silva, Jo\~ao Saraiva, Rui Silva, Carlos Martins 
\end{itemize}

\end{description}
\subsubsection*{11:40 - 12:20 SESSION 4}
\begin{description}
\item[Formal Approaches (Chair: Ridha Khedri) ]\

\begin{itemize}
\item Model-Driven Consistency Checking of Behavioural Specifications 
\\ \sp Bas Graaf, Arie van Deursen 
\item Challenges when using Model Driven Architecture in the Development of Safety Critical Software 
\\ \sp Philippa Conmy, Richard F. Paige 
\end{itemize}

\end{description}
\subsubsection*{12:30 - 14:30 Lunch}
\subsubsection*{14:30 - 15:15 SESSION 5}
\begin{description}
\item[Invited Talk ]\

\begin{itemize}
\item Executable Use Cases: a Supplement to Model-Driven Development? 
\\ \sp Jens B. J{\o}rgensen 
\end{itemize}

\end{description}
\subsubsection*{15:15 - 15:55 SESSION 6}
\begin{description}
\item[Software Product Lines ]\

\begin{itemize}
\item Adopting Computational Independent Models for Derivation of Architectural Requirements of Software Product Lines 
\\ \sp Alexandre Bragan\c{c}a, Ricardo J. Machado 
\item Model-driven Development of Particle System Families 
\\ \sp Michalis Anastasopoulos, Andr\'as Balogh 
\end{itemize}

\end{description}
\subsubsection*{15:55 - 16:15 Coffee Break}
\subsubsection*{16:15 - 16:55 SESSION 7}
\begin{description}
\item[Session on Embedded Systems (Chair: Lu\'{\i}s Gomes) ]\

\begin{itemize}
\item ModES: Embedded Systems Design Methodology and Tools based on MDE 
\\ \sp Francisco Assis M. do Nascimento, M\&aacutercio F. S. Oliveira, Fl\'avio Rech Wagner 
\item Designing a Unified Process for Embedded Systems 
\\ \sp Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio 
\end{itemize}

\end{description}
\subsubsection*{16:55 - 17:10 Closing Session}
\newpage
\tit{Programme of OpenCert }{Foundations and Techniques for Open Source Software Certification}{Saturday, March 31, room: CP2-110}
\subsubsection*{09:00 - 10:30 SESSION 1}
\begin{itemize}
\item Aspects of OSS Certification 
\\ \sp B. Aichernig, TU Graz, Austria 
\item Towards a Quality Model for OSS 
\\ \sp S.A. Shaikh \& A. Cerone, UNU-IIST, Macao 

\end{itemize}
\subsubsection*{10:30 - 11:00 Coffee Break}
\subsubsection*{11:00 - 12:30 SESSION 2}
\begin{itemize}
\item A System to Understand Programs Written in C Language by Code Annotation 
\\ \sp M. Beron, B. Henriques, Univ. of Minho; M. Varanda, Polytechnic Inst. Braganca, Portugal; R. Uzal, Univ. of San Luis, Argentina 
\item Slicing Techniques and Program Calculi in OSS Certification 
\\ \sp N. Rodrigues, L. Barbosa, J.N. Oliveira Univ. Minho, Portugal 

\end{itemize}
\subsubsection*{12:30 - 14:00 Lunch}
\subsubsection*{14:00 - 15:30 SESSION 3}
\begin{itemize}
\item Linux Certification 
\\ \sp A.K. Petrenko, ISPRAS, Russia 
\item OSS Operating Systems for Critical Avionics Infrastructure: A survey on quality and security certification 
\\ \sp D. von Oheimb, Siemens, Germany 

\end{itemize}
\subsubsection*{15:30 - 16:00 Coffee Break}
\subsubsection*{16:00 - 18:30 SESSION 4}
\begin{itemize}
\item Position Talk on the OSS Certification Process 
\\ \sp P.T. Breuer \& S. Pickin, Univ. Carlos III Madrid, Spain 
\item A Perspective on OSS Certification 
\\ \sp J. Visser, SIG, The Netherlands 
\item Short Position Statements and Discussion 

\end{itemize}
\newpage
\tit{Programme of QAPL }{Fifth Workshop on Quantitative Aspects of Programming Languages}{Saturday, March 24, room: CP2-105}
\subsubsection*{10:55 - 12:30 SESSION 1}
\begin{description}
\item[Welcome ]\item[Invited Talk ]\

\begin{itemize}
\item Nondeterminism in Quantitative Analysis of Probabilistic Systems 
\\ \sp Roberto Segala (University of Verona, Italy) 
\end{itemize}
\item[Paper Presentation: ]\

\begin{itemize}
\item Keeping Secrets in Resource Aware Components 
\\ \sp Tom Chothia (CWI, The Netherlands), Jun Pang (University of Oldenburg, Germany) and Mohammad Torabi Dashti (CWI, The Netherlands) 
\end{itemize}

\end{description}
\subsubsection*{12:30 - 14:30 Lunch}
\subsubsection*{14:30 - 16:00 SESSION 2}
\begin{description}
\item[Invited Talk ]\

\begin{itemize}
\item Artificial Biochemistry 
\\ \sp Luca Cardelli (Microsoft Research, UK) 
\end{itemize}
\item[Paper Presentation: ]\

\begin{itemize}
\item Stochastic Concurrent Constraint Programming and Differential Equations 
\\ \sp Luca Bortolussi (University of Trieste, Italy) and Alberto Policriti (University of Udine, Italy) 
\end{itemize}

\end{description}
\subsubsection*{16:00 - 16:30 Coffee Break}
\subsubsection*{16:30 - 18:00 SESSION 3}
\begin{description}
\item[Paper Presentations: ]\

\begin{itemize}
\item On Probabilistic Techniques for Data Flow Analysis 
\\ \sp Alessandra Di Pierro, Chris Hankin and Herbert Wiklicky (Imperial College London, UK) 
\item Probabilistic Pi-Calculus and Event Structures 
\\ \sp Daniele Varacca (University of Paris 7, France) and Nobuko Yoshida (Imperial College London, UK) 
\item Probabilistic Barbed Congruence 
\\ \sp Yuxin Deng (Shanghai Jiao Tong University, China) and Wenjie Du (Shanghai Normal University, China) 
\end{itemize}

\end{description}


\subsubsection*{Sunday, March 25, room: CP2-105}

\subsubsection*{09:30 - 10:30 SESSION 1}
\begin{description}
\item[Invited Talk ]\

\begin{itemize}
\item Approximate Reasoning for Time and Probabilities 
\\ \sp Radha Jagadeesan (DePaul University, USA) 
\end{itemize}

\end{description}
\subsubsection*{10:30 - 11:00 Coffee Break}
\subsubsection*{11:00 - 12:30 SESSION 2}
\begin{description}
\item[Paper Presentations: ]\

\begin{itemize}
\item Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming 
\\ \sp Stefano Bistarelli (University of Pescara, Italy), Ugo Montanari (University of Pisa, Italy), Francesca Rossi (University of Padova, Italy) and Francesco Santini (IMT Lucca, Italy) 
\item Exogenous Probabilistic Computation Tree Logic 
\\ \sp Pedro Baltazar, Paulo Mateus (University of Lisbon, Portugal), Rajagopal Nagarajan and Nikolaos Papanikolaou (University of Warwick, UK) 
\end{itemize}

\end{description}
\subsubsection*{12:30 - 14:30 Lunch}
\subsubsection*{14:30 - 16:00 SESSION 3}
\begin{description}
\item[Paper Presentations: ]\

\begin{itemize}
\item Stochastic Modelling of Communication Protocols from Source Code 
\\ \sp Michael Smith (University of Edinburgh, UK) 
\item PEPA Queues: Capturing customer behaviour in queueing networks 
\\ \sp Ashok Argent-Katwala and Jeremy Bradley (Imperial College London, UK) 
\item A structural approach for modelling performance of systems using skeletons 
\\ \sp Gagarine Yaikhom, Murray Cole, Stephen Gilmore and Jane Hillston (University of Edinburgh, UK) 
\end{itemize}

\end{description}
\subsubsection*{16:00 - 16:30 Coffee Break}
\subsubsection*{16:30 - 17:30 SESSION 4}
\begin{description}
\item[Short Paper Presentations: ]\

\begin{itemize}
\item Distributed Liveness and Timers for Mobile Processes 
\\ \sp Martin Berger and Nobuko Yoshida (Imperial College London, UK) 
\item Stochastic Ambient Logic 
\\ \sp Maria Grazia Vigliotti (Imperial College London, UK) 
\end{itemize}

\end{description}
\subsubsection*{17:30 Steering Committee Meeting}
\newpage
\tit{Programme of SC }{Workshop on Software Composition}{Saturday, March 24, room: CP2-101}
\subsubsection*{09:00 - 10:30 SESSION 1}
\begin{description}
\item[Welcome ]\item[Invited Talk ]\

\begin{itemize}
\item Composition by Anonymous Third Parties 
\\ \sp Farhad Arbab (CWI and Leiden University, NL) 
\end{itemize}

\end{description}
\subsubsection*{10:30 - 11:00 Coffee Break}
\subsubsection*{11:00 - 12:30 SESSION 2}
\begin{description}
\item[Composition Contracts ]\

\begin{itemize}
\item Defining Component Protocols with Service Composition: Illustration with the Kmelia Model 
\\ \sp Pascal Andr\'e, Gilles Ardourel, and Christian Attiogb\'e (University Of Nantes, F) 
\item Composite Contract Enforcement in Hierarchical Component Systems 
\\ \sp Philippe Collet (University of Nice, F), Jacques Malenfant (University Paris 6, F), Alain Ozanne, and Nicolas Rivierre (France Telecom R\&D, F) 
\item Towards a Unifying Theory for Choreography Conformance and Contract Compliance 
\\ \sp Mario Bravetti and Gianluigi Zavattaro (University of Bologna, I) 
\end{itemize}

\end{description}
\subsubsection*{12:30 - 14:00 Lunch}
\subsubsection*{14:00 - 16:00 SESSION 3}
\begin{description}
\item[Composition Design \& Analysis ]\

\begin{itemize}
\item A Process-Algebraic Approach to Workflow Specification and Refinement 
\\ \sp Peter Wong and Jeremy Gibbons (University of Oxford, UK) 
\item Generic Feature-Based Software Composition 
\\ \sp Tijs Van der Storm (CWI, NL) 
\item Composition Management Interfaces for a predictable assembly 
\\ \sp Xabier Aretxandieta, Goiuria Sagardui (University of Mondragon, E), and Franck Barbier (Pau University, F)\} 
\item Error propagation analysis in composition of software services 
\\ \sp Vittorio Cortellessa (Universita' dell'Aquila, I) and Pasqualina Potena (Universit\'a ``G. D'Annunzio'', I) 
\end{itemize}

\end{description}
\subsubsection*{16:00 - 16:30 Coffee Break}
\subsubsection*{16:30 - 18:00 SESSION 4}
\begin{description}
\item[Dynamic Composition ]\

\begin{itemize}
\item Dynamically Adaptable Applications with iPOJO Service Components 
\\ \sp Clement Escoffier and Richard Hall (Grenoble University, F) 
\item Dynamic Contextual Service Ranking 
\\ \sp Andre Bottaro (France Telecom, F) and Richard Hall (Grenoble University, F) 
\item A Rapid Adaptive Algorithm for Finding Replacement Service Locally during Dynamic Service Composition 
\\ \sp Xingzhi Feng, Quanyuan Wu, Yan Jia, Bin Zhou, and Yi Ren (National University of Defense Technology, China) 
\end{itemize}

\end{description}


\subsubsection*{Sunday, March 25, room: CP2-101}

\subsubsection*{09:30 - 10:30 SESSION 1}
\begin{description}
\item[Short Papers ]\

\begin{itemize}
\item Measuring Reactability of Persistent Computing Systems 
\\ \sp Takumi Endo, Yuichi Goto, and Jingde Cheng (Saitama University, Japan) 
\item Requirements for applying aspect-oriented techniques in webservice composition languages 
\\ \sp Mathieu Braem and Niels Joncheere (Vrije Universiteit Brussel, B) 
\item Synthesizing Communication Middleware from Explicit Connectors in Component Based Distributed Architectures 
\\ \sp Dietmar Schreiner and Karl G\"oschka (Vienna University of Technology, A) 
\item Streamlining Feature-Oriented Designs 
\\ \sp Martin Kuhlemann, Sven Apel, and Thomas Leich (University of Magdeburg, D) 
\item Requirements for Reusable Aspect Deployment 
\\ \sp Bruno De Fraine and Mathieu Braem (Vrije Universiteit Brussel, B) 
\end{itemize}

\end{description}
\subsubsection*{10:30 - 11:00 Coffee Break}
\subsubsection*{11:00 - 12:30 SESSION 2}
\begin{description}
\item[Aspect-Oriented Programming ]\

\begin{itemize}
\item Aspect-Oriented Programming: Selecting and Exposing Object Paths 
\\ \sp Mohammed Al-Mansari, Stefan Hanenberg, and Rainer Unland (University of Duisburg-Essen, D) 
\item Debugging Aspect-Enabled Programs 
\\ \sp Marc Eaddy, Alfred Aho (Columbia University, USA), Weiping Hu, Paddy McDonald, and Julian Burger (Microsoft Corporation, USA) 
\item Unification of Static and Dynamic AOP for Evolution in Embedded Software Systems 
\\ \sp Wasif Gilani and Fabian Scheler (Erlangen University, D) 
\end{itemize}

\end{description}
\subsubsection*{12:30 - 14:00 Lunch}
\subsubsection*{14:00 - 16:00 SESSION 3}
\begin{description}
\item[Structural Composition ]\

\begin{itemize}
\item Patterns of Component Evolution 
\\ \sp Rajesh Vasa (Swinburne University of Technology, AUS), Markus Lumpe (Iowa State University, USA), and Jean-Guy Schneider (Swinburne University of Technology, AUS) 
\item An Approach for Structural Pattern Composition 
\\ \sp Imed Hammouda and Kai Koskimies (Tampere University of Technology, FI) 
\item Composite Connectors for Composing Software Components 
\\ \sp Kung-Kiu Lau, Ling Ling, Vladyslav Ukis, and Perla Velasco (The University of Manchester, UK) 
\end{itemize}

\end{description}
\subsubsection*{16:00 - 16:30 Coffee Break}
\subsubsection*{16:30 - 17:00 SESSION 4}
\begin{description}
\item[Concluding Discussion and Remarks ]
\end{description}
\newpage
\tit{Programme of SLA\texttt{++}P }{Model-driven High-level Programming of Embedded Systems}{Saturday, March 31, room: CP2-105}
\subsubsection*{09:00 - 10:30 SESSION 1}
\begin{itemize}
\item Welcome and Opening 
\item (Invited Talk) 
\\ \sp Dr. Steven Miller, Senior Principal Engineer in the Advanced Technology Center of Rockwell Collins, USA 
\item A Model Checking Approach to Protocol Conversion 
\\ \sp R.Sinha, P.S.Roop, S.Basu 

\end{itemize}
\subsubsection*{10:30 - 11:00 Coffee Break}
\subsubsection*{11:00 - 12:30 SESSION 2}
\begin{itemize}
\item Worst Case Reaction Time Analysis of Concurrent Reactive Programs 
\\ \sp M.Boldt, C.Traulsen, R.von Hanxleden 
\item Executable Specifications for Real-Time Distributed Systems 
\\ \sp A.Ray, R.Cleaveland 
\item (Short discussion) SYNCHRON'07 and SLAP'08 

\end{itemize}
\subsubsection*{12:30 - 14:00 Lunch}
\subsubsection*{14:00 - 15:30 SESSION 3}
\begin{itemize}
\item Gotos in Esterel 
\\ \sp O.Tardieu, S.A.Edwards 
\item Specifying and executing reactive scenarios with Lutin 
\\ \sp P.Raymond, Y.Roux, E.Jahier 
\item Modifying Contracts with Larissa Aspects 
\\ \sp D.Stauch 

\end{itemize}
\subsubsection*{15:30 - 16:00 Coffee Break}
\subsubsection*{16:00 - 18:30 SESSION 4}
\begin{itemize}
\item Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks 
\\ \sp F.Maraninchi, L.Samper, K.Baradon, A.Vasseur Madrid, Spain 
\item Mutation analysis for LUSTRE programs 
\\ \sp L.du Bousquet 
\item Extending Lustre with Timeout Automata 
\\ \sp J.Gao, M.Whalen, E.Van Wyk 

\end{itemize}
\newpage
\tit{Programme of Termgraph }{4th International Workshop on Computing with Terms and Graphs}{Saturday, March 31, room: CP2-104}
\subsubsection*{09:20 - 10:30 SESSION 1}
\textbf{Welcome}

\begin{itemize}
\item An Algebra for Directed Bigraphs 
\\ \sp D. Grohmann and M. Miculan 
\item Modeling and Verifying Graph Transformations in Proof Assistants 
\\ \sp M. Strecker 
\end{itemize}

\subsubsection*{10:30 - 11:00 Coffee Break}
\subsubsection*{11:00 - 12:30 SESSION 2}
\begin{itemize}
\item Intensional properties of polygraphs 
\\ \sp G. Bonfante and Y. Guiraud 
\item Term-graph rewriting in TOM with relative positions 
\\ \sp E. Balland and P. Brauner 
\item Deduction Graphs with Universal Quantification 
\\ \sp H. Geuvers and I. Loeb 

\end{itemize}
\subsubsection*{12:30 - 14:00 Lunch}
\subsubsection*{14:00 - 16:00 SESSION 3}
\begin{itemize}
\item Rewritings for Polarized Mutiplicative and Exponential Proof Structures 
\\ \sp C. Fouquere and V. Mogbil 
\item Hard Combinators 
\\ \sp D. Bechet and S. Lippi 
\item Universal Boolean Systems 
\\ \sp D. Bechet and S. Lippi 
\item Interaction Nets with Nested Pattern Matching 
\\ \sp S. Sato and A. Hussan 
\item Sub-lambda-calculi, classified 
\\ \sp F-R. Sinot 

\end{itemize}
\newpage
\tit{Programme of WITS }{7th International Workshop on Issues in the Theory of Security}{Saturday, March 24, room: CP2-102}
\subsubsection*{09:00 - 10:30 SESSION 1}
\begin{description}
\item[Welcome ]\

\begin{itemize}
\item Riccardo Focardi (University of Venice) 
\end{itemize}
\item[Invited Talk ]\

\begin{itemize}
\item On the use of formal models for proving cryptographic security notions 
\\ \sp V\'eronique Cortier 
\end{itemize}

\end{description}
\subsubsection*{10:30 - 11:00 Coffee Break}
\subsubsection*{11:00 - 12:30 SESSION 2}
\begin{description}
\item[Computational Security ]\

\begin{itemize}
\item Computationally Sound Analysis of Protocols using Bilinear Pairings 
\\ \sp Laurent Mazare 
\item On the Role of Scheduling in Simulation-Based Security 
\\ \sp Ran Canetti, Ling Cheung, Nancy Lynch and Olivier Pereira 
\item Inductive Trace Properties Imply Computational Security 
\\ \sp Arnab Roy, Anupam Datta, Ante Derek and John Mitchell 
\end{itemize}

\end{description}
\subsubsection*{12:30 - 14:00 Lunch}
\subsubsection*{15:00 - 16:00 SESSION 3}
\begin{description}
\item[Information Flow ]\

\begin{itemize}
\item On information flow and refinement-closure 
\\ \sp Gavin Lowe 
\item Nondeduciblity on strategies in the temporal logic of knowledge 
\\ \sp Catalin Dima and Constantin Enea 
\end{itemize}

\end{description}
\subsubsection*{16:00 - 16:30 Coffee Break}
\subsubsection*{16:30 - 17:30 SESSION 4}
\begin{description}
\item[Static Analysis of Authentication ]\

\begin{itemize}
\item Detecting Replay Attacks by Freshness Annotations 
\\ \sp Han Gao, Pierpaolo Degano, Chiara Bodei and Hanne Riis Nielson 
\item A Calculus of Challanges and Responses 
\\ \sp Michael Backes, Agostino Cortesi, Riccardo Focardi and Matteo Maffei 
\end{itemize}

\end{description}


\subsubsection*{Sunday, March 25, room: CP2-102}

\subsubsection*{09:30 - 10:30 SESSION 1}
\begin{description}
\item[Invited Talk ]\

\begin{itemize}
\item Certified access control on mobile interactive devices 
\\ \sp Thomas Jensen (Saitama University, Japan) 
\end{itemize}

\end{description}
\subsubsection*{10:30 - 11:00 Coffee Break}
\subsubsection*{11:00 - 12:30 SESSION 2}
\begin{description}
\item[New Models for Security Protocols ]\

\begin{itemize}
\item On the Specification of Secure Channels 
\\ \sp Christopher Dilloway and Gavin Lowe 
\item Causality-based Abstraction of Multiplicity in Security Protocols 
\\ \sp Michael Backes, Agostino Cortesi and Matteo Maffei 
\item Skeletons and the Shapes of Bundles 
\\ \sp Joshua Guttman, Shaddin Doghmi and F. Javier Thayer 
\end{itemize}

\end{description}
\subsubsection*{12:30 - 14:00 Lunch}
\subsubsection*{15:00 - 16:00 SESSION 3}
\begin{description}
\item[Protocol Verification ]\

\begin{itemize}
\item Verifying an implementation of SSH 
\\ \sp Erik Poll and Aleksy Schubert 
\item Partial Order Reduction for Branching Security Protocols 
\\ \sp Wan Fokkink, Mohammad Torabi Dashti and Anton Wijs 
\end{itemize}

\end{description}
\subsubsection*{16:00 - 16:30 Coffee Break}
\subsubsection*{16:30 - 17:30 IFIP WG 1.7 Business Meeting}

\end{document}