The Coq mailing list

[Yves Bertot <Yves.Bertot AT inria.fr>]

the 4th Coq Implementors Workshop will take place in Nice

Dates

from May 28th (afternoon) to June 1st (morning).

Purpose

Coq Implementors workshops are meetings intended for Coq users who wish to develop plugins to the Coq system and contribute to its development, mainly in the Ocaml language.

Developers will be there explaining you the internals of the system, helping you to contribute to it and to jump start your Coq related project.  There will also be tutorials and discussions of potential future features.

Registration

Registration to this event is free but mandatory for organization purposes.  To register you should simply add your name in the list of participants on the workshop's wiki page

https://github.com/coq/coq/wiki/Coq-Implementors-Workshop-2018

Your e-mail should either be included in the workshop's page (in a human readable form) or sent to coq-implementors-workshop-request AT inria.fr

Location

The city of Nice is easily reached thanks to its airport, connected to all the main hubs in Europe (with even some direct flights from other continents).

The event will take place on the campus of University of Nice, Parc Valrose, M building, room M34 (global coordinates: 43.71679/7.26934 approximately)

Here is a map of the campus:

https://www-sop.inria.fr/members/Yves.Bertot/misc/Plan-Campus-Valrose.pdf

Participants are invited to find their own accommodation in the vicinity of the University campus.  The city of Nice also has a tramway line that makes it easier to reach the campus from other parts of town.  The relevant stop for this part of the university campus is "Valrose Université".

Sponsors

This workshop is supported by University of Nice who gracefully provides us with access to their premises.