Call for Papers
The MathML Conference 2000 is currently seeking submissions for papers. Scholars, educators, and professionals are invited to share their insights and research on the use of MathML in various applications. The deadline for paper submission is fast approaching, and we encourage prospective authors to send in their original work for consideration.
General Information
This year's MathML Conference will be hosted over two dynamic days, delivering a comprehensive program that includes keynotes, presentations, and tutorials. The conference aims to bring together the finest minds in mathematics and computer science to discuss advancements and applications of MathML.
Registration
Participants are encouraged to register early for the MathML Conference 2000. Early bird registration discounts are available, and attendees can secure their place at the conference by completing the online registration form. A confirmation of registration will be sent upon successful processing.
Accommodations
A list of recommended hotels in close proximity to the conference venue will be provided. These accommodations offer a range of options to suit different budgets and preferences. Conference attendees are advised to book their accommodation early to take advantage of special rates.
Travel
For those traveling to the conference, we have compiled useful information on transportation options including flights, trains, and local transit. Whether it's your first visit or you're familiar with the host city, our travel guide is designed to assist you in planning a smooth journey.
Tutorials
The conference organizes several in-depth tutorials on MathML and related technologies. These sessions, led by experts, provide an opportunity for attendees to enhance their understanding of MathML and apply it practically in their respective fields.
Presentations
Presentation sessions form the core of the MathML Conference 2000, featuring diverse topical areas covering implementation, pedagogy, and integration of MathML in various environments. Peer-reviewed presentations will showcase the latest in MathML research and development.
Schedule
The conference schedule is thoughtfully constructed to incorporate a balance of lectures, discussions, and networking breaks. Detailed schedules, including session times and locations, will be provided to attendees prior to the conference.
Formal Mathematical Proof Explanations in Natural Language
Using MathML: An Application to Proofs in Arabic
Hanane Naciri and Laurence Rideau, INRIA Sophia Antipolis
Abstract: The challenge of disseminating formal mathematical proofs to non-specialists is addressed by exploring natural language explanations autogenerated from proof scripts and lambda-terms. By incorporating MathML, we facilitate readability and international comprehension. This article discusses a system capable of generating proof explanations in Arabic, and the adaptations made to accommodate bi-directional text display, particularly for mathematical formulas, within MathML compliant browsers.
The coupling of academic conferences with travel experiences presents a unique opportunity for knowledge exchange and cultural enrichment. As attendees plan their journey to the MathML Conference 2000, they can look forward to not only a conference filled with innovative presentations but also the excitement of exploring a new destination. Much like the bridge MathML creates between mathematics and web-based communication, travel bridges communities and fosters international collaboration.