Re: [TYPES/announce] subject reduction

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear types-announce and types-list, As a moderator of both list, I mistakenly accepted this "Subject reductoin" email on the types-announce list, which is only for announces. Apologies for

[TYPES/announce] ML Family Workshop 2018: Call for presentations

n - Troels Henriksen, University of Copenhagen, Denmark - Andrew Kennedy, Facebook, UK - Felix Klock, Mozilla, Germany - Ramana Kumar, DeepMind, UK - Guido Martinez, CIFASIS-CONICET, Argentina - Heather Miller, Northeastern University, US and EPFL, Switzerland - Gabriel Scherer, INRIA Saclay, Fran

Re: [TYPES/announce] ML Family Workshop 2018: Call for presentations

/track/mlfamilyworkshop-2018-papers#Call-for-presentations Please feel free to send me an email for any questions you would have on the workshop. Best On Sun, May 6, 2018 at 12:40 PM, Gabriel Scherer <gabriel.sche...@gmail.com> wrote: > We are happy to invite submissions to the ML Family Work

[TYPES/announce] ML Family Workshop 2018: Deadline extension until June 6th

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, The ML Family Workshop, colocated with ICFP on September 28th, hasn't received as many submissions as we would like. We decided to extend the deadline to June 6th, anywhere on

[TYPES/announce] Fwd: Assistant Professor in Logic of Programs, Stockholm University (Closing date: April 3)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear list, Erik Palmgren sends the following announcement to the list: # Tenure track position as Assistant Professor in Computer Science directed towards Logic of

[TYPES/announce] Logic Mentoring Workshop (LMW'18): Call for Participation

(McGill University) Gabriel Scherer (INRIA) PANELISTS Nick Benton (Facebook) Marco Gaboardi (University at Buffalo) Cynthia Kop (Radboud University Nijmegen) Alexandra Silva (University College London) ORGANIZING COMMITTEE Ugo Dal Lago (Università degli Studi di Bologna) Jan Hoffmann (Carnegie Mellon

Re: [TYPES/announce] Online seminar on type-based verification

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Minor correction: the seminar will take place on Friday September 4th. (I would blame the error on the US date format "Friday 09/04/2020" of the website, which apparently is not just

[TYPES/announce] Postdoctoral research fellowship at the University of Leeds

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear types-announce, I am forwarding below an announcement I received from Nicola Gambino on the hott-list. --- The School of Mathematics of the University of Leeds is offering a 3-year

[TYPES/announce] Logic and Interactions 2022 (Marseille, France) -- Early announcement

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear announcements list, I'm sending this message on behalf of Lionel Vaux. [ Please distribute, apologies for multiple postings. ]

[TYPES/announce] ICFP'21 Artifact Evaluation Committee: call for nominations

, currently less prestigious than reviewing papers, the evaluation process is less clearly-defined and well-understood than for papers.) Come join us in improving the quality of research in our field! Best, the Artifact Evaluation Chairs: Gabriel Scherer and Brent Yorgey.

[TYPES/announce] [meta] URL rewriting notice

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear types-announce list, UPenn, who has been generously hosting this mailing-list (and types-list) since 2006, has just setup an email-processing system that rewrites URLs included in all

[TYPES/announce] Fwd: [gdri-ll] CfP: Logic and Interaction, Marseille, 24 Jan-25 Feb 2022

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear announcements list, I'm sending this message on behalf of Lionel Vaux. --- Call for participation LOGIC AND INTERACTIONS 2022 (LI2022)

[TYPES/announce] One-year postdoc position on category theory for lambda-calculus and proof theory, in the Paris area

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We (Gabriel Scherer and Noam Zeilberger) are looking for candidates for a one-year post-doc position, ideally starting in January 2022, at INRIA Saclay / École Polytechnique (in the Paris

[TYPES/announce] CFP : Logical Frameworks and Meta-Languages: Theory and Practice + Frank Pfenning's 60th birthday @ FLOC 2022

Chair (Huawei ERC & UFPB) * Giselle Reis (CMU Qatar) * Gabriel Scherer (Inria Saclay Ile-de-France) * Carsten Schuermann (IT University of Copenhagen) * Bernardo Toninho (Universidade Nova de Lisboa and NOVA-LINCS)

[TYPES/announce] ICFP'22 Artifact Evaluation Committee: call for nominations

in improving the quality of research in our field! Best, the Artifact Evaluation chairs: Jannis Limperg and Gabriel Scherer.

[TYPES/announce] New moderator: Ningning Xie

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear list, I have served as moderator for types-announce and types-list since November 2017; my moderation has been slightly less reliable at times in the last year or so, and I decided to

[TYPES/announce] Moderator's note: Working through backlog of unposted message

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear Types-announce list subscribers, Just a quick note mentioning that -- as you probably noticed -- the May issue in forwarding emails (which was on my side) has been fixed and the emails