[TYPES/announce] ‹Programming› 2020 : Call for Participation
Fabio Niephaus
lists at fniephaus.com
Sun Dec 8 09:47:35 EST 2019
‹Programming› 2020 : The Art, Science, and Engineering of Programming
March 23-26, 2020, Porto, Portugal
https://2020.programming-conference.org
The International Conference on the Art, Science, and Engineering of
Programming is a new conference focused on programming topics
including the experience of programming. We have named it
‹Programming› for short.
The conference is co-located with several workshops, a poster and a
demo session, a Coding Dojo, and the student research competition.
Keynote
-------
Guy L. Steele Jr. (Oracle Labs)
Workshops
---------
Convivial Computing Salon
https://2020.programming-conference.org/home/salon-2020
ENIAC’20
https://2020.programming-conference.org/home/eniac-2020
ICW
https://2020.programming-conference.org/home/icw-2020
MoreVMs’20
https://2020.programming-conference.org/home/MoreVMs-2020
NIP
https://2020.programming-conference.org/home/nip-2020
PX/20
https://2020.programming-conference.org/home/px-2020
ProWeb’20
https://2020.programming-conference.org/home/proweb-2020
CoCoDo 2020
https://2020.programming-conference.org/home/cocodo-2020
Tutorials
---------
https://2020.programming-conference.org/track/programming-2020-tutorials
AntidoteDB : Just the Right Kind of Consistency!
Bela Workshop
Learning Haskell: a project-based approach
Meta-Programming for the masses
PharoIoT
********************************************************
ORGANIZATION
********************************************************
General Chair
Ademar Aguiar, Universidade do Porto
Program Chair
Stefan Marr, University of Kent
Organizing Committee
https://2020.programming-conference.org/committee/programming-2020-organizing-committee
Program Committee
https://2020.programming-conference.org/committee/programming-2020-papers-program-committee
********************************************************
SUPPORTERS
********************************************************
ACM In-Cooperation
Universidade do Porto
City of Porto
AOSA
********************************************************
For more information, visit https://2020.programming-conference.org
More information about the Types-announce
mailing list