[TYPES/announce] PLDI 2010: Call for Tutorials

://www.research.ibm.com/people/h/hind/pldi08-tutorial-program.htm and http://ties.ucsd.edu/PLDI/tutorials.shtml, respectively). Submission Procedures Submissions should be in text or pdf form, sent via email to Michael Hicks (m...@cs.umd.edu, with subject line PLDI tutorial proposal) with the following

[TYPES/announce] Program Director positions (programming languages formal methods) application deadline May 3, 2010

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The US National Science Foundation funds much of the research in the US on programming languages and type systems. Per the e-mail below (which Dr. Greenspan agreed that I could forward),

[TYPES/announce] Call for papers: HotSWUp III

PROGRAM COMMITTEE Rida Bazzi, Arizona State University, USA (co-organizer) Carlo Aldo Curino, Massachusetts Institute of Technology, USA Fabien Dagnat, Telecom Bretagne, France Johann Eder, University of Vienna, Austria Michael Hicks, University of Maryland, College park, USA (co-organizer) Manuel

[TYPES/announce] Call for Papers: HotSWUp IV

June 3, 2012 PROGRAM COMMITTEE Don Batory, The University of Texas at Austin Walter Cazzola, Università degli Studi di Milano Danny Dig, University of Illinois at Urbana-Champaign (co-organizer) Michael Hicks, University of Maryland Bo Nørregaard Jørgensen, University of Southern

[TYPES/announce] Postdoc positions in PL and security at the University of Maryland, College Park

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Postdoc position in PL and Security at the University of Maryland, College Park The Maryland Cybersecurity Center (MC2) and the Laboratory for Programming Languages research at the

[TYPES/announce] Post-doc position in PL and Security at UMD

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Postdoc position at the University of Maryland, College Park, USA. We are looking for a *post-doctoral researcher* interested in applying programming languages techniques to automatically

[TYPES/announce] QuICS/PLUM Postdoctoral Scholarship On Practical Quantum Computation

Andrew Childs, Alexey Gorshkov, Michael Hicks, and Xiaodi Wu. This project has three main thrusts. First, it is developing theoretical methods and software tools for mapping quantum circuits onto restricted architectures. Second, it is studying the role of long-range interactions in quantum processors