[TYPES/announce] Faculty Position at McGill University

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, McGill is advertising a faculty position in Software Engineering. I would especially encourage candidates whose work links to programming languages and compilers and complements

[TYPES/announce] PPDP 2017: Call For Papers

attend and present their paper at the conference. Papers must be submitted via easychair. The submission site is at https://easychair.org/conferences/?conf=ppdp2017 PROCEEDING Accepted papers will be published in the ACM International Conference Proceedings Series. PROGRAM CHAIR Brigit

[TYPES/announce] PPDP 2017: Call For Papers (Abstract 12 May / Paper 19 May)

per at the conference. Papers must be submitted via easychair. The submission site is at https://easychair.org/conferences/?conf=ppdp2017 PROCEEDING Accepted papers will be published in the ACM International Conference Proceedings Series. PROGRAM CHAIR Brigitte Pientka (McGill

[TYPES/announce] PPDP 2017: ** REVISED PAPER DEADLINE 26 May **

ROCEEDING Accepted papers will be published in the ACM International Conference Proceedings Series. PROGRAM CHAIR Brigitte Pientka (McGill University) PROGRAM COMMITTEE Andreas Abel (Gothenburg University) Nadia Amin (EPFL) Zena M. Ariola (University of Oregon) Kenichi Asai

[TYPES/announce] Dates regarding POPL

/1FAIpQLSfe7YCAAw1GBsvTvRS6XfdgOnnWP_QeE7vSQzVIBT1M8uRGLg/viewform?vc=0&c=0&w=1&usp=mail_form_link <https://docs.google.com/forms/d/e/1FAIpQLSfe7YCAAw1GBsvTvRS6XfdgOnnWP_QeE7vSQzVIBT1M8uRGLg/viewform?vc=0&c=0&w=1&usp=mail_form_link> If you have any questions, comments, or concerns, please send me email. Best, Brigitte Pientka

[TYPES/announce] PL and AI faculty positions at McGill University

programming languages, security, privacy, reliability, formal methods, and software engineering. https://hiring.cs-ece.mcgill.ca/ If you are interested, I strongly encourage you to apply. - Brigitte Pientka --- Prof. Brigitte

[TYPES/announce] Postdoc / PhD position in Computer Science, McGill University

/GeneralInfo If interested, send a brief reseach statement, CV to Brigitte Pientka (bpien...@cs.mcgill.ca) by 1 May, 2012. Additional material, such as letters of recommendation, will be requested if necessary. Early expression of interest is encouraged. Fluency in French is an asset, but is not required.

[TYPES/announce] Beluga release: programming with proofs

scribe to it at: http://mailman.cs.mcgill.ca/mailman/listinfo/beluga-dev Best, Beluga-Developers Brigitte Pientka, Mathieu Boespflug, Costin Badescu, Olivier Savary Belanger, Stefan Monnier

[TYPES/announce] Postdoc/Research Associate in logical frameworks

to Brigitte Pientka (bpien...@cs.mcgill.ca) by 15 Nov, 2012. Additional material, such as letters of recommendation, will be requested if necessary. Early expression of interest is encouraged. Fluency in French is an asset, but is not required.

[TYPES/announce] LFMTP'13: call for papers

g Logics. Journal of the Association for Computing Machinery, 40(1):143-184, 1993 Program Committee: = * David Baelde, ENS * James Cheney, Edinburgh * Adam Chlipala, MIT * Dan Licata, CMU/IAS * Alberto Momigliano, Milano (organizer) * Brigitte Pientka, McGill (organizer) * N

[TYPES/announce] LFMTP'13: Logical Frameworks and Meta-Languages (CFP)

Computing Machinery, 40(1):143-184, 1993 Program Committee: = * David Baelde, ENS * James Cheney, Edinburgh * Adam Chlipala, MIT * Dan Licata, CMU/IAS * Alberto Momigliano, Milano (organizer) * Brigitte Pientka, McGill (organizer) * Nicolas Pouillard ITU * Randy Pollack, Harvard

