format, preferably
gzipped and uuencoded. In addition, please send, as plain text, title,
abstract, and contact information. The submission deadline is 1st
February 2001. For other submission details, please consult an issue
of JFP or see the Journal's web pages.
Guest Editor:
Graham
Dear all,
Please note that the deadline for submission to the JFP Special Issue
on Haskell is in one months time --- 1st February 2001.
Graham Hutton
--
CALL FOR PAPERS
Journal
date for applications is Friday 16th March 2001.
Graham Hutton
--
THE UNIVERSITY OF NOTTINGHAM
School of Computer Science and Information Technology
Lecturers
of a Haskell course.
Have fun!
Graham
p.s. The paper will appear as a functional pearl in JFP.
+-+
| Dr Graham Hutton Email : [EMAIL PROTECTED] |
| Foundations of Programming Group Web
.
Further details about the positions are available from:
http://www.nottingham.ac.uk/personnel/vacancies/academic.html#LEG/597
The closing date for applications is 1st February 2002.
Graham Hutton
+-+
| Dr Graham Hutton
of this point, see section
5 of my JFP tutorial paper on foldr, which (amonst other things) shows
how to sum a list of numbers in left-to-right order using foldr:
http://www.cs.nott.ac.uk/~gmh/fold.pdf
Graham
++
| Dr Graham
details about the position is available from:
http://www.nottingham.ac.uk/personnel/vacancies/academic.html#RUB/457S
The closing date for applications is 14th June 2002.
Graham Hutton
++
| Dr Graham Hutton
:
http://www.tcs.informatik.uni-muenchen.de/~mhofmann/appsem2/
First APPSEM-II workshop:
http://www.cs.nott.ac.uk/~gmh/appsem03.html
Fun of programming symposium:
http://web.comlab.ox.ac.uk/oucl/research/areas/ap/fop/
Graham Hutton
Workshop Organiser
:
http://www.tcs.informatik.uni-muenchen.de/~mhofmann/appsem2/
First APPSEM-II workshop:
http://www.cs.nott.ac.uk/~gmh/appsem03.html
Fun of programming symposium:
http://web.comlab.ox.ac.uk/oucl/research/areas/ap/fop/
Graham Hutton
Workshop Organiser
/~mhofmann/appsem2/
Fun of programming symposium:
http://web.comlab.ox.ac.uk/oucl/research/areas/ap/fop/
Graham Hutton
Workshop Organiser
+-+
| Dr Graham Hutton Email : [EMAIL PROTECTED
of the progression rules incorrectly :-)
Graham
+-+
| Dr Graham Hutton Email : [EMAIL PROTECTED] |
| School of Computer Science and ITWeb : www.cs.nott.ac.uk/~gmh |
| University of Nottingham
/)
would be most welcome. Further details are available from:
http://www.nottingham.ac.uk/hr/vacancies/academic.html#RUB591S
The closing date for applications is 26th February 2004.
Graham Hutton
+-+
| Dr Graham Hutton
++
ANNOUNCEMENT
21st British Colloquium for Theoretical Computer Science
BCTCS 2005
22-24 March 2005
University
++
ANNOUNCEMENT (REGISTRATION NOW OPEN)
21st British Colloquium for Theoretical Computer Science
BCTCS 2005
22-24 March 2005
free places for UK-based PhD students are available.
Best wishes,
Graham Hutton (organiser)
++
21st British Colloquium for Theoretical Computer Science
BCTCS 2005
December 2006
Prospective workshop organisers are invited to submit a completed
workshop proposal form in plain text format to the ICFP 2007 workshop
co-chairs (Graham Hutton and Matthias Blume), via email to
icfp07-workshops at cs.nott.ac.uk by 17th November 2006. Please note
++
Midlands Graduate School in the Foundations of Computing Science
MGS 2007
16-20 April 2007
University of Nottingham, UK
The Midlands
++
*** REGISTRATION NOW OPEN ***
Midlands Graduate School in the Foundations of Computing Science
MGS 2007
16-20 April 2007
++
*** NEW BOOK ANNOUNCEMENT ***
Programming in Haskell
Graham Hutton, University of Nottingham
Cambridge University Press, January 2007
and dinner.
Best wishes,
Graham and Conor
+-+
| Dr Graham Hutton Email : [EMAIL PROTECTED] |
| School of Computer Science and IT |
| University of Nottingham Web
+-+
| Dr Graham Hutton Email : [EMAIL PROTECTED] |
| School of Computer Science and IT |
| University of Nottingham Web : www.cs.nott.ac.uk/~gmh |
| Jubilee
/book.html
Best wishes,
Graham
+-+
| Dr Graham Hutton Email : [EMAIL PROTECTED] |
| School of Computer Science |
| University of Nottingham Web : www.cs.nott.ac.uk/~gmh
fellowship
in functional programming, to work with Dr Graham Hutton on the
EPSRC-funded project Reasoning About Exceptions and Interrupts.
Most modern programming languages provide special features for
detecting and managing unexpected events, in the form of exception and
interrupt
-impossible-functional-programs/#more-69
Have fun!
Graham
+-+
| Dr Graham Hutton Email : [EMAIL PROTECTED] |
| School of Computer Science |
| University of Nottingham Web
/vacancies.aspx?cat=160#j2797
The closing date for applications is 22nd Feburary 2008
Best wishes,
Graham Hutton
+-+
| Dr Graham Hutton Email : [EMAIL PROTECTED] |
| School of Computer Science
/vacancies.aspx?cat=160#j2797
The closing date for applications is 28th March 2008.
Best wishes,
Graham Hutton
+-+
| Dr Graham Hutton Email : [EMAIL PROTECTED] |
| School of Computer Science
Dear all,
We are currently seeking a new Lecturer (Assistant Professor) in
the Functional Programming Lab in Nottingham, a recently formed
research group that comprises Thorsten Altenkirch, Graham Hutton,
Henrik Nilsson, four research fellows, and eleven PhD students.
Applications from
Dear all,
We are currently seeking a new Lecturer (Assistant Professor) in
the Functional Programming Lab in Nottingham, a recently formed
research group that comprises Thorsten Altenkirch, Graham Hutton,
Henrik Nilsson, four research fellows, and eleven PhD students.
Applications from
Dear all,
For info, solutions to the exercises from Programming in
Haskell are now available online, from:
http://www.cs.nott.ac.uk/~gmh/book.html
Best wishes,
Graham
+-+
| Dr Graham Hutton Email : g
/
If you would like to apply, please following the instructions in
the advert below. The deadline is 8th January 2010.
Best wishes,
Graham Hutton
+-+
The School of Computer Science of the University of Nottingham
invites applications
+-+
| Dr Graham Hutton Email : g...@cs.nott.ac.uk |
| Functional Programming Lab |
| School of Computer Science Web : www.cs.nott.ac.uk/~gmh |
| University of Nottingham|
| Jubilee
provers, domain-specific languages, languages for physical
modelling, programming language implementation and tools.
Successful applicants will work under the supervision of Dr Graham
Hutton or Dr Henrik Nilsson in the FP Lab in Nottingham, a leading
centre for research on functional programming
provers, domain-specific languages, languages for physical
modelling, programming language implementation and tools.
Successful applicants will work under the supervision of Dr Graham
Hutton or Dr Henrik Nilsson in the FP Lab in Nottingham, a leading
centre for research on functional programming
-funded PhD studentship in
the Functional Programming Lab in the School of Computer Science
at the University of Nottingham, starting on 1st October 2011,
under the supervision of Prof Graham Hutton.
The suggested topic for the studentship is to develop a practical
implementation of the worker
Dear all,
I am currently advertising a Fully-Funded PhD Studentship in
Functional Programming at the University of Nottingham:
http://www.cs.nott.ac.uk/~gmh/phd-advert.html
Please forward to any good UK students who may be interested.
Best wishes,
Graham
--
Graham Hutton
Functional
candidates who
may be interested in applying, or there is a local mailing
list for advertising such things, I'd be much obliged if
you could pass on the above link.
Many thanks,
Graham Hutton
--
Prof Graham Hutton
Functional Programming Lab
School of Computer Science
University of Nottingham, UK
the instructions in
the advert, rather than clicking on apply online.
Many thanks,
Graham Hutton
--
Prof Graham Hutton
Functional Programming Lab
School of Computer Science
University of Nottingham, UK
http://www.cs.nott.ac.uk/~gmh
This message and any attachment are intended solely
prior
to submitting your application. Note that I'm not available
to supervise new students myself this coming academic year.
Graham Hutton
University of Nottingham
+---+
Fully-Funded PhD Studentships
is interested
in applying FP ideas to real-world problems. The closing
date for applications is 28th February 2013. If you have
any queries about the position, please contact Andrew
Parkes andrew.par...@nottingham.ac.uk.
Best wishes,
Graham
--
Prof Graham Hutton
Functional Programming Lab
School
much appreciated. It doesn't
matter if you are no longer teaching the course or are
not currently using the book. If you are interested,
drop me an email and I'll explain what's involved.
Many thanks,
Graham Hutton
--
Prof Graham Hutton
Functional Programming Lab
School of Computer Science
examinations; (3) an example
of your technical writing, such as a project report or
dissertation; (4) contact details for two academic referees.
Closing date for applications: 10th January 2014
+---+
--
Prof Graham Hutton
Functional
) contact details for two academic referees.
Closing date for applications: 10th January 2014
+---+
--
Prof Graham Hutton
Functional Programming Lab
School of Computer Science
University of Nottingham, UK
http://www.cs.nott.ac.uk/~gmh
in Nottingham,
Thorsten
P.S. Please forward to other people who may be interested.
--
Prof Graham Hutton
Functional Programming Lab
School of Computer Science
University of Nottingham, UK
http://www.cs.nott.ac.uk/~gmh
This message and any attachment are intended solely for the addressee
category theory, concurrency, denotational
semantics, lambda calculus, randomised search, homotopy type
theory, infinite data structures, parametricity, functional
reactive programming, and dependently typed programming.
Best wishes,
Graham
--
Prof Graham Hutton
Functional Programming Lab
School
reviewed. We welcome submissions
from both the PhD student and PhD advisor/supervisor
although we encourage them to coordinate.
SUBMISSION:
Please submit the following information to Graham Hutton
graham.hut...@nottingham.ac.uk by 30th April
The deadline for applications is Friday 22nd August 2014.
The advert mentions computer vision, but the position is
open to applicants from any area of Computer Science.
Best wishes,
Graham Hutton
--
Prof Graham Hutton
Functional Programming Lab
School of Computer Science
University of Nottingham, UK
http
guideline, candidates in the area of
the FP lab would normally be expected to have at least
3 years postdoc experience, and a number of strong
publications in leading international venues such
as ICFP, POPL, LICS, JFP, Haskell Symposium, etc.
Best wishes,
Graham Hutton
--
Prof Graham Hutton
guideline, candidates in the area of
the FP lab would normally be expected to have at least
3 years postdoc experience, and a number of strong
publications in leading international venues such
as ICFP, POPL, LICS, JFP, Haskell Symposium, etc.
Best wishes,
Graham Hutton
--
Prof Graham Hutton
these abstracts reviewed. We welcome
submissions from both the PhD student and PhD advisor/
supervisor although we encourage them to coordinate.
SUBMISSION:
Please submit the following information to Graham Hutton
graham.hut
these abstracts reviewed. We welcome
submissions from both the PhD student and PhD advisor/
supervisor although we encourage them to coordinate.
SUBMISSION:
Please submit the following information to Graham Hutton
graham.hut
to submitting your application:
Thorsten Altenkirch - constructive logic, proof assistants,
homotopy type theory, category theory, lambda calculus.
Venanzio Capretta - type theory, mathematical logic, corecursive
structures, proof assistants, dependently-typed programming.
Graham Hutton
encourage them to coordinate.
SUBMISSION:
Please submit the following information to Graham Hutton
graham.hut...@nottingham.ac.uk by 30th April 2015.
o Dissertation title: (including any subtitle)
o Student: (full name)
o Awarding
- functional reactive programming, modelling and
simulation, domain-specific languages, probabilistic languages.
Thorsten Altenkirch and Graham Hutton - not planning to take
on any further new PhD students this year.
Best wishes,
Graham
is Wednesday 15th July 2015.
Best wishes,
Graham
--
Prof Graham Hutton
Functional Programming Lab
School of Computer Science
University of Nottingham, UK
http://www.cs.nott.ac.uk/~gmh
This message and any attachment are intended solely for the addressee
and may contain confidential
If you or one of your students recently completed a PhD
in the area of functional programming, please submit the
dissertation abstract for publication in JFP: simple
process, no refereeing, deadline 31st October 2015.
Many thanks,
Graham Hutton
prelude
Bibliography
Index
=
AUTHOR:
Graham Hutton is Professor of Computer Science at the University
of Nottingham. He has taught Haskell to thousands of students
and received numerous best lecturer awards. Hutton has served
*** BOOK ANNOUNCEMENT ***
Programming in Haskell - 2nd Edition
Graham Hutton, University of Nottingham
Cambridge University Press, 1st September 2016
320 pages, 120 exercises, ISBN 9781316626221
http://tinyurl.com/hnfjdgc
=
D
the PhD student and PhD
advisor/supervisor although we encourage them to coordinate.
SUBMISSION:
Please submit the following information to Graham Hutton
<graham.hut...@nottingham.ac.uk> by 31st October 2016.
o Dissertation title: (inc
Dear all,
If you or one of your students recently completed a PhD in the
area of functional programming, please submit the dissertation
abstract for publication in JFP: simple process, no refereeing,
deadline 30th April 2017. Please share!
Best wishes,
Graham Hutton
. We welcome submissions from both the PhD student and PhD
advisor/supervisor although we encourage them to coordinate.
SUBMISSION:
Please submit the following information to Graham Hutton
<graham.hut...@nottingham.ac.uk> by 31st O
to submitting your application:
Thorsten Altenkirch - constructive logic, proof assistants,
homotopy type theory, category theory, lambda calculus.
Venanzio Capretta - type theory, mathematical logic, corecursive
structures, proof assistants, dependently-typed programming.
Graham Hutton
to submit revised versions to a special
issue of Science of Computer Programming (SCP).
For any queries about submission please contact the program chair,
Graham Hutton .
PROGRAM COMMITTEE:
Graham Hutton University of Nottingham, UK (chair)
The full committee will be announced as soon
Dear all,
If you or one of your students recently completed a PhD in the
area of functional programming, please submit the dissertation
abstract for publication in JFP: simple process, no refereeing,
open access, deadline 25th May 2018. Please share!
Best wishes,
Graham Hutton
://tinyurl.com/MGS18NOTT
Best wishes,
Graham Hutton and Henrik Nilsson
==
*** CALL FOR PARTICIPATION ***
Midlands Graduate School 2018
9-13 April 2018, Nottingham, UK
http://tinyurl.com/MGS18NOTT
BACKGROUND:
The Midlands Graduate
/research/groups/fp-lab/
The deadline for applications is 30th September 2018. The advert
mentions some specific research areas, but the positions are open
to applicants from any area of Computer Science.
Best wishes,
Graham Hutton
—
Professor Graham Hutton
School of Computer Science
University
Dear all,
The next Mathematics of Program Construction (MPC) conference will
be held in the historic city of Porto, Portugal in October 2019,
co-located with the Symposium on Formal Methods (FM).
Please share, and submit your best papers!
Best wishes,
Graham Hutton
Program Chair, MPC 2019
://tinyurl.com/MGS18NOTT
Best wishes,
Graham Hutton and Henrik Nilsson
==
Midlands Graduate School 2018
9-13 April 2018, Nottingham, UK
http://tinyurl.com/MGS18NOTT
BACKGROUND:
The Midlands Graduate School (MGS) in the Foundations of
Computing
Dear all,
If you or one of your students recently completed a PhD in the
area of functional programming, please submit the dissertation
abstract for publication in JFP: simple process, no refereeing,
open access, deadline 30th November 2018. Please share!
Best wishes,
Graham Hutton
, corecursive
structures, proof assistants, category theory, epistemic logic.
Graham Hutton - functional programming, program calculation and
transformation, correctness and efficiency, category theory.
Henrik Nilsson - functional reactive programming, modelling and
simulation, domain
, lambda calculus.
Venanzio Capretta - type theory, mathematical logic, corecursive
structures, proof assistants, category theory, epistemic logic.
Graham Hutton - functional programming, program calculation and
transformation, correctness and efficiency, category theory.
Henrik Nilsson
Dear all,
The next Mathematics of Program Construction (MPC) conference will
be held in Portugal in October 2019, co-located with the Symposium
on Formal Methods (FM). Paper submission is 3rd May 2019.
Please share, and submit your best papers!
Best wishes,
Graham Hutton
Program Chair, MPC
please contact the program chair,
Graham Hutton .
PROGRAM COMMITTEE:
Patrick Bahr IT University of Copenhagen, Denmark
Richard Bird University of Oxford, UK
Corina Cîrstea University of Southampton, UK
Brijesh Dongol University of Surrey, UK
João
Dear all,
The next Mathematics of Program Construction (MPC) conference will
be held in Portugal in October 2019, co-located with the Symposium
on Formal Methods (FM). Paper submission is 3rd May 2019.
Please share, and submit your best papers!
Best wishes,
Graham Hutton
Program Chair, MPC
/mgs2019/
Best wishes,
Graham Hutton
Midlands Graduate School 2019
14-18 April 2019, Birmingham, UK
http://events.cs.bham.ac.uk/mgs2019/
BACKGROUND:
The Midlands Graduate School (MGS) in the Foundations of
Computing Science provides
.
Further information about the FP lab is available from:
https://tinyurl.com/y2ekdkqa
The deadline for applications is Monday 8th July 2019. The advert
mentions some specific research areas, but the positions are open
to applicants from any area of Computer Science.
-- Graham Hutton and Thorsten
).
For any queries about submission please contact the program chair,
Graham Hutton .
PROGRAM COMMITTEE:
Patrick Bahr IT University of Copenhagen, Denmark
Richard Bird University of Oxford, UK
Corina Cîrstea University of Southampton, UK
Brijesh Dongol
Dear all,
If you or one of your students recently completed a PhD in the
area of functional programming, please submit the dissertation
abstract for publication in JFP: simple process, no refereeing,
open access, deadline 31st May 2019. Please share!
Best wishes,
Graham Hutton
,
Graham Hutton
Program Chair, MPC 2019
==
*** CALL FOR PARTICIPATION -- MPC 2019 ***
13th International Conference on Mathematics of Program Construction
7-9 October 2019, Porto, Portugal
Co-located with Formal Methods 2019
,
Graham Hutton
==
*** CALL FOR PARTICIPATION -- MPC 2019 ***
13th International Conference on Mathematics of Program Construction
7-9 October 2019, Porto, Portugal
Co-located with Formal Methods 2019
https://tinyurl.com/MPC
according to the instructions
below. We welcome submissions from both the PhD student and PhD
advisor/supervisor although we encourage them to coordinate.
SUBMISSION:
Please submit the following information to Graham Hutton
by 30th
theory, mathemZZatical logic, corecursive
structures, proof assistants, category theory, epistemic logic.
Graham Hutton - not taking on any new students this year, but
you may find these notes useful: https://tinyurl.com/scbkxkr
Henrik Nilsson - functional reactive programming, domain
theory, mathematical logic, corecursive
structures, proof assistants, category theory, epistemic logic.
Graham Hutton - not taking on any new students this year, but
you may find these notes useful: https://tinyurl.com/scbkxkr
Henrik Nilsson - functional reactive programming, domain
to the instructions
below. We welcome submissions from both the PhD student and PhD
advisor/supervisor although we encourage them to coordinate.
SUBMISSION:
Please submit the following information to Graham Hutton
by 31st May 2020:
o
programming are strongly
encouraged! The deadline for applications is 11th December 2020.
Best wishes,
Graham
—
Professor Graham Hutton
School of Computer Science
University of Nottingham, UK
http://www.cs.nott.ac.uk/~pszgmh
This message and any attachment are intended solely
,
Graham Hutton
CALL FOR PHD ABSTRACTS
Journal of Functional Programming
Deadline: 30th November 2020
http://tinyurl.com/jfp-phd-abstracts
PREAMBLE:
Many students complete
/haskell-notts
Advanced course: http://www.tinyurl.com/haskell-notts2
There’s also a 25% discount for the textbook on which both of
the courses are based, Programming in Haskell:
Discount link: http://tinyurl.com/25pct-off
Best wishes,
Graham
—
Professor Graham Hutton
School of Computer
according to the instructions
below. We welcome submissions from both the PhD student and PhD
advisor/supervisor although we encourage them to coordinate.
SUBMISSION:
Please submit the following information to Graham Hutton
by 31st
! If you
are interested in applying, please contact a potential supervisor
as soon as possible (the application deadline is 15th March):
Thorsten Altenkirch - constructive logic, proof assistants,
homotopy type theory, category theory, lambda calculus.
Graham Hutton - mathematics of program
.
Further information about the FP lab is available from:
https://tinyurl.com/y2ekdkqa
The deadline for applications is Monday 20th September 2021. The
advert mentions some specific research areas, but the positions are
open to applicants from any area of Computer Science.
-- Graham Hutton
,
Graham Hutton
CALL FOR PHD ABSTRACTS
Journal of Functional Programming
Deadline: 30th November 2021
http://tinyurl.com/jfp-phd-abstracts
PREAMBLE:
Many students complete
fellowship
in functional programming, to work with Dr Graham Hutton on the
EPSRC-funded project Reasoning About Exceptions and Interrupts.
Most modern programming languages provide special features for
detecting and managing unexpected events, in the form of exception and
interrupt
/vacancies.aspx?cat=160#j2797
The closing date for applications is 22nd Feburary 2008
Best wishes,
Graham Hutton
+-+
| Dr Graham Hutton Email : [EMAIL PROTECTED] |
| School of Computer Science
/vacancies.aspx?cat=160#j2797
The closing date for applications is 28th March 2008.
Best wishes,
Graham Hutton
+-+
| Dr Graham Hutton Email : [EMAIL PROTECTED] |
| School of Computer Science
-funded PhD studentship in
the Functional Programming Lab in the School of Computer Science
at the University of Nottingham, starting on 1st October 2011,
under the supervision of Prof Graham Hutton.
The suggested topic for the studentship is to develop a practical
implementation of the worker
the supervision of Prof Graham Hutton.
The suggested topic for the studentship is to develop a practical
implementation of the worker/wrapper transformation, a simple but
powerful unifying paradigm for program optimisation, but other
ideas for possible topics are welcome too. The studentship
welcome. For further details, see:
http://www.nottingham.ac.uk/jobs/currentvacancies/ref/CE05936S
The deadline for applications is 9th November 2011.
Best wishes,
Graham Hutton
--
Prof Graham Hutton
Functional Programming Lab
School of Computer Science
University of Nottingham, UK
http
candidates who
may be interested in applying, or there is a local mailing
list for advertising such things, I'd be much obliged if
you could pass on the above link.
Many thanks,
Graham Hutton
--
Prof Graham Hutton
Functional Programming Lab
School of Computer Science
University of Nottingham, UK
candidates who
may be interested in applying, or there is a local mailing
list for advertising such things, I'd be much obliged if
you could pass on the above link.
Many thanks,
Graham Hutton
--
Prof Graham Hutton
Functional Programming Lab
School of Computer Science
University of Nottingham, UK
http
the instructions in
the advert, rather than clicking on apply online.
Many thanks,
Graham Hutton
--
Prof Graham Hutton
Functional Programming Lab
School of Computer Science
University of Nottingham, UK
http://www.cs.nott.ac.uk/~gmh
This message and any attachment are intended solely
prior
to submitting your application. Note that I'm not available
to supervise new students myself this coming academic year.
Graham Hutton
University of Nottingham
+---+
Fully-Funded PhD Studentships
1 - 100 of 116 matches
Mail list logo