[TYPES/announce] ICFP 2019: Call For Workshop Proposals

[ICFP Publicity]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS
ICFP 2019
 24th ACM SIGPLAN International Conference on Functional Programming


   August 18 - 23, 2019
  Berlin, Germany
https://icfp19.sigplan.org/

The 24th ACM SIGPLAN International Conference on Functional Programming
will be held in Berlin, Germany on August 18-23, 2019.
ICFP provides a forum for researchers and developers to hear about the
latest work on the design, implementations, principles, and uses of
functional programming.

Proposals are invited for workshops (and other co-located events, such
as symposiums) to be affiliated with ICFP 2019 and sponsored by
SIGPLAN. These events should be less formal and more focused than ICFP
itself, include sessions that enable interaction among the attendees,
and foster the exchange of new ideas. The preference is for one-day
events, but other schedules can also be considered.

The workshops are scheduled to occur on August 18th (the day
before ICFP) and 22-23th of August (the two days after ICFP).

--

Submission details
 Deadline for submission: November 25, 2018
 Notification of acceptance:  December 23, 2018

Prospective organizers of workshops or other co-located events are
invited to submit a completed workshop proposal form in plain text
format to the ICFP 2019 workshop co-chairs
(Jennifer Hackett and Christophe Scholliers), via email to

icfp-workshops-2...@googlegroups.com

by November 25, 2018. (For proposals of co-located events other than
workshops, please fill in the workshop proposal form and just leave
blank any sections that do not apply.) Please note that this is a firm
deadline.

Organizers will be notified if their event proposal is accepted by
December 23, 2018, and if successful, depending on the event, they
will be asked to produce a final report after the event has taken
place that is suitable for publication in SIGPLAN Notices.

The proposal form is available at:

http://www.icfpconference.org/icfp2019-files/icfp19-workshops-form.txt

Further information about SIGPLAN sponsorship is available at:

http://www.sigplan.org/Resources/Proposals/Sponsored/

--

Selection committee

The proposals will be evaluated by a committee comprising the
following members of the ICFP 2019 organizing committee, together with
the members of the SIGPLAN executive committee.

 Workshop Co-Chair: Jennifer Hackett(University of Nottingham)
 Workshop Co-Chair: Christophe Scholliers(University of Ghent)
 General Chair: Derek Dreyer (MPI-SWS)
 Program Chair: François Potier(Inria)


--

Further information

Any queries should be addressed to the workshop co-chairs (Jennifer
Hackett and Christophe Scholliers), via email to
icfp-workshops-2...@googlegroups.com

[TYPES/announce] Postdoc position on the Mercedes project in Twente (Netherlands): Maximal Reliability of Concurrent and Distributed Software

[m.huisman]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Postdoc position on the Mercedes project in Twente (Netherlands):
Maximal Reliability of Concurrent and Distributed Software

University of Twente
Group: Formal Methods and Tools
Contact: Prof. Dr. Marieke Huisman 
(m.huis...@utwente.nl)

Job Description
You will be working on the Mercedes project, a 1,5 million euro personal grant 
for Marieke Huisman, funded by NWO.

Goal of the Mercedes project is to develop techniques to ensure the maximal 
reliability of concurrent and distributed software. In earlier projects, we 
started working on the development of a tool set for the verification of 
concurrent programs, called VerCors which is a result of Marieke Huisman’s 
earlier ERC project on verification of concurrent software. The VerCors tool 
set uses deductive program verification, i.e., the desired program properties 
are written in a pre-postcondition style (using a form of separation logic).

The focus of this Postdoc project will be on enabling verification of large 
programs with a significant concurrent aspect. Your ideas would be implemented 
in or should be applicable to the VerCors tool set. We value contributions to 
the theory of large-scale verification, to the process in which verification 
can be applied to large-scale software projects, and/or to the implementation 
of features that may have a significant impact on the usability of VerCors in 
the context of large scale verification.

For more information about the concrete project, please contact Marieke Huisman 
(m.huis...@utwente.nl).

We seek
We are looking for a researcher with an independent mind who is willing to 
cooperate in our team. It is understood that he or she works on the topics 
listed above. Further we ask for good communicative and collaboration skills. 
Candidates should be prepared to prove their English language skills.

As a research outcome we expect publications and (prototype) tools.

We offer
- One post doc position for two years (38 hrs/week), with a possibility of 
extension of upto 2 more years.
- A stimulating scientific environment
- Full status as an employee at the University of Twente, including pension and 
health care benefits.
- Gross salary for a Postdoc is dependent on experience and background, but 
will minimally be € 3.068,00 per month (scale 10.4), plus holiday allowance 
(8%) and end-of-year bonus (8.3%).
- Excellent facilities for professional and personal development.
- Good secondary conditions, in accordance with the collective labour agreement 
CAO-NU for Dutch universities
- A green Campus with lots of sports facilities

Further information
- FMT group: http://fmt.cs.utwente.nl/
- Prof. Dr. Marieke Huisman 
(m.huis...@utwente.nl): 
http://wwwhome.cs.utwente.nl/~marieke/
- Project webpage: http://fmt.ewi.utwente.nl/research/projects/Mercedes/

Application
To apply for the button, visit
https://www.utwente.nl/en/organization/careers/vacancy/!/423176/postdoc-position-on-the-mercedes-project-on-maximal-reliability-of-concurrent-and-distributed-software

Please use the Apply Now button at the bottom of the page.

Deadline: November 24, 2018. Earlier applications are welcome and an early 
start date is an advantage.

Your application should consist of:

- a cover letter (explaining your specific interest and qualifications);
- a full Curriculum Vitae,
  to apply for the PhD student position, this should include a list of
  all courses + marks, and a short description of your MSc thesis;
  to apply for the post doc position, this should include a list of
  all publications, and a short description of your PhD thesis;
- references (contact information) of two scientific staff members.