meeting:
5:15-6:30pm Wednesday 20 January 2010.
POPL Steering Committee:
* Philip Wadler, current SIGPLAN Chair and 2008 Program Chair
* Kathleen Fisher, past SIGPLAN Chair
* Graham Hutton, current SIGPLAN Vice Chair
* Chandra Krintz, past SIGPLAN Vice Chair
* Thomas Ball, 2011 General
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Before the Types discussion began, I collected comments on the
two-phase proposal, which I planned to post on the web (with
permission). I am now posting them here. Enjoy! -- P
. Appointment at
lecturer level (grade 8: £36,532 - £43,622 pa) may be considered for a
less experienced, but exceptional candidate.
Closing date for applications for both posts: 26 February 2010.
--
.\ Philip Wadler, Professor of Theoretical Computer Science
./\ School of Informatics
candidates can contact us informally. We will send a second advert
with full details of how to apply, deadlines, salaries, employment
conditions, etc, as soon as possible.
Anyone interested in either the post-doc positions or the PhD
studentships is invited to contact the investigators:
Philip
. \ Philip Wadler, Professor of Theoretical Computer Science
. /\ School of Informatics, University of Edinburgh
. / \ http://homepages.inf.ed.ac.uk/wadler/
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
tract work.
EPCC houses an exceptional range of supercomputers, with 75 staff committed
to the solution of real-world problems. EPCC plays a leading role in PRACE
(Partnership for Advanced Computing in Europe). For more information about
EPCC see
http://www.epcc.ed.ac.uk/
. \ Philip Wadler,
and Rio de Janeiro; Duncan is in London; Manuel
is in Sydney; you may work from wherever you like.
Further details here:
https://iohk.io/careers/#op-235152-functional-compiler-engineer-
You can apply at the site above. Please write to me if you have further
questions. Yours, -- P
. \ Philip
,
Germany
Prof. Gustavo Carvalho, Universidade Federal de Pernambuco, Brazil
PROGRAM CHAIRS
Adolfo Duran, Universidade Federal da Bahia, Brazil
Philip Wadler, University of Edinburgh, UK
PROGRAM COMMITTEE
Alexandre Mota, Universidade Federal de Pernambuco, Brazil
Alysson Filgueira Milanez
your application form if you are
happy for your referees to be contacted.
Informal enquiries may be addressed to Prof Philip Wadler (
wad...@inf.ed.ac.uk).
Lecturer Grade: UE08 (£41,526 - £49,553)
Senior Lecturer or Reader Grade: UE09 (£52,559 - £59,135)
The School is advertising a nu
you! Go well, -- P
. \ Philip Wadler, Professor of Theoretical Computer Science,
. /\ School of Informatics, University of Edinburgh
. / \ and Senior Research Fellow, IOHK
. http://homepages.inf.ed.ac.uk/wadler/
The University of Edinburgh is a charitable body, registered in
Scotland
, Prof Alexander Russell, Prof Phil Wadler.
*18.30 Thu 2 Jul* *Architecting the internet: what I would have done *
*differently... *Vint Cerf, Internet pioneer and Google internet
evangelist, Prof Aggelos Kiayias, panel moderated by Prof Philip Wadler.
*20.00 Thu 2 Jul* *Functional smart contracts
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Verifying smart contracts for Blockchain
Supervisor: Professor Philip Wadler
The following PhD project is open for recruitment.
UK/EU/International applicants welcome.
https
/WolframResearch twitch.tv/Stephen_Wolfram
. \ Philip Wadler, Professor of Theoretical Computer Science,
. /\ School of Informatics, University of Edinburgh
. / \ and Senior Research Fellow, IOHK
. http://homepages.inf.ed.ac.uk/wadler/
The University of Edinburgh is a charitable body
://apply.workable.com/io-global/j/965433F163/
.\ Philip Wadler, Professor of Theoretical Computer Science
./\ School of Informatics, University of Edinburgh
/ \ http://homepages.inf.ed.ac.uk/wadler/
14 matches
Mail list logo