Difference between revisions of "Event:POPL 2019"

From ConfIDent
(mobo import Concept___Event_For_Confident-migrated)
 
 
(10 intermediate revisions by 3 users not shown)
Line 2: Line 2:
 
|Acronym=POPL 2019
 
|Acronym=POPL 2019
 
|Title=46th ACM SIGPLAN Symposium on Principles of Programming Languages
 
|Title=46th ACM SIGPLAN Symposium on Principles of Programming Languages
 +
|Ordinal=46
 +
|In Event Series=Event Series:POPL
 +
|Single Day Event=no
 +
|Start Date=2019/01/13
 +
|End Date=2019/01/19
 +
|Event Status=as scheduled
 +
|Event Mode=on site
 +
|Venue=Hotel Cascais Miragem
 +
|City=Cascais
 +
|Region=Lisboa
 +
|Country=Country:PT
 +
|Academic Field=Programming Language
 +
|Official Website=https://popl19.sigplan.org/
 +
|DOI=10.25798/qavh-fa06
 
|Type=Conference
 
|Type=Conference
−
|Field=Programming language
 
−
|Submission deadline=2018/07/11
 
−
|Homepage=https://popl19.sigplan.org/
 
−
|City=Cascais
 
−
|Country=Portugal
 
−
|Notification=2018/10/10
 
−
|Camera ready=2018/11/09
 
 
|Has coordinator=Vasco Vasconcelos
 
|Has coordinator=Vasco Vasconcelos
 
|has general chair=Fritz Henglein
 
|has general chair=Fritz Henglein
 
|has program chair=Stephanie Weirich
 
|has program chair=Stephanie Weirich
 
|has workshop chair=Zachary Kincaid, Marco Gaboardi
 
|has workshop chair=Zachary Kincaid, Marco Gaboardi
−
|has Keynote speaker=Mark Harman, Zachary Kincaid
 
 
|pageCreator=User:Curator 19
 
|pageCreator=User:Curator 19
 
|pageEditor=User:Curator 19
 
|pageEditor=User:Curator 19
 
|contributionType=1
 
|contributionType=1
−
|In Event Series=Event Series:POPL
 
−
|Single Day Event=no
 
−
|Start Date=2019/01/13
 
−
|End Date=2019/01/19
 
 
}}
 
}}
 +
{{Event Deadline
 +
|Notification Deadline=2018/10/10
 +
|Camera-Ready Deadline=2018/11/09
 +
|Submission Deadline=2018/07/11
 +
}}
 +
{{Organizer
 +
|Contributor Type=organization
 +
|Organization=Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery
 +
}}
 +
{{Event Metric}}
 +
{{S Event}}
 
'''POPL 2019'''  
 
'''POPL 2019'''  
  
 
Welcome to the '''46th ACM SIGPLAN Symposium on Principles of Programming Languages''' (POPL 2019).
 
Welcome to the '''46th ACM SIGPLAN Symposium on Principles of Programming Languages''' (POPL 2019).
  
