Difference between revisions of "POPL 2020"

From Openresearch
Jump to: navigation, search
(Committee)
(Committee)
Line 40: Line 40:
 
* PADL 2020
 
* PADL 2020
  
==Committee==
+
==Committees==
 
'''General Chair'''
 
'''General Chair'''
 
* Brigitte Pientka, McGill University
 
* Brigitte Pientka, McGill University
Line 84: Line 84:
 
'''Student Volunteer Co-Chair'''
 
'''Student Volunteer Co-Chair'''
 
* Carlos Mão de Ferro, Lasige, Faculty of Sciences, Universidade de Lisboa, Portugal
 
* Carlos Mão de Ferro, Lasige, Faculty of Sciences, Universidade de Lisboa, Portugal
 +
* Hanneli Tavante, McGill University
  
 
'''Treasurer & Conference Manager'''
 
'''Treasurer & Conference Manager'''
 
* Annabel Satin, P.C.K.
 
* Annabel Satin, P.C.K.
  
Accessibility Chair
+
'''Accessibility Chair'''
Alexandra Silva  
+
* Alexandra Silva, University College London, United Kingdom
University College London
+
 
United Kingdom
+
'''Web Chair'''
Hanneli Tavante
+
* Amin Timany, imec-Distrinet KU-Leuven, Belgium
Hanneli Tavante Student Volunteer Co-Chair
+
 
McGill University
+
'''Student Research Competition Co-Chair'''
Amin Timany
+
* Niki Vazou, IMDEA Software Institute
Amin Timany Web Chair
+
 
imec-Distrinet KU-Leuven
+
'''Industrial Relations Co-Chair'''
Belgium
+
* David Walker, Princeton University, United States
Niki Vazou
 
Niki Vazou Student Research Competition Co-Chair
 
IMDEA Software Institute
 
David Walker
 
David Walker Industrial Relations Co-Chair
 
Princeton University
 
United States
 
  
 
==Invited Talks==
 
==Invited Talks==

Revision as of 14:33, 7 July 2020

POPL 2020
47th ACM SIGACT Symposium on Principles of Programming Languages
Event in series POPL
Dates 2020/01/19 (iCal) - 2020/01/25
Homepage: https://popl20.sigplan.org/
Twitter account: ‎@poplconf
Location
Location: New Orleans, Louisiana, USA
Loading map...

Subevents: PEPM 2020
Keynote speaker: Cristina Cifuentes, Hongseok Yang, Martin Vechev
Table of Contents
Tweets by ‎@poplconf


47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020), Sun 19 - Sat 25 January 2020, New Orleans, Louisiana, United States

The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports. We seek submissions that make principled, enduring contributions to the theory, design, understanding, implementation or application of programming languages.

The symposium is sponsored by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG.

POPL 2020 and its co-located events took place in New Orleans, USA, January 19–25, 2020.

Co-hosted Conferences

  • CPP 2020
  • VMCAI 2020

Workshops

  • ADSL 2020
  • CoqPL 2020
  • HASE 2020
  • LAFI 2020
  • PEPM 2020
  • PLMW 2020
  • PLanQC 2020
  • PriSC 2020
  • WGT 2020

Co-hosted Symposiums

  • PADL 2020

Committees

General Chair

  • Brigitte Pientka, McGill University

Program Chair

  • Lars Birkedal, Aarhus University

Video Chair

  • Leif Andersen, Northeastern University, USA
  • Benjamin W Chung, Northeastern University

Artifact Evaluation Co-Chair

  • Benjamin Delaware, Purdue University

Industrial Relations Co-Chair

  • Nate Foster, Cornell University, United States

Publicity Chair

  • Michael Greenberg, Pomona College

Workshops Co-Chair

  • Jan Hoffmann, Carnegie Mellon University, United States
  • Zachary Kincaid, Princeton University, United States

Technical Support

  • Kristoffer Just Arndal Andersen, Aarhus University, Denmark

Evaluation Co-Chair

  • Jeehoon Kang Artifact, KAIST, South Korea

Web Chair

  • Hsiang-Shang ‘Josh’ Ko, Institute of Information Science, Academia Sinica, Taiwan

Student Research Competition Co-Chair

  • Ori Lahav, Tel Aviv University

Registration

  • Carole Mann, R.S.L

Local Chair

  • Michael Mislove, Tulane

Student Volunteer Co-Chair

  • Carlos Mão de Ferro, Lasige, Faculty of Sciences, Universidade de Lisboa, Portugal
  • Hanneli Tavante, McGill University

Treasurer & Conference Manager

  • Annabel Satin, P.C.K.

Accessibility Chair

  • Alexandra Silva, University College London, United Kingdom

Web Chair

  • Amin Timany, imec-Distrinet KU-Leuven, Belgium

Student Research Competition Co-Chair

  • Niki Vazou, IMDEA Software Institute

Industrial Relations Co-Chair

  • David Walker, Princeton University, United States

Invited Talks

  • Cristina Cifuentes: What is a Secure Programming Language
  • Hongseok Yang: Probabilistic Programming
  • Martin Vechev: Can Programming Languages Research impact Deep Learning 2.0?
Facts about "POPL 2020"
AcronymPOPL 2020 +
End dateJanuary 25, 2020 +
Event in seriesPOPL +
Event typeConference +
Has Keynote speakerCristina Cifuentes +, Hongseok Yang + and Martin Vechev +
Has coordinates29° 58' 34", -90° 4' 42"Latitude: 29.975997222222
Longitude: -90.078213888889
+
Has location cityNew Orleans +
Has location countryCategory:USA +
Has location stateLouisiana +
Has twitter‎@poplconf +
Homepagehttps://popl20.sigplan.org/ +
IsAEvent +
Start dateJanuary 19, 2020 +
Title47th ACM SIGACT Symposium on Principles of Programming Languages +