Modularity 2016
Mon 14 - Thu 17 March 2016
Spain
Toggle navigation
Attending
Conference Venue: University of Málaga
Survival Guide
About
Registration
Accomodation
Travelling to Málaga
Sponsoring
Program
Modularity Program
Your Program
Modularity 2016 Proceedings
Mon 14 Mar
Tue 15 Mar
Wed 16 Mar
Thu 17 Mar
Tracks
Modularity 2016
Demos & Posters
MIP Award 2006
Keynotes
Student Research Competition
Modularity Visions
Research Results
Workshops
Workshops
AOSDM
- CANCELLED
CROW
FOAL
LASSY
LaMOD
Language Modularity
MASS
MOMO
Reflect
SE4SuSy
- CANCELLED
Organization
Modularity 2016 Committees
Organizing Committee
Steering Committee
Track Committees
MIP Award 2006
Student Research Competition
Organizing Committee
SRC Reviewers
SRC Judges
Modularity Visions
Research Results
Program Committee
Review Committee (External)
Contributors
People Index
Workshops
AOSDM
N/A - check homepage
CROW
Organizing Committee
Program Committee
FOAL
N/A - check homepage
LASSY
N/A - check homepage
LaMOD
Organizing Committee
Program Committee
MASS
N/A - check homepage
MOMO
N/A - check homepage
Reflect
Organizing Committee
Program Committee
SE4SuSy
N/A - check homepage
Search
Series
Series
Modularity 2017
Modularity 2016
Sign in
Sign up
Modularity 2016
(
series
) /
University of Málaga
/
Room information: CROW
Venue
University of Málaga
Room name
CROW
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT) Belfast
.
Use conference time zone: (GMT) Belfast
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:30) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+06:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+10:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Tue 15 Mar
Displayed time zone:
Belfast
change
08:30 - 10:00
CROW Workshop Session 1
CROW
at
CROW
08:30
30m
Day opening
Arrival and Workshop Introduction
CROW
09:00
30m
Talk
Reactive Object Queries
CROW
Stefan Lehmann
Hasso-Plattner-Institute, Potsdam
,
Tim Felgentreff
HPI, Germany
,
Jens Lincke
Hasso Plattner Institute
,
Patrick Rein
Hasso Plattner Institute
,
Robert Hirschfeld
HPI
09:30
30m
Talk
Reactive Programming with Reactive Variables
CROW
Christopher Schuster
,
Cormac Flanagan
UC Santa Cruz
10:30 - 12:30
CROW Workshop Session 1 Cont.
CROW
at
CROW
10:30
30m
Talk
Toward a New Constraint Imperative Programming Language for Interactive Graphics
CROW
Hiroshi Hosobe
11:00
30m
Talk
Emfrp: A Functional Reactive Programming Language for Small-Scale Embedded Systems
CROW
Kensuke Sawada
Tokyo Institute of Technology, Japan
,
Takuo Watanabe
Tokyo Institute of Technology
Link to publication
DOI
11:30
30m
Talk
Wallingford: Toward a Constraint Reactive Programming Language
CROW
Alan Borning
CDG Labs
12:00
30m
Talk
A Library-Based Approach to Context-Dependent Computation with Reactive Values
CROW
Hiroaki Inoue
Graduate School of Informatics, Kyoto University
,
Atsushi Igarashi
Kyoto University
14:00 - 15:00
CROW Workshop Session 2
CROW
at
CROW
14:00
30m
Talk
Enabling Modular Persistence for Reactive Data Models in F# Client-Server Web Applications
CROW
Loic Denuziere
,
Adam Granicz
14:30
30m
Talk
Automatically Selecting and Optimizing Constraint Solver Procedures for Object-Constraint Languages
CROW
Tim Felgentreff
HPI, Germany
,
Stefan Lehmann
,
Robert Hirschfeld
HPI
,
Sebastian Gerstenberg
,
Jakob Reschke
,
Lars Rückert
,
Patrick Siegler
,
Jan Graichen
,
Christian Nicolai
,
Malte Swart
15:30 - 17:00
CROW Workshop Session 2 Cont.
CROW
at
CROW
15:30
90m
Day closing
Open discussion and breakout groups
CROW
Tue 15 Mar
Displayed time zone:
Belfast
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
CROW
CROW
CROW Workshop Session 1
CROW
CROW Workshop Session 1 Cont.
CROW
CROW Workshop Session 2
CROW
CROW Workshop Session 2 Cont.
Tue 15 Mar
Displayed time zone:
Belfast
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
CROW
CROW
Arrival and Workshop Introduction
08:30 - 09:00
CROW
Reactive Object Queries
09:00 - 09:30
CROW
Reactive Programming with Reactive Variables
09:30 - 10:00
CROW
Toward a New Constraint Imperative Programming Language for Interactive ...
10:30 - 11:00
CROW
Emfrp: A Functional Reactive Programming Language for Small-Scale Embed ...
11:00 - 11:30
CROW
Wallingford: Toward a Constraint Reactive Programming Language
11:30 - 12:00
CROW
A Library-Based Approach to Context-Dependent Computation with Reactive ...
12:00 - 12:30
CROW
Enabling Modular Persistence for Reactive Data Models in F# Client-Serv ...
14:00 - 14:30
CROW
Automatically Selecting and Optimizing Constraint Solver Procedures for ...
14:30 - 15:00
CROW
Open discussion and breakout groups
15:30 - 17:00
x
Thu 21 Nov 12:25