[Agda] <Programming> 2017: Call for participation

[Tim Molderez]

-----------------------------------------------------------------------
  <Programming> 2017 : The Art, Science, and Engineering of Programming

    April 3-6, 2017, Brussels, Belgium
    http://2017.programming-conference.org
-----------------------------------------------------------------------

We are excited to welcome you to <Programming> 2017, a new conference 
focused on everything to do with programming. It takes place at the 
Vrije Universiteit Brussel, Belgium on April 3-6. The <Programming> 
conference is closely associated with the open-access journal "The Art, 
Science, and Engineering of Programming". The journal's first two 
issues form the conference's research track, which means you can freely 
access all papers presented at the conference before it even starts! 
Along with the research track, <Programming> 2017 features a program 
with two main keynotes, two symposia, eight workshops, a coding dojo, a 
demo track, and a student research competition.

To catch a glimpse of what <Programming> 2017 has to offer, feel free to 
have a look at our overview video:
https://www.youtube.com/watch?v=GM_hLNW4ioE

***********************************************************************
  Program highlights
***********************************************************************

Main conference:
  - Keynote: "Live Literate Programming" by Gilad Bracha
  - Keynote: "How Racket Went Meta" by Matthew Flatt
  - Research track: 18 full papers
  - Demonstrations: 10 tool demos
  - ACM Student Research Competition: 8 entries

Co-located events:
  - 10th European Lisp Symposium: 2 keynotes by Hans Hübner and Bohdan 
Khomtchouk, ~18 papers (not final yet)
  - Modularity 2017: 8 invited talks by Jörg Kienzle, Shmuel Katz, Mira 
Mezini, Bedir Tekinerdogan, Stéphane Ducasse, Uwe Aßmann, Lodewijk 
Bergmans and Mario Südholt
  - CoCoDo - RainCode Labs Compiler Coding Dojo: code together with 
experts Adrian Johnstone, Elizabeth Scott, Robby Findler, and more to come!
  - LASSY - Workshop on Live Adaptation of Software SYstems
  - MiniPLoP - Mini Pattern Languages of Programs writers' workshop
  - MOMO - Workshop on Modularity in Modeling
  - MoreVMs - Workshop on Modern Language Runtimes, Ecosystems, and VMs
  - PASS - Workshop on Programming Across the System Stack
  - PX - Workshop on Programming Experience
  - ProWeb - Programming Technology for the Future Web
  - Salon des Refusés workshop

Social events:
  - Beer reception at the conference venue (April 3rd)
  - Reception at the Musical Instruments Museum (April 4th)
  - Banquet at the Natural Sciences Museum (April 5th)

***********************************************************************
  Registration, attendance and accommodation
***********************************************************************

  - You can register for <Programming> 2017 at: 
http://2017.programming-conference.org/attending/registration
  - Early registration ends soon! Please register before March 13th to 
obtain the early-bird discount.
  - More information on attending the conference is available at: 
http://2017.programming-conference.org/attending/reaching-the-conference
  - More information on accommodation is available at: 
http://2017.programming-conference.org/attending/accomodation

***********************************************************************
  About Brussels
***********************************************************************

Brussels is the capital of Belgium, and home to the headquarters of the 
European Union. Despite its European nature and all the different 
languages spoken on every street corner, Brussels still has a very 
"village-like" character. It's well known for its Grand-Place, its 
Atomium, its Manneken-Pis, its Gueuze and its Kriek, its waffles and its 
chocolates. Be sure to take some time off to soak up the special 
atmosphere of its many different districts: Take a stroll to Rue 
Dansaert, Halles Saint-Géry, and Place Sainte-Catherine. Head for 
Saint-Boniface, Châtelain, or Flagey. In other words, go ahead and 
relish Brussels, a fine and beautiful city to explore and discover.

-----------------------------------------------------------------------

For more information, please visit http://2017.programming-conference.org
You can also find us on Twitter (twitter.com/programmingconf) and 
Facebook (facebook.com/programmingconf)

Looking forward to see you in Brussels,

Theo D'Hondt (General chair), Wolfgang De Meuter (Organizing chair), 
Crista Lopes (Program chair), Jörg Kienzle, Ralf Lämmel, Hidehiko 
Masuhara, Tim Molderez, Tobias Pape, and Jennifer Sartor