=====================================================================
Call for Participation
ICFP 2019
24th ACM SIGPLAN International Conference on Functional Programming
and affiliated events
August 18 - August 23, 2019
Berlin, Germany
http://icfp19.sigplan.org/
Early Registration until July 18!
=====================================================================
ICFP provides a forum for researchers and developers to hear
about the latest work on the design, implementations, principles, and
uses of functional programming. The conference covers the entire
spectrum of work, from practice to theory, including its peripheries.
This year, ICFP is co-located with BOBKonf!
* Overview and affiliated events:
http://icfp19.sigplan.org/home
* Program:
http://icfp19.sigplan.org/program/program-icfp-2019
* Accepted papers:
http://icfp19.sigplan.org/track/icfp-2019-papers
* Registration is available via:
https://regmaster4.com/2019conf/ICFP19/register.php
Early registration ends 18 July, 2019.
* Programming contest:
https://icfpcontest2019.github.io/
* Student Research Competition:
https://icfp19.sigplan.org/track/icfp-2019-Student-Research-Competition
* Follow us on Twitter for the latest news:
http://twitter.com/icfp_conference
In addition to BOBKonf (8/21), there are several events co-located with ICFP:
* Erlang Workshop (8/18)
* Functional Art, Music, Modeling and Design (8/23)
* Functional High-Performance and Numerical Computing (8/18)
* Haskell Implementors' Workshop (8/23)
* Haskell Symposium (8/22-8/23)
* miniKanren Workshop (8/22)
* ML Family Workshop (8/22)
* OCaml Workshop (8/23)
* Programming Languages Mentoring Workshop (8/18)
* Scheme Workshop (8/18)
* Type-Driven Development (8/18)
### ICFP Organizers
General Chair: Derek Dreyer (MPI-SWS, Germany)
Artifact Evaluation Co-Chairs: Simon Marlow (Facebook, UK)
Industrial Relations Chair: Alan Jeffrey (Mozilla Research, USA)
Programming Contest Organiser: Ilya Sergey (Yale-NUS College, Singapore)
Publicity and Web Chair: Sam Tobin-Hochstadt (Indiana University, USA)
Student Research Competition Chair: William J. Bowman (University of British Columbia, Canada)
Workshops Co-Chair: Christophe Scholliers (Universiteit Gent, Belgium)
Jennifer Hackett (University of Nottingham, UK)
Conference Manager: Annabel Satin (P.C.K.)
### PACMPL Volume 3, Issue ICFP 2019
Principal Editor: François Pottier (Inria, France)
Review Committee:
Lennart Beringer (Princeton University, United States)
Joachim Breitner (DFINITY Foundation, Germany)
Laura M. Castro (University of A Coruña, Spain)
Ezgi Çiçek (Facebook London, United Kingdom)
Pierre-Evariste Dagand (LIP6/CNRS, France)
Christos Dimoulas (Northwestern University, United States)
Jacques-Henri Jourdan (CNRS, LRI, Université Paris-Sud, France)
Andrew Kennedy (Facebook London, United Kingdom)
Daan Leijen (Microsoft Research, United States)
Kazutaka Matsuda (Tohoku University, Japan)
Bruno C. d. S. Oliveira (University of Hong Kong, China)
Klaus Ostermann (University of Tübingen, Germany)
Jennifer Paykin (Galois, United States)
Frank Pfenning (Carnegie Mellon University, USA)
Mike Rainey (Indiana University, USA)
Chung-chieh Shan (Indiana University, USA)
Sam Staton (University of Oxford, UK)
Pierre-Yves Strub (Ecole Polytechnique, France)
German Vidal (Universitat Politecnica de Valencia, Spain)
External Review Committee:
Michael D. Adams (University of Utah, USA)
Robert Atkey (University of Strathclyde, IK)
Sheng Chen (University of Louisiana at Lafayette, USA)
James Cheney (University of Edinburgh, UK)
Adam Chlipala (Massachusetts Institute of Technology, USA)
Evelyne Contejean (LRI, Université Paris-Sud, France)
Germán Andrés Delbianco (IRIF, Université Paris Diderot, France)
Dominique Devriese (Vrije Universiteit Brussel, Belgium)
Richard A. Eisenberg (Bryn Mawr College, USA)
Conal Elliott (Target, USA)
Sebastian Erdweg (Delft University of Technology, Netherlands)
Michael Greenberg (Pomona College, USA)
Adrien Guatto (IRIF, Université Paris Diderot, France)
Jennifer Hackett (University of Nottingham, UK)
Troels Henriksen (University of Copenhagen, Denmark)
Chung-Kil Hur (Seoul National University, Republic of Korea)
Roberto Ierusalimschy (PUC-Rio, Brazil)
Ranjit Jhala (University of California, San Diego, USA)
Ralf Jung (MPI-SWS, Germany)
Ohad Kammar (University of Oxford, UK)
Oleg Kiselyov (Tohoku University, Japan)
Hsiang-Shang 'Josh' Ko (National Institute of Informatics, Japan)
Ondřej Lhoták (University of Waterloo, Canada)
Dan Licata (Wesleyan University, USA)
Geoffrey Mainland (Drexel University, USA)
Simon Marlow (Facebook, UK)
Akimasa Morihata (University of Tokyo, Japan)
Shin-Cheng Mu (Academia Sinica, Taiwan)
Guillaume Munch-Maccagnoni (Inria, France)
Kim Nguyễn (University of Paris-Sud, France)
Ulf Norell (Gothenburg University, Sweden)
Atsushi Ohori (Tohoku University, Japan)
Rex Page (University of Oklahoma, USA)
Zoe Paraskevopoulou (Princeton University, USA)
Nadia Polikarpova (University of California, San Diego, USA)
Jonathan Protzenko (Microsoft Research, USA)
Tiark Rompf (Purdue University, USA)
Andreas Rossberg (Dfinity, Germany)
KC Sivaramakrishnan (University of Cambridge, UI)
Nicholas Smallbone (Chalmers University of Technology, Sweden)
Matthieu Sozeau (Inria, France)
Sandro Stucki (Chalmers | University of Gothenburg, Sweden)
Don Syme (Microsoft, UK)
Zachary Tatlock (University of Washington, USA)
Sam Tobin-Hochstadt (Indiana University, USA)
Takeshi Tsukada (University of Tokyo, Japan)
Tarmo Uustalu (Reykjavik University, Iceland)
Benoit Valiron (LRI, CentraleSupelec, Univ. Paris Saclay, France)
Daniel Winograd-Cort (University of Pennsylvania, USA)
Nicolas Wu (University of Bristol, UK)
2019-06-18
[Caml-list] Call for Participation: Summer BOB 2019 (August 21, Berlin)
Xavier Leroy among the speakers!
================================================================================
Summer BOB 2019
Conference
"What happens if we simply use what's best?"
August 21, 2019, Berlin
co-located with ICFP 2019
http://bobkonf.de/2019-summer/
Program: http://bobkonf.de/2019-summer/program.html
Registration: http://bobkonf.de/2019-summer/registration.html
================================================================================
Are you interested in technologies beyond the mainstream, that are a
pleasure to use, and effective at getting the job done?
BOB is the forum for developers, architects and builders to explore
and discover the best tools available today for building software. Our
goal is for all participants to leave the conference with new ideas to
improve development back at the ranch.
Summer BOB is a one-time-only event, in the spirit of the spectacular
Winter BOB. The International Conference on Functional Programming is
coming to town, and Summer BOB will be right in the middle of it, on
the last day of ICFP proper, prior to all the workshops. Summer BOB
will feature two tracks: one from practitioners, and one from
researchers, and foster communication and cross-pollination between
these communities.
BOB features two tracks of seven talk each: One research track with
invited talks, and one track by practitioners, designed to
cross-pollinate and inspire.
http://bobkonf.de/2019-summer/program.html
Topics include distributed programming, testing, linear algebra,
functional design patterns, type systems, formal methods, and
interactive development.
We are committed to diversity: We aim at exploring a wide range of
tools in a welcoming and friendly crowd of diverse people. To that
end, a number of support options for participants from groups
under-represented in tech are available.
http://bobkonf.de/2019-summer/registration.html
NOTE: The early-bird rates expire on July 18, 2019!
================================================================================
Summer BOB 2019
Conference
"What happens if we simply use what's best?"
August 21, 2019, Berlin
co-located with ICFP 2019
http://bobkonf.de/2019-summer/
Program: http://bobkonf.de/2019-summer/program.html
Registration: http://bobkonf.de/2019-summer/registration.html
================================================================================
Are you interested in technologies beyond the mainstream, that are a
pleasure to use, and effective at getting the job done?
BOB is the forum for developers, architects and builders to explore
and discover the best tools available today for building software. Our
goal is for all participants to leave the conference with new ideas to
improve development back at the ranch.
Summer BOB is a one-time-only event, in the spirit of the spectacular
Winter BOB. The International Conference on Functional Programming is
coming to town, and Summer BOB will be right in the middle of it, on
the last day of ICFP proper, prior to all the workshops. Summer BOB
will feature two tracks: one from practitioners, and one from
researchers, and foster communication and cross-pollination between
these communities.
BOB features two tracks of seven talk each: One research track with
invited talks, and one track by practitioners, designed to
cross-pollinate and inspire.
http://bobkonf.de/2019-summer/program.html
Topics include distributed programming, testing, linear algebra,
functional design patterns, type systems, formal methods, and
interactive development.
We are committed to diversity: We aim at exploring a wide range of
tools in a welcoming and friendly crowd of diverse people. To that
end, a number of support options for participants from groups
under-represented in tech are available.
http://bobkonf.de/2019-summer/registration.html
NOTE: The early-bird rates expire on July 18, 2019!
2019-06-17
[Caml-list] [Call for Papers] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence
[apologies for any cross-posting]
****************************************************************************************************************************************************************
Call for Papers [NEW DEADLINES!]
AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence
UNICAL, Rende (CS), 19-22 November 2019
****************************************************************************************************************************************************************
-----------------------------------------------------------------
Topics of Interest
-----------------------------------------------------------------
The conference covers broadly the many aspects of theoretical and applied Artificial Intelligence. A series of workshops dedicated to specific topics enhances the program. AIIA 2019 welcomes submissions covering all areas of AI, including (but not limited to) machine learning, search, planning, knowledge representation, reasoning, constraint satisfaction, natural language processing, robotics and perception, and multiagent systems. We encourage all types of high-quality contributions including theoretical, engineering and applied papers. We also encourage contributions on AI techniques in the context of novel application domains, such as security, sustainability, health care, transportation, and commerce.
Besides regular original papers, in this edition we also welcome discussion papers containing descriptions of results recently published or accepted for the presentation in international conferences. Discussion papers are expected to be more broadly accessible than regular papers, they are an opportunity for the authors to present their recent results to the AI community, and a valuable addition for the attendees of AIIA 2019.
At least one author of each accepted paper is required to register and attend the conference to present the work.
-----------------------------------------------------------------
Proceedings of Regular Papers
-----------------------------------------------------------------
The regular papers will be included in the proceedings of the conference, and will be published by Springer Verlag in the Lecture Notes in Artificial Intelligence series. Authors of selected regular papers accepted to the main track will be invited to submit an extended version for publication on "Intelligenza Artificiale", the International Journal of the Italian Association for Artificial Intelligence, edited by IOS Press and indexed by Thomson Reuters' "Emerging Sources Citation Index" and Scopus by Elsevier.
-----------------------------------------------------------------
Proceedings of Discussion Papers
-----------------------------------------------------------------
The discussion papers will not be included in the LNCS proceedings of the conference, and will be made available through the conference WEB-Site and possibly published on CEUR WS Proceedings upon request.
-----------------------------------------------------------------
Best Papers
-----------------------------------------------------------------
The Program Committee will select the Best Student Paper Award and the Best Paper Award from the accepted regular papers. In order to be eligible for the Best Student Paper award, at least one author must be a student.
-----------------------------------------------------------------
Submission Instructions
-----------------------------------------------------------------
The submitted papers should be written in English and formatted according to the Springer LNCS style.
Regular papers must be original papers which are not being submitted simultaneously for publication elsewhere. These papers should not exceed 12 pages plus bibliography.
The discussion papers report results already published or accepted for the publication in international conferences, and should not exceed 8 pages plus bibliography.
Paper submission is electronic via easychair at the address: https://easychair.org/conferences/?conf=aiia2019
-----------------------------------------------------------------
Important Dates
-----------------------------------------------------------------
Abstract of regular paper submission: (was 28 May 2019) 18 June 2019
Regular paper submission: (was 4 June 2019) 25 June 2019
Notification to authors of regular papers: (was 23 July 2019) 13 August 2019
Camera ready of regular papers: (was 3 September 2019) 17 September 2019
Abstract of discussion paper submission: (was 28 May 2019) 2 July 2019
Discussion paper submission: (was 4 June 2019) 9 July 2019
Notification to authors of discussion papers: (was 23 July 2019) 27 August 2019
Camera ready of discussion papers: (was 3 September 2019) 1 October 2019
-----------------------------------------------------------------
Conference Web Site
-----------------------------------------------------------------
For the most up to date information, please visit: https://aiia2019.mat.unical.it
-----------------------------------------------------------------
Organizing Committee
-----------------------------------------------------------------
Conference Chair:
Nicola Leone (UNICAL, Italy)
Program Chairs:
Mario Alviano (UNICAL, Italy)
Gianluigi Greco (UNICAL, Italy)
Francesco Scarcello (UNICAL, Italy)
Organization Chairs:
Francesco Ricca (UNICAL, Italy)
Chiara Ghidini (FBK, Trento)
Workshop and Tutorial Chair:
Rafael Penaloza (UNIMIB, Italy)
Doctoral Consortium Chair:
Marco Maratea (UNIGE, Italy)
Publicity and Web Chair:
Luca Pulina (UNISS, Italy)
2019-06-07
[Caml-list] Final call for regular papers for IFL 2019 (Implementation and Application of Functional Languages)
Hello,
Apologies for any duplicates you may receive.
best regards,
Jurriaan Hage
Publicity Chair of IFL
Please, find below the call for papers for IFL 2019. With respect to the previous call,
the deadline for submitting regular papers has been changed to June 15th.
Please forward these to anyone you think may be interested.Apologies for any duplicates you may receive.
best regards,
Jurriaan Hage
Publicity Chair of IFL
---
================================================================================
IFL 2019
31st Symposium on Implementation and Application of Functional Languages
National University of Singapore
September 25th-27th, 2019
http://2019.iflconference.org
================================================================================
### Scope
The goal of the IFL symposia is to bring together researchers actively engaged
in the implementation and application of functional and function-based
programming languages. IFL 2019 will be a venue for researchers to present and
discuss new ideas and concepts, work in progress, and publication-ripe results
related to the implementation and application of functional languages and
function-based programming.
Topics of interest to IFL include, but are not limited to:
- language concepts
- type systems, type checking, type inferencing
- compilation techniques
- staged compilation
- run-time function specialization
- run-time code generation
- partial evaluation
- (abstract) interpretation
- metaprogramming
- generic programming
- automatic program generation
- array processing
- concurrent/parallel programming
- concurrent/parallel program execution
- embedded systems
- web applications
- (embedded) domain specific languages
- security
- novel memory management techniques
- run-time profiling performance measurements
- debugging and tracing
- virtual/abstract machine architectures
- validation, verification of functional programs
- tools and programming techniques
- (industrial) applications
### Keynote Speaker
* Olivier Danvy, Yale-NUS College
### Submissions and peer-review
Differently from previous editions of IFL, IFL 2019 solicits two kinds of
submissions:
* Regular papers (12 pages including references)
* Draft papers for presentations ('weak' limit between 8 and 15 pages)
Regular papers will undergo a rigorous review by the program committee, and will
be evaluated according to their correctness, novelty, originality, relevance,
significance, and clarity. A set of regular papers will be conditionally
accepted for publication. Authors of conditionally accepted papers will be
provided with committee reviews along with a set of mandatory revisions.
Regular papers not accepted for publication will be considered as draft
papers, at the request of the author.
Draft papers will be screened to make sure that they are within the scope of
IFL, and will be accepted for presentation or rejected accordingly.
Prior to the symposium:
Authors of conditionally accepted papers and accepted presentations will
submit a pre-proceedings version of their work that will appear in the draft
proceedings distributed at the symposium. The draft proceedings does not
constitute a formal publication.
We require that at least one of the authors present the work at IFL 2019.
After the symposium:
Authors of conditionally accepted papers will submit a revised versions of
their paper for the formal post-proceedings.
The program committee will assess whether the mandatory revisions have been
adequately addressed by the authors and thereby determines the final
accept/reject status of the paper.
Our interest is to ultimately accept all conditionally accepted papers. If you
are an author of a conditionally accepted paper, please make sure that you
address all the concerns of the reviewers.
Authors of accepted presentations will be given the opportunity to incorporate
the feedback from discussions at the symposium and will be invited to submit a
revised full article for the formal post-proceedings.
The program committee will evaluate these submissions according to their
correctness, novelty, originality, relevance, significance, and clarity, and
will thereby determine whether the paper is accepted or rejected.
### Publication
The formal proceedings will appear in the International Conference
Proceedings Series of the ACM Digital Library.
At no time may work submitted to IFL be simultaneously submitted to other
venues; submissions must adhere to ACM SIGPLAN's republication policy:
http://www.sigplan.org/Resources/Policies/Republication
### Important dates
Submission of regular papers: June 15, 2019
Submission of draft papers: July 15, 2019
Regular and draft papers notification: August 1, 2019
Deadline for early registration: August 15, 2019
Submission of pre-proceedings version: September 15, 2019
IFL Symposium: September 25-27, 2019
Submission of papers for post-proceedings: November 30, 2019
Notification of acceptance: January 31, 2020
Camera-ready version: February 29, 2020
### Submission details
All contributions must be written in English. Papers must use the ACM two
columns conference format, which can be found at:
http://www.acm.org/publications/proceedings-template
Authors submit through EasyChair:
https://easychair.org/conferences/?conf=ifl2019
### Peter Landin Prize
The Peter Landin Prize is awarded to the best paper presented at the
symposium every year. The honored article is selected by the program committee
based on the submissions received for the formal review process. The prize
carries a cash award equivalent to 150 Euros.
### Organization and Program committee
Chairs: Jurrien Stutterheim (Standard Chartered Bank Singapore), Wei Ngan Chin (National University of Singapore)
Program Committee:
- Olaf Chitil, University of Kent
- Clemens Grelck, University of Amsterdam
- Daisuke Kimura, Toho University
- Pieter Koopman, Radboud University
- Tamas Kozsik, Eotvos Lorand University
- Roman Leschinskiy, Facebook
- Ben Lippmeier, The University of New South Wales
- Marco T. Morazan, Seton Hall University
- Sven-Bodo Scholz, Heriot-Watt University
- Tom Schrijvers, Katholieke Universiteit Leuven
- Alejandro Serrano, Utrecht University
- Tony Sloane, Macquarie University
- Simon Thompson, University of Kent
- Marcos Viera, Universidad de la Republica
- Wei Ngan Chin, NUS
- Jurrien Stutterheim, Standard Chartered Bank
### Venue
The 31st IFL is organized by the National University of Singapore.
Singapore is located in the heart of South-East Asia, and the city itself is extremely well connected by trains and taxis.
See the website for more information on the venue.
### Acknowledgments
This call-for-papers is an adaptation and evolution of content from previous
instances of IFL. We are grateful to prior organizers for their work, which
is reused here.
A part of IFL 2019 format and CFP language that describes conditionally
accepted papers has been adapted from call-for-papers of OOPSLA conferences.
IFL 2019
31st Symposium on Implementation and Application of Functional Languages
National University of Singapore
September 25th-27th, 2019
http://2019.iflconference.org
================================================================================
### Scope
The goal of the IFL symposia is to bring together researchers actively engaged
in the implementation and application of functional and function-based
programming languages. IFL 2019 will be a venue for researchers to present and
discuss new ideas and concepts, work in progress, and publication-ripe results
related to the implementation and application of functional languages and
function-based programming.
Topics of interest to IFL include, but are not limited to:
- language concepts
- type systems, type checking, type inferencing
- compilation techniques
- staged compilation
- run-time function specialization
- run-time code generation
- partial evaluation
- (abstract) interpretation
- metaprogramming
- generic programming
- automatic program generation
- array processing
- concurrent/parallel programming
- concurrent/parallel program execution
- embedded systems
- web applications
- (embedded) domain specific languages
- security
- novel memory management techniques
- run-time profiling performance measurements
- debugging and tracing
- virtual/abstract machine architectures
- validation, verification of functional programs
- tools and programming techniques
- (industrial) applications
### Keynote Speaker
* Olivier Danvy, Yale-NUS College
### Submissions and peer-review
Differently from previous editions of IFL, IFL 2019 solicits two kinds of
submissions:
* Regular papers (12 pages including references)
* Draft papers for presentations ('weak' limit between 8 and 15 pages)
Regular papers will undergo a rigorous review by the program committee, and will
be evaluated according to their correctness, novelty, originality, relevance,
significance, and clarity. A set of regular papers will be conditionally
accepted for publication. Authors of conditionally accepted papers will be
provided with committee reviews along with a set of mandatory revisions.
Regular papers not accepted for publication will be considered as draft
papers, at the request of the author.
Draft papers will be screened to make sure that they are within the scope of
IFL, and will be accepted for presentation or rejected accordingly.
Prior to the symposium:
Authors of conditionally accepted papers and accepted presentations will
submit a pre-proceedings version of their work that will appear in the draft
proceedings distributed at the symposium. The draft proceedings does not
constitute a formal publication.
We require that at least one of the authors present the work at IFL 2019.
After the symposium:
Authors of conditionally accepted papers will submit a revised versions of
their paper for the formal post-proceedings.
The program committee will assess whether the mandatory revisions have been
adequately addressed by the authors and thereby determines the final
accept/reject status of the paper.
Our interest is to ultimately accept all conditionally accepted papers. If you
are an author of a conditionally accepted paper, please make sure that you
address all the concerns of the reviewers.
Authors of accepted presentations will be given the opportunity to incorporate
the feedback from discussions at the symposium and will be invited to submit a
revised full article for the formal post-proceedings.
The program committee will evaluate these submissions according to their
correctness, novelty, originality, relevance, significance, and clarity, and
will thereby determine whether the paper is accepted or rejected.
### Publication
The formal proceedings will appear in the International Conference
Proceedings Series of the ACM Digital Library.
At no time may work submitted to IFL be simultaneously submitted to other
venues; submissions must adhere to ACM SIGPLAN's republication policy:
http://www.sigplan.org/Resources/Policies/Republication
### Important dates
Submission of regular papers: June 15, 2019
Submission of draft papers: July 15, 2019
Regular and draft papers notification: August 1, 2019
Deadline for early registration: August 15, 2019
Submission of pre-proceedings version: September 15, 2019
IFL Symposium: September 25-27, 2019
Submission of papers for post-proceedings: November 30, 2019
Notification of acceptance: January 31, 2020
Camera-ready version: February 29, 2020
### Submission details
All contributions must be written in English. Papers must use the ACM two
columns conference format, which can be found at:
http://www.acm.org/publications/proceedings-template
Authors submit through EasyChair:
https://easychair.org/conferences/?conf=ifl2019
### Peter Landin Prize
The Peter Landin Prize is awarded to the best paper presented at the
symposium every year. The honored article is selected by the program committee
based on the submissions received for the formal review process. The prize
carries a cash award equivalent to 150 Euros.
### Organization and Program committee
Chairs: Jurrien Stutterheim (Standard Chartered Bank Singapore), Wei Ngan Chin (National University of Singapore)
Program Committee:
- Olaf Chitil, University of Kent
- Clemens Grelck, University of Amsterdam
- Daisuke Kimura, Toho University
- Pieter Koopman, Radboud University
- Tamas Kozsik, Eotvos Lorand University
- Roman Leschinskiy, Facebook
- Ben Lippmeier, The University of New South Wales
- Marco T. Morazan, Seton Hall University
- Sven-Bodo Scholz, Heriot-Watt University
- Tom Schrijvers, Katholieke Universiteit Leuven
- Alejandro Serrano, Utrecht University
- Tony Sloane, Macquarie University
- Simon Thompson, University of Kent
- Marcos Viera, Universidad de la Republica
- Wei Ngan Chin, NUS
- Jurrien Stutterheim, Standard Chartered Bank
### Venue
The 31st IFL is organized by the National University of Singapore.
Singapore is located in the heart of South-East Asia, and the city itself is extremely well connected by trains and taxis.
See the website for more information on the venue.
### Acknowledgments
This call-for-papers is an adaptation and evolution of content from previous
instances of IFL. We are grateful to prior organizers for their work, which
is reused here.
A part of IFL 2019 format and CFP language that describes conditionally
accepted papers has been adapted from call-for-papers of OOPSLA conferences.
Subscribe to:
Posts (Atom)