FOAL 2013 Agenda

Tuesday, 26 March 2013
Fukuoka International Congress Center, Japan (room 401)

The following time assignments are tentative. Please let the organizers know if they would not work for you, however. Also please let Gary Leavens know if any information on this page is wrong.

Session 1 (Welcome and Keynote)

9:30am–10:30am

Session Chair: Gary T. Leavens —University of Central Florida, USA
Welcome and introductions (20 minutes)

Erik Ernst —University of Aarhus, Denmark

Gary T. Leavens —University of Central Florida, USA

Hidehiko Masuhara —University of Tokoyo, Japan

Hridesh Rajan —Iowa State University, USA

Mario Südholt —École des Mines de Nantes, France

Type Systems for Context-Oriented Programming (Invited Keynote) (50 minutes + 10 minutes discussion)

Atsushi Igarashi —Kyoto University, Japan

Break—Coffee, Informal Discussions

10:30am–11:00am

Session 2 (Discussions and Demonstrations)

11:00am–12:00pm

Session Chair: Mario Südholt —École des Mines de Nantes, France

Lunch—Informal Discussions

12:00 noon—1:30pm

Session 3 (Papers: Theory)

1:30pm—3:00pm

Session Chair: Erik Ernst —University of Aarhus, Denmark
Taming Aspects with Monads and Membranes (30 minutes + 15 minutes discussion)

Ismael Figueroa —University of Chile, Chile

Nicolas Tabareau —INRIA Nantes, France

Éric Tanter —University of Chile, Chile

A Core Calculus of Composite Layers (30 minutes + 15 minutes discussion)

Tetsuo Kamina —University of Tokyo, Japan

Tomoyuki Aotani —Japan Advanced Institute of Science and Technology, Japan

Hidehiko Masuhara —University of Tokyo, Japan

Break—Coffee, Informal Discussions

3:00pm—3:30pm

Session 4 (Papers: Modularity, Reasoning, and Design)

3:30pm—5:00pm

Session Chair: Hridesh Rajan —Iowa State University, USA
Modular Aspect-Oriented Design Rule Enforcement with XPIDRs (30 minutes + 15 minutes discussion)

Henrique Rebêlo —Federal University of Pernambuco, Brazil

Gary T. Leavens —University of Central Florida, USA

Ricardo Massa Ferreira Lima —Federal University of Pernambuco, Brazil

Paulo Borba —Federal University of Pernambuco, Brazil

Márcio Ribeiro —Federal University of Pernambuco, Brazil

Modular Context-Sensitive and Aspect-Oriented Processes with Dynamic Condition Response Graphs (30 minutes + 15 minutes discussion)

Thomas Hildebrandt —IT University of Copenhagen, Denmark

Raghava Rao Mukkamala —IT University of Copenhagen, Denmark

Tijs Slaats —IT University of Copenhagen, Denmark

Francesco Zanitti —IT University of Copenhagen, Denmark

Page last modified Tuesday, January 29, 2013.