Place

The 2025 TeXmacs workshop took place from Monday July 21 until Saturday July 26, 2025 at Missenden Abbey, Great Missenden, Buckinghamshire, United Kingdom.

Scope

The workshop was dedicated to TeXmacs developers and users: those who simply want to learn TeXmacs better, those who want to participate in the development, as well as people who would like to promote TeXmacs in education, research and elsewhere.

There were a few basic presentations on TeXmacs and its current developments, as well as more insight presentations about writing style files, plug-ins, and Scheme extensions. We also animated group discussions on various aspects of the software.

Program

Monday

Ongoing developments and high priority tasks

Tuesday

Collaborative edition

• Jupyter plugin
  Jeroen
• The ongoing collaborative platform
  Robin
• Font system: simplification, automatic support of new fonts, colors, emojis, native OpenType math typesetting
  Massimiliano, et al.(?)
• Answering mailing lists
  Giovani

Wednesday

Towards integration of artificial intelligence

• The ongoing collaborative platform, demo
  Robin, Joris
• Plugin for AI chat interfaces, translations
  Joris
• Handwriting recognition
  Joris
• Grammar and text style checking
  Philippe, online, 11:00
• Backup and synchronization of the TeXmacs cloud
  discussions
• Sharing computational sessions (?)
  discussions

Thursday

Applications, promotion and organization

• New pedagogic materials: GUI for exercises and exams (see for instance https://github.com/alexisflesch/texamator), tables of variations, probabilistic trees

  Marc, Jeroen, Giovanni

• Tests and exams by Adrian, Marc: WIMS, AMC, R-exams (?)

• Promotion campaign (better promote existing features)

• User wiki

• Html and website export
  Joris, Max

• Allow users to easily distribute their own work (e.g. style files, plugin manager)

• Organization of meetings dedicated to high school teachers
  Marc, Jeroen, Giovanni

• Mogan version and summer projects for students

  Darcy, online 14:30

Friday

Challenges for future development

• Plans for the evolution of the graphical library
  Joris, Max

• Accessibility of the web site, documentation, and GUI

• Binary packages including all supported plugins for high school:

  python (sympy et al.) OpenAI ?, jupyter plugin

  geogebra (need interface, or maybe without)

  maxima

  R (but not used in high schools)

  julia (but not used in high schools)

  jupyter-client (interface with maxima and R)

  Name proposals: name of mathematician (?) do not include TeXmacs, work

  non-existing name, typo (?)

• Organization of future work for high school:

  Dedicated skin

  Improve spreadsheets (make it more attractive)

  Improve interaction with other software: clickable objets to open external sofware and insert the results.

Participants

Basile Audoly

Liza Belos

Massimiliano Gubinelli

Joris van der Hoeven

Marc Lalaude-Labayle

Grégoire Lecerf

Giovanni Piredda

Darcy Shen (remote)

Adrian Soto

Robin Wils

Jeroen Wouters

Organizing committee

Massimiliano Gubinelli, Joris van der Hoeven, Grégoire Lecerf

Sponsor

• CNRS Innovation, OPEN 2023 grant

• University of Oxford