[TYPES/announce] PhD (postdoc) position in software verification and synthesis @ MPI-SWS

[Eva Darulova]

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

** PhD (postdoc) position in software verification and synthesis @ MPI-SWS
**

I am looking to fill an open PhD (postdoc) position in the area of software
verification and synthesis at the Max Planck Institute for Software Systems
starting in fall 2016.

Computing resources are fundamentally limited and we often end up
approximating our computations, trading accuracy for resource efficiency
when implementing real-world systems. Unfortunately, we are currently
lacking the required tool support to take full advantage of this tradeoff.
I am looking for motivated candidates who would like to work with me on a
‘verifying and approximating compiler’ which will apply approximations
automatically and in a trustworthy fashion.

** Requirements **

Successful candidates should have a four-year Bachelor's degree or a
Master's degree in computer science or a related subject from a leading
institution of higher education, creativity and aptitude for research in a
dynamic multi-cultural team, and proficiency in spoken and written English.
Knowledge of the German language is not required.

Qualified candidates can also be considered for a postdoc position.

** Institute **

The Max Planck Institute for Software Systems  is
located in Kaiserslautern and Saarbrücken in Germany and offers doctoral
programs in collaboration with universities. We maintain an open,
international, and diverse work environment and collaborate with several
major research institutions worldwide. Our working language is English.
The advertised position is located in Saarbrücken.

** Application **

Please apply at https://apply.mpi-sws.org/ with under "Doctorate" (resp.
"Postdoc"), and select “Programming Languages, Software Engineering,
and Verification’'
as the field and let me know separately about your application via
email. Required application materials include a CV, transcript, statement
of purpose (resp. research statement) and min. two references.

Please contact Eva Darulova (www.mpi-sws.org/~eva) with any questions.

The institute is committed to increasing the representation of minorities,
women and persons with disabilities and expressly welcomes them to apply.

Reviewing of applications will start in June 2016.

--

Eva Darulova
www.mpi-sws.org/~eva

[TYPES/announce] The 8th Coq Workshop - 2nd CFP - deadline for submission: june 1st 2016

[Nicolas Magaud]

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



The Eighth Coq Workshop (2016)
http://coq.inria.fr/coq-workshop/2016 


Colocated with the 7th International Conference on Interactive 
Theorem Proving (ITP 2016) 
August 26, 2016 in Nancy, France



The Coq Workshop series brings together Coq users, developers, and 
contributors.  While 
conferences usually provide a venue for traditional research papers, the Coq 
Workshop focuses on
strengthening the Coq community and providing a forum for discussing practical 
issues, including the 
future of the Coq software and its associated ecosystem of libraries and tools. 
 Thus, the workshop will be 
organized around informal presentations and discussions, likely supplemented 
with invited talks.

Submission Instructions 

We invite all members of the Coq community to propose informal talks, 
discussion sessions, or any 
potential uses of the day allocated to the workshop.  Relevant subject matter 
includes but is not limited to:

 * Language or tactic features
 * Theory and implementation of the Calculus of Inductive Constructions
 * Applications and experience in education and industry
 * Tools and platforms built on Coq
 * Plugins and libraries for Coq
 * Interfacing with Coq
 * Formalization tricks and Coq pearls

Authors should submit short proposals through EasyChair.  Submissions should be 
in portable 
document format (PDF).  Proposals should not exceed 2 pages in length in 
single-column full-page style.

Venue: Nancy, France

Important Dates:

 * June 1: Deadline for proposal submission
 * June 15: Acceptance notification
 * August 26: Workshop in Nancy

Submission URL: https://www.easychair.org/conferences/?conf=coq8 


Program committee: 

* Frédéric Blanqui, INRIA, France
* Adam Chlipala, MIT, United States
* Cyril Cohen, INRIA, France
* Pierre Courtieu, CNAM, France
* Jónathan Heras Vicente, University of La Rioja, Spain
* Robbert Krebbers, Aarhus University, Denmark
* Nicolas Magaud (co-chair), University of Strasbourg, France
* Micaela Mayero, Univeristy of Paris 7, France
* Julien Narboux (co-chair), University of Strasbourg, France
* Claudio Sacerdoti-Coen, University of Bologna, Italy
* Beta Ziliani, FAMAF, Universidad Nacional de Córdoba, Argentina, and CONICET, 
Argentina

Organization:

Contacts: Nicolas Magaud (mag...@unistra.fr ), Julien 
Narboux (narb...@unistra.fr )

[TYPES/announce] SPLASH-I 2016: Call for Talk Proposals!

[Tijs van der Storm]

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

SPLASH-I: Innovation, Interaction, Insight, Industry, Invited

The ACM SIGPLAN conference on Systems, Programming, Languages and
Applications: Software for Humanity (SPLASH) embraces all aspects of
software construction and delivery to make it the premier conference at the
intersection of programming, languages, and software engineering. SPLASH
2016 will take place from Sunday, October 30 to Friday, November 4, 2016 in
Amsterdam, The Netherlands.

