Blogs (2) >>
ISMM 2017
Sun 18 Jun 2017
Barcelona, Spain
co-located with
PLDI 2017
Toggle navigation
Attending
Venue: Universitat Politècnica de Catalunya
Registration
Visa
Program
ISMM Program
Your Program
Sun 18 Jun
Track/Call
Organization
ISMM 2017 Committees
Organizing Committee
Steering Committee
Track Committees
Program Committee
External Review Committee
Contributors
People Index
Search
Series
Series
ISMM 2025
ISMM 2024
ISMM 2023
ISMM 2022
ISMM 2021
ISMM 2020
ISMM 2019
ISMM 2018
ISMM 2017
ISMM 2016
ISMM 2015
Sign in
Sign up
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM
(
series
) /
PLDI 2017
(
series
) /
ISMM 2017
(
series
) /
Universitat Politècnica de Catalunya
/
Room information: Actes, Informatics Building
Venue
Universitat Politècnica de Catalunya
Room name
Actes, Informatics Building
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+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06: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:00) Caracas
(GMT-04: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-02: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) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+01:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04: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+07: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+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12: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
Mon 19 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
15:00 - 15:40
Monday - 15:00 - 15:40 - Sala Agora
CurryOn Curry On Talks
at
Actes, Informatics Building
15:00
40m
Talk
Clojure Transducers In The Wild
CurryOn Curry On Talks
Renzo Borgatti
Mailonline
16:10 - 18:30
Monday - 16:10 - 18:30 - Sala Agora
CurryOn Curry On Talks
at
Actes, Informatics Building
16:10
40m
Talk
How types can turn a SQL interpreter into a SQL compiler
CurryOn Curry On Talks
Tiark Rompf
Purdue University
17:00
40m
Talk
Orchestrate ING with Petri Net
CurryOn Curry On Talks
Adil Akhter
ING
17:50
40m
Talk
Haskell SpriteKit - A Case Study in Turning a Stateful into a Purely Functional API
CurryOn Curry On Talks
Manuel Chakravarty
Tue 20 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:25 - 12:45
Tuesday - 10:25 - 12:45 - Sala Agora
CurryOn Curry On Talks
at
Actes, Informatics Building
10:25
40m
Talk
The Joy of Vector Programming: Why Vector Programming Matters
CurryOn Curry On Talks
Dave Thomas
Kx Systems
11:15
40m
Talk
Helping communities & products thrive by fostering empathy
CurryOn Curry On Talks
Erik Romijn
12:05
40m
Talk
The CernVM File System - Beyond Static Content Distribution
CurryOn Curry On Talks
Radu Popescu
CERN
13:50 - 15:30
Tuesday - 13:50 - 15:20 - Sala Agora
CurryOn Curry On Talks
at
Actes, Informatics Building
13:50
40m
Talk
Modular Composition of Reactive Applications
CurryOn Curry On Talks
Mira Mezini
TU Darmstadt
14:40
40m
Talk
On Being a type-heavy Scheme programer in InfoSec, or, how I learnt to hate everything & love better type systems
CurryOn Curry On Talks
Sztefan Edwards
nVisium LLC
16:00 - 18:20
Tuesday - 16:00 - 18:20 - Sala Agora
CurryOn Curry On Talks
at
Actes, Informatics Building
16:00
40m
Talk
Computational Musicology, ????, Profit
CurryOn Curry On Talks
Chris Ford
ThoughtWorks (UK) Ltd.
16:50
40m
Talk
Domain-Specific Type Error Diagnosis in the Glasgow Haskell Compiler
CurryOn Curry On Talks
Jurriaan Hage
Utrecht University
17:40
40m
Talk
With Age comes Beauty - Past, Present, and Future of Efficient Immutable Collections
CurryOn Curry On Talks
Michael Steindorfer
Delft University of Technology, Netherlands
Mon 19 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
15:00
30
16:00
30
17:00
30
18:00
30
Actes, Informatics Building
CurryOn Curry On Talks
Monday - 15:00 - 15:40 - Sala Agora
CurryOn Curry On Talks
Monday - 16:10 - 18:30 - Sala Agora
Tue 20 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
Actes, Informatics Building
CurryOn Curry On Talks
Tuesday - 10:25 - 12:45 - Sala Agora
CurryOn Curry On Talks
Tuesday - 13:50 - 15:20 - Sala Agora
CurryOn Curry On Talks
Tuesday - 16:00 - 18:20 - Sala Agora
Mon 19 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
Actes, Informatics Building
CurryOn Curry On Talks
Clojure Transducers In The Wild
15:00 - 15:40
CurryOn Curry On Talks
How types can turn a SQL interpreter into a SQL compiler
16:10 - 16:50
CurryOn Curry On Talks
Orchestrate ING with Petri Net
17:00 - 17:40
CurryOn Curry On Talks
Haskell SpriteKit - A Case Study in Turning a Stateful into a Purely Fu ...
17:50 - 18:30
Tue 20 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
17:00
15
30
45
18:00
15
30
45
Actes, Informatics Building
CurryOn Curry On Talks
The Joy of Vector Programming: Why Vector Programming Matters
10:25 - 11:05
CurryOn Curry On Talks
Helping communities & products thrive by fostering empathy
11:15 - 11:55
CurryOn Curry On Talks
The CernVM File System - Beyond Static Content Distribution
12:05 - 12:45
CurryOn Curry On Talks
Modular Composition of Reactive Applications
13:50 - 14:30
CurryOn Curry On Talks
On Being a type-heavy Scheme programer in InfoSec, or, how I learnt to ...
14:40 - 15:20
CurryOn Curry On Talks
Computational Musicology, ????, Profit
16:00 - 16:40
CurryOn Curry On Talks
Domain-Specific Type Error Diagnosis in the Glasgow Haskell Compiler
16:50 - 17:30
CurryOn Curry On Talks
With Age comes Beauty - Past, Present, and Future of Efficient Immutabl ...
17:40 - 18:20
x
Sat 21 Dec 17:09