Program for the TeXmacs workshop

General remarks

Joris van der Hoeven will give a sequence of five 45min presentations on various aspects of TeXmacs, and of increasing difficulty.
The round tables will be informal discussions chaired by Massimiliano Gubinelli and Joris van der Hoeven.
Lunch should be from 13h to 14h.
Between 14h30 and 19h, we plan to organize programming sessions, with coffee breaks between 16h00 and 16h30. Only on monday afternoon, there will be a more official afternoon session.
Dinner should be from 19h30 to 20h30.

Sunday February, 26

10h00–10h30	Welcome and presentation of participants
10h30–11h15	General Introduction to TeXmacs and some new features
11h15–11h45	Break
11h45–12h15	Presentation of Axiom, Maxima and Reduce plug-ins (Andrey Grozin)
12h15–12h45	Presentation of contributed documents and pedagogic material
12h45–14h30	Lunch
14h30–19h00	Programming

Monday February, 27

09h30–10h15	Writing documentation, using SVN and versioning, creation of websites
10h15–10h45	Round table: what kind of new documentation do we want, better ways to diffuse the documentation, etc.
10h45–11h15	Break
11h15–11h45	Presentation of Mathemagix (Grégoire Lecerf)
11h45–12h15	Round table on the evolution of TeXmacs plug-ins
12h15–12h45	Open slot: round table with ideas for the workshop?
12h45–14h30	Lunch
14h30–15h00	Presentation of various educational plug-ins (Emmanuël Corcelle)
15h00–15h30	Combination of TeXmacs, Mathematica and Sage (Bertrand Bratschi)
15h30–16h00	Round table on the use of TeXmacs in education and research
16h00–16h30	Break
16h30–17h00	Stephen Watt: Mathematical handwriting recognition
17h00–17h30	Elena Smirnova: Mathematical sketch recognition (to be confirmed)
17h30–18h00	Continued round table on the use of TeXmacs in education and research
18h00–19h00	Programming

Tuesday February, 28

09h30–10h15	The TeXmacs document format, style files, and converters
10h15–10h45	Round table: how to improve the converters and for which kind of other formats do we need converters?
10h45–11h15	Break
11h15–11h45	Elena Smirnova: document converters for LaTeX
11h45–12h15	Presentation of other work on converters (François Poulain)
12h15–12h45	Continued round table on converters and input methods
12h45–14h30	Lunch
14h30–19h00	Programming

Wednesday February, 29

10h00–19h00

Excursion to Tavira and surroundings

Thursday March, 1

09h30–10h15	TeXmacs source code, C++, Scheme, and writing plug-ins
10h15–10h45	Round table: major bugs and wishes
10h45–11h15	Break
11h15–12h00	Massimiliano Gubinelli: Qt port, portability issues, upcoming changes in the user interface
12h00–12h15	Fonts and plans for reorganization (Aleksandr Dobkin, Massimiliano Gubinelli)
12h15–12h45	Round table: current reorganization of TeXmacs and what should be the priorities for the next stable release
12h45–14h30	Lunch
14h30–19h00	Programming
20h00–23h00	Conference dinner

Friday March, 2

09h30–10h15	Ongoing developments: mathematical semantics, graphics, versioning, bibliography tool, litterate programming, Coq interface, etc.
10h15–10h45	Round table: long term plans
10h45–11h15	Break
11h15–11h45	Open slot, to be decided during the conference
11h45–12h45	Round table: how to coordinate our future efforts
12h45–14h30	Lunch
14h30–19h00	Programming

This webpage is part of the MaGiX project. Verbatim copying and distribution of it is permitted in any medium, provided this notice is preserved. For more information or questions, please contact Joris van der Hoeven.