[TYPES/announce] Call for Workshop Proposals: ICFP 2022

2021-12-09 Thread Ilya Sergey
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

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


  September 11 - 16, 2022
Ljubljana, Slovenia

https://urldefense.com/v3/__https://icfp22.sigplan.org/__;!!IBzWLUs!GXvmHB8zn_c38SroNRTtWD_4wnd_tupEbyso8hRyJETdW-gKXa3ghHzTquyiMhnrd1VXfsBoUwSbPw$
 

The 27th ACM SIGPLAN International Conference on Functional
Programming will be held in Ljubljana, Slovenia on September 11 - 16,
2022, with the option of virtual participation. 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 2022 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 September 11th (the day before
ICFP) and September 15-16th (the two days after ICFP).

--

Submission details
 Deadline for submission: December 24, 2021
 Notification of acceptance:  January  10, 2022

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 2022 workshop co-chairs (Arthur Azevedo de Amorim
and Zoe Paraskevopoulou) via email to

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

by December 24, 2021. (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
January 10, 2022, 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:

https://urldefense.com/v3/__http://www.icfpconference.org/icfp2022-files/icfp22-workshops-form.txt__;!!IBzWLUs!GXvmHB8zn_c38SroNRTtWD_4wnd_tupEbyso8hRyJETdW-gKXa3ghHzTquyiMhnrd1VXfsDzl_Jsyw$
 

Further information about SIGPLAN sponsorship is available at:

https://urldefense.com/v3/__http://www.sigplan.org/Resources/Proposals/Sponsored/__;!!IBzWLUs!GXvmHB8zn_c38SroNRTtWD_4wnd_tupEbyso8hRyJETdW-gKXa3ghHzTquyiMhnrd1VXfsCz172bYA$
 

--

Selection committee

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

 Workshop Co-Chair: Arthur Azevedo de Amorim   (Boston University)
 Workshop Co-Chair: Zoe Paraskevopoulou  (Northeastern University)
 General Chair: Andrej Bauer (University of Ljubljana)
 Program Chair: Zena Ariola (University of Oregon)


--

Further information

Any queries should be addressed to the workshop co-chairs (Arthur
Azevedo de Amorim and Zoe Paraskevopoulou), via email to
icfp-workshops-2...@googlegroups.com.






[TYPES/announce] Postdoc Position in Distributed Systems/Verification/Coq

2016-11-17 Thread Ilya Sergey
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

The PPLV group at University College London (UCL) has an opening for a
one-year postdoctoral position.

The successful candidate will work on the topic of implementing and
verifying distributed protocols and systems in the Coq proof assistant,
taking part in the research project "Program Logics for Compositional
Specification and Verification of Distributed Systems", funded by Ilya
Sergey's recently-awarded EPSRC First Grant. The project also involves
collaborators from University of Washington, US.

The ideal candidate will have a Ph.D. in Computer Science, general
knowledge of formal methods, and expertise in interactive theorem proving,
with substantial experience in using Coq, Agda, or similar tools.
Candidates should demonstrate strong programming and formal modeling
skills. Previous experience with concurrent or distributed programming is a
considerable plus.

The application deadline is December 8. 2016. The start date is negotiable,
but ideally it should be early in 2017. Here is the official advert with
more details, and the application link:

http://bit.ly/2f56sS1

Please, pass this on to anyone you think might be interested, and get in
touch with me if you have more questions about the position or UCL.

Kind regards.
Ilya


[TYPES/announce] Two PhD positions in verification at UCL

2016-08-01 Thread Ilya Sergey
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Hello all,

I am seeking to recruit two bright, enthusiastic doctoral students for two
related projects on verification of blockchain-based smart contracts.

The projects will build on ideas from interactive theorem proving,
certified programming and program verification. Applicants with strong
theoretical background and with practical programming expertise (or both)
are encouraged to apply.

The students will be based at the University College London, UK and will be
members of the Programming Principles, Logic and Verification Group (
http://pplv.cs.ucl.ac.uk). The stipend is a tax free lump sum of
approximately £16,296 to £17,808 per year, covering fees and living
expenses over three years. There is separate funding for computer equipment
and conference attendance. The positions will remain open until filled, and
screening of candidates will begin on Monday, 19 September 2016. The start
date is negotiable.

Further information on the projects, UCL, and detailed instructions on the
application process are available by the following links:

https://www.prism.ucl.ac.uk/#!/?project=193
https://www.prism.ucl.ac.uk/#!/?project=194

Please, pass this on to anyone you think might be interested, and get in
touch with me if you would like to discuss these opportunities.

Kind regards.
Ilya