[TYPES/announce] JFP paper: POPLMark reloaded: Mechanizing proofs by logical relations

, Brigitte Pientka, Steven Schaefer, Kathrin Stark, Journal of Functional Programming, 29, E19. doi:10.1017/S0956796819000170 on how to mechanize proofs using logical relations on well-typed terms. It is an expanded version of B. Pientka's invited talk at Certified Proofs and Programs (CPP'19)

[TYPES/announce] Call for Presentations for "Teaching Functional Programming in OCaml" as part of the OCaml Workshop 2022

Workshop will decide which presentations should be delivered as posters or talks. Simão Melo de Sousa (University of Beira Interior) Brigitte Pientka (McGill University) Yann Regis-Gianas (Paris Diderot University) Xujie Si (McGill University) signature.asc Description: Message signed with OpenPGP

[TYPES/announce] PL and AI faculty Position at McGill University

ournals, and/or related publication venues. If you are interested, I would encourage you to apply. Feel free to contact me! - Brigitte --- Prof. Brigitte Pientka School of Computer Science McGill University 3480 Unive

[TYPES/announce] CFP - CPP 2024 - Certified Programs and Proofs

tp://www.acm.org/publications/policies/copyright-policy <http://www.acm.org/publications/policies/copyright-policy>) and Author Rights (http://authors.acm.org/main.html <http://authors.acm.org/main.html>). Sandrine Blazy, University of Rennes, France (co-chair) Brigitte Pientka, McGil

[TYPES/announce] 2nd CFP - CPP 2024 Certified Programs and Proofs

uthors.acm.org/main.html>). Sandrine Blazy, University of Rennes, France (co-chair) Brigitte Pientka, McGill University, Canada (co-chair) ORGANIZERS Amin Timany, Aarhus University, Denmark (conference co-chair) Dmitriy Traytel, University of Copenhagen, Denmark (conference co-chair) Sandri

[TYPES/announce] Tenure-Track Faculty Positions at McGill University: Secure Software and Computer Systems

ldg/Tenure-Track-Faculty-Positions-in-Computer-Science--Secure-Software-and-Computer-Systems_JR048741-1> If you’re interested, feel free to contact me! Brigitte --- Prof. Brigitte Pientka School of Computer Science

[TYPES/announce] Certified Programs and Proofs (CPP'24) - Call for Participation

tudent support is made possible by our generous industrial supporters: https://popl24.sigplan.org/home/CPP-2024#About ### Contact For any questions please contact the chairs: Brigitte Pientka (PC co-chair) Sandrine Blazy mailto:sandrine.bl...@irisa.fr>> (PC co-chair) Dmitriy Traytel (co

[TYPES/announce] LFMTP'07: Call for papers

h) Peter Dybjer(Chalmers University) Marino Miculan (University Udine) Dale Miller (INRIA Futurs) Brigitte Pientka(McGill University) Benjamin Pierce (University of Pennsylvania) Carsten Schuermann (IT University of Copenhagen, PC Chair)

[TYPES/announce] CFP: LFMTP'07

(INRIA Futurs) Brigitte Pientka (McGill University) Benjamin Pierce(University of Pennsylvania) Carsten Schuermann (IT University of Copenhagen, PC Chair) Christian Urban(TU Munich) Paper Submissions: Three categories of papers are solicited:

[TYPES/announce] CFP:Special issue: Intuitionistic Modal Logics and Applications (IMLA)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers Special Issue of Information and Computation on Intuitionistic Modal Logics and Applications (IMLA) Guest Editors: Valeria de Paiva, Brigitte Pientka and Aleks Nanevski

[TYPES/announce] Postdoc / PhD position in Computer Science, McGill University

ation for prospective students: http://www.cs.mcgill.ca/prospective-students/graduate/GeneralInfo If interested, please contact for more information Brigitte Pientka (bpien...@cs.mcgill.ca) together with a brief research statement and CV.