speakers to satellite events.
IMPORTANT DATES
Submission of workshop proposals: January 30, 2017
Notification of success of proposals: February 13, 2017
Main conference: September 3-6, 2017
Workshop dates: September 7-9, 2017
Best wishes,
Jamie Vicary, Workshop Chair
http://www.cs.ox.ac.uk/people
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all,
I have a PhD position available in the School of Computer Science at
the University of Birmingham, UK, part-funded by the Royal Society.
Please forward this to any good candidates
costs, with
a priority for PhD students and junior researchers. To apply for this
funding, please contact the local organizer Jamie Vicary at
by the deadline given above, with a short
statement of your travel costs and funding required.
We are grateful for generous sponsorship from Cambrid
re is no problem making a
short submission of just a few pages, especially for ideas which
are at an early stage.
# FUNDING
Some funding is available to cover travel and subsistence costs, with
a priority for PhD students and junior researchers. To apply for this
funding, please contact the local organizer
posium managed by the following people, who also serve as the
programme committee.
- Ross Duncan, University of Strathclyde
- Chris Heunen, University of Edinburgh
- Aleks Kissinger, Radboud University Nijmegen
- Samuel Mimram, École Polytechnique
- Simona Paoli, University of Leicester
- Mehrnoosh Sadrzadeh, Queen Mary, University of London
- Pawel Sobocinski, University of Southampton
- Jamie Vicary, University of Birmingham and University of Oxford
(local organizer)
of Technology (co-chair)
Walter Tholen, York University
Todd Trimble, Western Connecticut State University
Jamie Vicary, University of Birmingham (co-chair)
Maaike Zwart, University of Oxford
** STEERING COMMITTEE **
John Baez (University of California Riverside)
Bob Coecke (University of Oxford)
David
Technologies
Walter Tholen, York University
Todd Trimble, Western Connecticut State University
Christina Vasilakopoulou, University of Patras
Jamie Vicary, University of Birmingham (co-chair)
Maaike Zwart, University of Oxford
the top of this email for more information about the seminar,
and to sign up for our reminder email list.
Best wishes, the organizers:
- Alexandra Silva, University College London
- Pawel Sobocinski, Tallinn University of Technology
- Jamie Vicary, University of Birmingham
, Tunnel Technologies
Walter Tholen, York University
Todd Trimble, Western Connecticut State University
Christina Vasilakopoulou, University of Patras
Jamie Vicary, University of Birmingham (co-chair)
Maaike Zwart, University of Oxford
** STEERING COMMITTEE **
John Baez (University of California
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
A reminder of the community debate tomorrow (Wednesday) at 3pm UTC.
Everybody is welcome to join at zoom.us/j/177472153.
Dear all,
The entire community is invited to
dia
- Koko Muroya, RIMS, Kyoto University, Japan
- Alexandra Silva, University College London
- Pawel Sobocinski, Tallinn University of Technology
- Jamie Vicary, University of Cambridge
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
See message below from Neel Krishnaswami.
Dear friends,
We are hiring for several faculty position at the University of
Cambridge. One of our target areas is logical
contributions. Members of the community are warmly invited to register and
participate.
On behalf of the organizers,
Roy Crole, Ian Stark and Jamie Vicary
13 matches
Mail list logo