[TYPES/announce] Chalmers Online Functional Programming Seminar Series (TODAY: Benjamin Pierce!)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] A reminder of today's seminar by Benjamin Pierce. 16.00. Backtracking Generators for Random Testing. Last week we had 720 people who tuned in to Simon Peyton Jones! Unfortunately, we had

[TYPES/announce] Online seminars in functional programming @ Chalmers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The folks at Chalmers have just put together an online seminar series in Functional Programming—details here: http://chalmersfp.org . It’s open to the public, and

[TYPES/announce] Guide to best practices for virtual conferences

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [TL;DR: Please help circulate a new guide for organizers of virtual conferences.] Dear colleagues, The Association for Computing Machinery recently chartered a Presidential Task Force to

[TYPES/announce] Postdoc opening at the University of Pennsylvania

three references to email letters of recommendation to Dr. Loo. For more information, please feel free to contact any of the APC Principal Investigators: Boon Thau Loo (boon...@seas.upenn.edu <mailto:boon...@seas.upenn.edu>) Benjamin C. Pierce (bcpie...@seas.upenn.edu) Andre S

[TYPES/announce] Postdoc positions at the University of Pennsylvania

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] PENN’S PL CLUB IS LOOKING FOR POSTDOCS The University of Pennsylvania’s PL group is looking to hire multiple postdoctoral researchers to work on projects related to verification, software

[TYPES/announce] PhD positions at Penn in PL and Formal Methods

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Programming Languages and Formal Methods group at the University of Pennsylvania invites interested students to apply to our PhD program. We conduct research on a broad range of

[TYPES/announce] DeepSpec summer school is online!

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The DeepSpec Summer School on Verified Systems was held in Philadelphia during the last two weeks of July. If you weren’t able to join in person, you may like to know that all the

[TYPES/announce] Last call: DeepSpec Summer School, July 13-28, 2017

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The first DeepSpec Summer School on Verified Systems will be held in Philadelphia from July 17 to 28, 2017, preceded by an introductory Coq Intensive from July 13 to 15. The second week

[TYPES/announce] [CSF-attendees] DeepSpec Summer School, July 13-28, 2017 -- call for applications

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The first DeepSpec Summer School on Verified Systems will be held in Philadelphia from July 17 to 28, 2017, preceded by an introductory Coq Intensive from July 13 to 15. Applications

[TYPES/announce] DeepSpec Summer School, July 13-28, 2017

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The first DeepSpec Summer School on Verified Systems will be held in Philadelphia from July 17 to 28, 2017, preceded by an introductory Coq Intensive from July 13 to 15. Overview Can

[TYPES/announce] Postdoc position at Penn on the DeepSpec project

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Join Penn as a postdoc on the DeepSpec project! Outstanding postdocs with interests in programming languages, formal verification, and systems software are invited

[TYPES/announce] Faculty position at Penn in Formal Methods

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Department of Computer and Information Science at the University of Pennsylvania (http://www.cis.upenn.edu) is recruiting faculty for Fall 2016, with Formal Methods as a priority area.

[TYPES/announce] Postdoc opening in PL and security at University of Pennsylvania

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Applications are invited for a postdoc position with the CRASH/SAFE project at the University of Pennsylvania. CRASH/SAFE is an ambitious effort to design new computer systems that are

[TYPES/announce] Japanese translation of Software Foundations

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Friends and colleagues, As many of you know, Software Foundations (http://www.cis.upenn.edu/~bcpierce/sf/) is a electronic textbook introducing functional programming, Coq proof

[TYPES/announce] TLDI 2012 - Call for Papers and Contributed Talks (updated)

Submission deadline October 10, 2011 (Monday) NotificationNovember 10, 2011 (Thursday) WorkshopJanuary 28, 2012 (Saturday) __ Program Chair: Benjamin C. Pierce University of Pennsylvania

[TYPES/announce] Workshop on Bidirectional Transformations (BX 2012)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS First International Workshop on Bidirectional Transformations (BX 2012) Tallinn, Estonia

[TYPES/announce] New release of Software Foundations text

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] I'm delighted to announce that the Software Foundations team has recently released a new revision of our online textbook: http://www.cis.upenn.edu/~bcpierce/sf/ The book covers a

[TYPES/announce] CRASH/SAFE postdoc opportunities at Penn, Harvard, and Northeastern

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [A more detailed version of the announcement I posted a few weeks ago. --BCP] Applications are invited for postdoc positions in the areas of programming languages, operating systems,