SPLASH-I is the track of SPLASH dedicated to great talks on exciting
topics! SPLASH-I will run in parallel with all of SPLASH (during the week
days), and is open to all attendees. SPLASH-I will host both invited talks
and selected talks submitted via this call for proposals. SPLASH-I solicits
inspiring talks, tutorials and demonstrations on exciting topics related to
programming and programming systems, delivered by excellent speakers from
academia or industry.

SPLASH-I caters for three categories of presentations:

- Regular talks on programming languages, systems or concepts;
- Tutorials aimed at introducing particular tools, systems, or languages
- Demonstrations showing off cool programming technology.

All slots in SPLASH-I are 45 minutes.

Please submit proposals here: http://goo.gl/forms/FZqQwpd73G
Have a suggestion for a great speaker and topic? Suggest it here:
http://goo.gl/forms/MWzgStWkww

SPLASH-I maintains two deadlines: 1st of June, and, if there are still
slots available, 1st of August.

Websites: http://2016.splashcon.org/track/splash-2016-splash-i

Organization: Eelco Visser (TU Delft), Tijs van der Storm (CWI)

Committee:
 - Matthias Hauswirth (University of Lugano)
 - Igor Peshansky (Google)
 - Tiark Rompf (Purdue & Oracle Labs)
 - Jurgen Vinju (CWI)

[TYPES/announce] SPLASH 2016: Call for Sponsorships

[Tijs van der Storm]

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

The ACM SIGPLAN conference on Systems, Programming, Languages and
Applications: Software for Humanity (SPLASH) embraces all aspects of
software construction and delivery to make it the premier conference at the
intersection of programming, languages, and software engineering. SPLASH
2016 will take place from Sunday, October 30 to Friday, November 4, 2016 in
Amsterdam, The Netherlands.

Web version of this call for sponsorships:
http://2016.splashcon.org/attending/support-program

SPLASH is where the best of the best in software innovation, programming
and programming languages convene, learn from and inspire each other, and
share their passion for software. Supporting SPLASH is an opportunity to
put your corporate name in front of this community — a superb investment
for your organization.

# Sponsorship Packages

## Diamond: $US 15 000

Benefits:
- Recognition as a supporter in print and on the web. Recognized as a
Diamond supporter on registration brochures and conference program
- Two company-provided items placed in the conference tote bag
- Official exclusive support for your choice of (subject to availability):
Doctoral Symposium, Poster Session, Keynotes, or support for 8 Student
Volunteers named for your organization
- Attendance (for two) at an invitation-only reception by the SPLASH
General Chair
- Choice of: two Full conference registrations; or two complimentary main
conference registrations plus two complimentary one-day pass registrations

## Gold: $US 10 000

Benefits:
- Recognition as a supporter in print and on the web. Recognized as a Gold
supporter on registration brochures and conference program
- Two company-provided items placed in the conference tote bag
- Official support for your choice of (subject to availability): Doctoral
Symposium, Poster Session, Keynotes, or support for 6 Student Volunteers
named for your organization
- Attendance (for two) at an invitation-only reception by the SPLASH
General Chair
- Choice of: one Full conference registration plus one complimentary main
conference registration; or two complimentary main conference registrations
plus one complimentary one-day pass registration

## Silver: $US 5000

Benefits:
- Recognition as a supporter in print and on the web. Recognized as a
Silver supporter on registration brochures and conference program
- One company-provided item placed in the conference tote bag
- Official support for your choice of: four Student Volunteers named for
your organization; or the Keynotes (non-exclusive support)
- Attendance (for two) at an invitation-only reception by the SPLASH
General Chair
- Your choice of: one Full conference registration; or one complimentary
main conference registration plus one complimentary one-day pass
registration; or three complimentary one-day pass registrations

## Bronze $US 3000

- Recognition as a supporter in print and on the web. Recognized as a
Bronze supporter on registration brochures and conference program
- One company-provided one-page insert placed in conference tote bag
- Official support for two Student Volunteers named for your organization
- Attendance (for one) at an invitation-only reception by the SPLASH
General Chair
- Your choice of: one complimentary main conference registration; or two
complimentary one-day pass registrations

# Why sponsor SPLASH?

SPLASH values innovation, collaboration, and diversity. For many software
researchers, academics, students, educators, and practitioners, SPLASH is
the most important conference of the year. It is a place to:

- improve skills and productivity, independent of any particular product or
vendor;
- gain a global perspective connecting with world experts; and
- discover and explore new trends and innovations in leading edge research
and practice.

Becoming a SPLASH corporate supporter demonstrates your leadership and
commitment to the community. It is an opportunity to:

- carry your message to community leaders;
- associate your brand with world-class research and development;
- position your company as a leader in the field; and
- prepare for the future.

Your corporate name and logo will be in front of the entire community
throughout the conference. For the same contribution you also receive
either complimentary or discounted SPLASH registrations for use by your
organization. You will also have the opportunity to participate in
invitation-only events that will provide you with direct, one-on-one
interactions with some key members of the SPLASH community.

Thank you for your time! Please do not hesitate to contact us at
supp...@splashcon.org. We look forward to helping you make the most of your
investment in SPLASH.

Jurgen Vinju
SPLASH 2016 Sponsorship Chair

Eelco Visser
SPLASH 2016 General Chair