Dear all,
The School of Computer Science in Nottingham is advertising 10
fully-funded PhD studentships. Applicants in the area of the
Functional Programming Lab (https://tinyurl.com/fp-notts) are
encouraged! If you are interested in applying, please contact a
potential supervisor prior 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 - program calculation and verification, category
theory, recursion operators, coinductive types.
Henrik Nilsson - functional reactive programming, modelling and
simulation, domain-specific languages, probabilistic languages.
Best wishes,
Graham
+---------------------------------------------------------------+
10 Fully-Funded PhD Studentships
School of Computer Science
University of Nottingham, UK
https://tinyurl.com/10-phds-2018
Applications are invited for up to ten fully-funded PhD
studentships in the School of Computer Science at the
University of Nottingham, starting on 1 October 2018.
The topics for the studentships are open, but should relate to
the interests of one of the School's research groups: Agents
Lab; Automated Scheduling, Optimisation and Planning; Computer
Vision Lab; Functional Programming Lab; Intelligent Modelling
and Analysis; Mixed Reality Lab; Data Driven Algorithms, Systems
and Design and Uncertainty in Data and Decision Making.
The studentships are for three years and include a stipend
of £14,553 per year and tuition fees, and are available to
students of any nationality. Applicants are normally expected
to have a first-class Masters or Bachelors degree in Computer
Science or a related discipline, and must obtain the support of
a potential supervisor in the School prior to submitting their
application. Initial contact with supervisors should be made
at least two weeks prior to the closing date for applications.
Informal enquiries may be addressed to SS-PGR-JC(a)nottingham.ac.uk
To apply, please submit the following items by email to:
Christine.Fletcher(a)nottingham.ac.uk: (1) a brief covering
letter that describes your reasons for wishing to pursue a
PhD, your proposed research area and topic, and the name of
a potential supervisor; (2) a copy of your CV, including your
actual or expected degree class(es), and results of all
University 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: 19th January 2018
+---------------------------------------------------------------+
This message and any attachment are intended solely for the addressee
and may contain confidential information. If you have received this
message in error, please send it back to me, and immediately delete it.
Please do not use, copy or disclose the information contained in this
message or in any attachment. Any views or opinions expressed by the
author of this email do not necessarily reflect the views of the
University of Nottingham.
This message has been checked for viruses but the contents of an
attachment may still contain software viruses which could damage your
computer system, you are advised to perform your own checks. Email
communications with the University of Nottingham may be monitored as
permitted by UK legislation.
BOB 2018
Conference
“What happens if we simply use what’s best?”
February 23, 2018, Berlin
http://bobkonf.de/2018/
Program:
http://bobkonf.de/2018/en/program.html
Registration:
http://bobkonf.de/2018/en/registration.html
================================================================
BOB is the conference for developers, architects and decision-makers
to explore technologies beyond the mainstream in software development,
and to find the best tools available to software developers today. Our
goal is for all participants of BOB to return home with new insights
that enable them to improve their own software development
experiences.
The program features 14 talks and 8 tutorials on current topics:
http://bobkonf.de/2018/en/program.html
The subject range of talks includes functional programming,
verticalization, formal methods, and data analytics.
The tutorials feature introductions to Haskell, Clojure, Livecoding,
terminal programming, Liquid Haskell, functional reactive programming,
and domain-driven design.
Leif Andersen will give the keynote talk.
Registration is open online:
http://bobkonf.de/2018/en/registration.html
NOTE: The early-bird rates expire on January 22, 2018!
BOB cooperates with the :clojured conference on the following
day. There is a registration discount available for participants of
both events.
http://www.clojured.de/
The SHA1SUMS and SHA256SUMS files in https://downloads.haskell.org/~ghc/8.2.2/
do not have checksums for ghc-8.2.2-x86_64-unknown-linux.tar.xz .
Regards,
Jeremy Henty