−
''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 '''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.
 
The symposium is sponsored by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG.
−
''
+
 
 
POPL 2019 and its co-located events took place at the Hotel Cascais Miragem, Cascais, Portugal, January 13–19, 2019.
 
POPL 2019 and its co-located events took place at the Hotel Cascais Miragem, Cascais, Portugal, January 13–19, 2019.
  
 
==Important Dates==
 
==Important Dates==
 
AoE (UTC-12h)
 
AoE (UTC-12h)
−
* Conference:              Wed 16 - Fri 18 Jan 2019
+
*Conference:              Wed 16 - Fri 18 Jan 2019
−
* Camera ready deadline:    Fri 9 Nov 2018
+
*Camera ready deadline:    Fri 9 Nov 2018
−
* Notification:            Wed 10 Oct 2018
+
*Notification:            Wed 10 Oct 2018
−
* End of rebuttal period:  Fri 21 Sep 2018
+
*End of rebuttal period:  Fri 21 Sep 2018
−
* Start of rebuttal period: Mon 17 Sep 2018
+
*Start of rebuttal period: Mon 17 Sep 2018
−
* Submission deadline:      Wed 11 Jul 2018
+
*Submission deadline:      Wed 11 Jul 2018
  
 
'''Co-hosted Conferences'''
 
'''Co-hosted Conferences'''
−
* CPP 2019
+
*CPP 2019
−
* VMCAI 2019
+
*VMCAI 2019
  
 
'''Workshops'''
 
'''Workshops'''
−
* BEAT 2019
+
*BEAT 2019
−
* CoqPL 2019
+
*CoqPL 2019
−
* LAFI 2019
+
*LAFI 2019
−
* OPCT 2019
+
*OPCT 2019
−
* Off the Beaten Track 2019
+
*Off the Beaten Track 2019
−
* PEPM 2019
+
*PEPM 2019
−
* PLMW 2019
+
*PLMW 2019
−
* PriSC 2019
+
*PriSC 2019
  
 
'''Co-hosted Symposiums'''
 
'''Co-hosted Symposiums'''
−
* PADL 2019
+
*PADL 2019
 
   
 
   
 
==Committees==
 
==Committees==
 
'''Organizing Committee POPL 2019'''
 
'''Organizing Committee POPL 2019'''
  
−
'''General User:Curator 83air'''
+
'''General Chair'''
−
* Fritz Henglein, Department of Computer Science, University of Copenhagen (DIKU), Denmark
+
*Fritz Henglein, Department of Computer Science, University of Copenhagen (DIKU), Denmark
  
−
'''Artifact Evaluation Co-User:Curator 83air'''
+
'''Artifact Evaluation Co-Chair'''
−
* Benjamin Delaware, Purdue University
+
*Benjamin Delaware, Purdue University
  
−
'''Workshops Co-User:Curator 83air'''
+
'''Workshops Co-Chair'''
−
* Marco Gaboardi, University at Buffalo, SUNY, United States
+
*Marco Gaboardi, University at Buffalo, SUNY, United States
−
* Zachary Kincaid, Princeton University, United States
+
*Zachary Kincaid, Princeton University, United States
  
−
'''Publicity User:Curator 83air'''
+
'''Publicity Chair'''
−
* Michael Greenberg, Pomona College
+
*Michael Greenberg, Pomona College
  
−
'''Artifact Evaluation Co-User:Curator 83air'''
+
'''Artifact Evaluation Co-Chair'''
−
* Cătălin Hriţcu, Inria Paris
+
*Cătălin Hriţcu, Inria Paris
  
−
'''Website User:Curator 83air'''
+
'''Website Chair'''
−
* Hsiang-Shang ‘Josh’ Ko, National Institute of Informatics, Japan, Taiwan
+
*Hsiang-Shang ‘Josh’ Ko, National Institute of Informatics, Japan, Taiwan
  
 
'''Registration'''
 
'''Registration'''
−
* Carole Mann, R.S.L
+
*Carole Mann, R.S.L
  
 
'''Student Volunteer Co-Captain'''
 
'''Student Volunteer Co-Captain'''
−
* Carlos Mão de Ferro, LASIGE, Faculty of Sciences, University of Lisbon, Portugal
+
*Carlos Mão de Ferro, LASIGE, Faculty of Sciences, University of Lisbon, Portugal
−
* Alex Sanchez-Stern, University of California, San Diego, United States
+
*Alex Sanchez-Stern, University of California, San Diego, United States
  
 
'''Conference Coordinator, Treasurer'''
 
'''Conference Coordinator, Treasurer'''
−
* Annabel Satin, P.C.K.
+
*Annabel Satin, P.C.K.
  
−
'''Local Arrangements User:Curator 83air'''
+
'''Local Arrangements Chair'''
−
* Vasco Vasconcelos, LASIGE, Faculty of Sciences, University of Lisbon, Portugal
+
*Vasco Vasconcelos, LASIGE, Faculty of Sciences, University of Lisbon, Portugal
  
−
'''Student Research Competition User:Curator 83air'''
+
'''Student Research Competition Chair'''
−
* Niki Vazou, IMDEA Software Institute
+
*Niki Vazou, IMDEA Software Institute
  
−
'''Industrial Relations User:Curator 83air'''
+
'''Industrial Relations Chair'''
−
* David Walker, Princeton University, United States
+
*David Walker, Princeton University, United States
  
−
'''Program User:Curator 83air'''
+
'''Program Chair'''
−
* Stephanie Weirich, University of Pennsylvania, USA, United States
+
*Stephanie Weirich, University of Pennsylvania, USA, United States
  
−
'''Video User:Curator 83air'''
+
'''Video Chair'''
−
* Jakub Zalewski
+
*Jakub Zalewski
  
 
'''Keynotes'''
 
'''Keynotes'''
−
* Mark Harman: Automated Fault-Finding and Fixing at Facebook
+
*Mark Harman: Automated Fault-Finding and Fixing at Facebook
−
* Brigitte Pientka: Mechanized Metatheory - The Next User:Curator 83apter
+
*Brigitte Pientka: Mechanized Metatheory - The Next Chapter

Latest revision as of 08:52, 4 August 2023

Deadlines
2018-10-10
2018-11-09
2018-07-11
11
Jul
2018
Submission
10
Oct
2018
Notification
9
Nov
2018
Camera-Ready
organization
Metrics
Venue

Hotel Cascais Miragem, Cascais, Lisboa, Portugal

Loading map...

POPL 2019

Welcome to the 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019).

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 2019 and its co-located events took place at the Hotel Cascais Miragem, Cascais, Portugal, January 13–19, 2019.

Important Dates

AoE (UTC-12h)

  • Conference: Wed 16 - Fri 18 Jan 2019
  • Camera ready deadline: Fri 9 Nov 2018
  • Notification: Wed 10 Oct 2018
  • End of rebuttal period: Fri 21 Sep 2018
  • Start of rebuttal period: Mon 17 Sep 2018
  • Submission deadline: Wed 11 Jul 2018

Co-hosted Conferences

  • CPP 2019
  • VMCAI 2019

Workshops

  • BEAT 2019
  • CoqPL 2019
  • LAFI 2019
  • OPCT 2019
  • Off the Beaten Track 2019
  • PEPM 2019
  • PLMW 2019
  • PriSC 2019

Co-hosted Symposiums

  • PADL 2019

Committees

Organizing Committee POPL 2019

General Chair

  • Fritz Henglein, Department of Computer Science, University of Copenhagen (DIKU), Denmark

Artifact Evaluation Co-Chair

  • Benjamin Delaware, Purdue University

Workshops Co-Chair

  • Marco Gaboardi, University at Buffalo, SUNY, United States
  • Zachary Kincaid, Princeton University, United States

Publicity Chair

  • Michael Greenberg, Pomona College

Artifact Evaluation Co-Chair

  • Cătălin Hriţcu, Inria Paris

Website Chair

  • Hsiang-Shang ‘Josh’ Ko, National Institute of Informatics, Japan, Taiwan

Registration

  • Carole Mann, R.S.L

Student Volunteer Co-Captain

  • Carlos Mão de Ferro, LASIGE, Faculty of Sciences, University of Lisbon, Portugal
  • Alex Sanchez-Stern, University of California, San Diego, United States

Conference Coordinator, Treasurer

  • Annabel Satin, P.C.K.

Local Arrangements Chair

  • Vasco Vasconcelos, LASIGE, Faculty of Sciences, University of Lisbon, Portugal

Student Research Competition Chair

  • Niki Vazou, IMDEA Software Institute

Industrial Relations Chair

  • David Walker, Princeton University, United States

Program Chair

  • Stephanie Weirich, University of Pennsylvania, USA, United States

Video Chair

  • Jakub Zalewski

Keynotes

  • Mark Harman: Automated Fault-Finding and Fixing at Facebook
  • Brigitte Pientka: Mechanized Metatheory - The Next Chapter
Retrieved from "https://www.confident-conference.org:443/index.php?title=Event:POPL_2019&oldid=118055"
Cookies help us deliver our services. By using our services, you agree to our use of cookies.
More information