• Venue: Mathematical Institute, Oxford, UK

• Co-located with ICFP 2017

• 3 – 6 September 2017 Sam Staton

Proposal for

FSCD/RDP 2017

22nd ACM-SIGPLAN Int. Conf. on Functional Programming

Co-locating with ICFP 2017

Proposed local organizer for ICFP:

Jeremy Gibbons

(with me as local organizer for FSCD 2017)

2/9

22nd ACM-SIGPLAN Int. Conf. on Functional Programming

• ~300 participants

• 3 day conference, 4 days of workshops e.g.

• HOPE (Higher order programming w effects)

• CUFP (Commercial users of FP)

• Haskell Symposium

Co-locating with ICFP 2017

3/9

Oxford

Oxford Math. Institute

!e spectacular Andrew Wiles Building, home of Oxford Mathematics, was opened in October 2013 and houses a major international conference venue. Our clients come from all sectors and continents as they take advantage of the largest purpose-built lecture theatre in Oxford.

B R O A D S T

PAR

KS R

D

PARK S RD

K E B L E R D

ST GI LES ’

WO

OD

STOC

K RD

ST JOH

N S T

O B S E R VATO RY S T

PUSEY LN

P U S E Y S T

LT C L A R E N D O N S T

B E A U M O N T S T

G E O R G E S T

S T M I C H A E L S T CO

RN

MA

RK

E T S T

TUR

L S T

B R A S E N O S E L N SQU

AR

E

M A R K E T S T

NEW

INN

HA

LL S T

S H I P S T

H Y T H E B R I D G E S T

WA

LTON

ST

WALTON S T

S O U T H PA R K S R D

BLACKH A L L R D

W E L

LING

TON SQ

University Parks

University Science Area(See detailed map)

Glo

uce

ster

Gre

en

Clarendon

Shopping

Centre

WA LTO N C R

R I C H M O N D R D

W O R C E S T E R P L

REW

LEY R

D

MA

GD

ALEN

ST E

OX F O R D C ANAL

PA R K E N D S TD

Covered

Market

WO

RC

ESTER ST

57

50

58

656462

6854

67

51 72

931

70

11

42

34

32

37

26

41

46

71

12

35

18

5

60

53

22

39

28

15

2747

29

13

31

35 41

26

29

38

9

43

3

22

812

417

392

ALBERT S T

CR AN HA M S TJ UXO N S T

L L R D

G R E AT C L A R E N D O N S T

HT

J

S

L

O

NAM

E F

D

5/9

Oxford Math. Institute

Facilities

Lecture Theatre L1

Lecture Theatre L3

Seminar RoomSeminar Room

Lecture Theatre L2

Oxford Math. Institute

6/9

capacity 360

capacity 210

CostRegistration fee estimate: £350 (+ inflation)

We also have generous reception spaces outside the lecture theatres and seminar rooms for catering, poster sessions and exhibitor stands – these spaces come at no extra charge. Wi-Fi is available throughout the building. Eduroam is also available.

• £1500 per day for room

• £30 per day pp for tea, coffee and lunch

1

www.examschools.ox.ac.uk

EXAMINATION

Examination halls Andrew Wiles Building

• + invited speakers and dinner

(≈€490)

Accommodation~700 college rooms can be reserved, a range of standards, e.g.

• £50 per night w shared bathroom

• £90 per night

• £120 per night

Youth hostel £15 – £28 pn

Randolph ~£175 pn

~400 properties from £35 pn

8/9

FSCD/RDP 2017• Venue: Mathematical Institute, Oxford, UK

• Co-located with ICFP 2017

• 3 – 6 September 2017

Proposal for