posted by user: clange || 3467 views || tracked by 7 users: [display]

OpenMath 2010 : 23rd OpenMath Workshop 2010


When Jul 8, 2010 - Jul 8, 2010
Where Paris, France
Submission Deadline Jun 18, 2010
Notification Due Jun 25, 2010
Final Version Due Jul 2, 2010
Categories    mathematics   semantic web   knowledge representation   symbolic computation

Call For Papers

== Objectives ==

With the development of MathML 3, OpenMath enters a new phase of its development. Topics we expect to see at the workshop include

* Convergence of OpenMath and MathML 3;
* Reasoning with OpenMath;
* Software using or processing OpenMath;
* New OpenMath Content Dictionaries;

though others related to OpenMath are certainly welcomed.

Contributions can be either full research papers, or a description of new Content Dictionaries, particularly ones that are suggested for formal adoption by the OpenMath Society.

== Important Dates (all times are GMT) ==

Abstract submission
no formal deadline, but early indication is appreciated
June 18
June 25
Camera ready
July 2

== Submissions ==

Every submission will refereed by three PC members on the basis of technical quality, novelty, potential impact for the future of OpenMath, and clarity.
Submission format:

Papers must conform to the Springer LNCS style, preferably using LaTeX2e and the Springer llncs class files.
Submission categories:

Full paper: 4-12 LNCS pages
Short paper: 1-8 LNCS pages
CD description: 1-8 LNCS pages; a .zip or .tgz file of the CDs should be attached.
Submission upload

Via Easychair conference system by June 18:

== Proceedings ==

Electronic proceedings will be published on the OpenMath web site in time for the conference.

== Committees ==

=== Programme Committee ===

* Peter Horn (Kassel University, Germany)
* Jan Willem Knopper (Eindhoven Technical University, The Netherlands)

=== Organising Committee ===

* Michael Kohlhase (Jacobs University Bremen, Germany)
* Christoph Lange (Jacobs University Bremen, Germany)

Comments/questions/inquiries: to be sent to: om2010 at easychair dot org.

Related Resources

SCIS-ISIS 2022   Joint 12th International Conference on Soft Computing and Intelligent Systems and 23rd International Symposium on Advanced Intelligent Systems
DMA 2022   8th International Conference on Data Mining and Applications
MDM 2022   The 23rd IEEE Intl. Conference on Mobile Data Management
ECTIJ 2021   Economics, Commerce and Trade Management: An International Journal
Middleware 2022   23rd ACM/IFIP International Conference Middleware 2022
ICMAI--SCI, Ei Compendex, Scopus 2022   2022 7th International Conference on Mathematics and Artificial Intelligence (ICMAI 2022)--SCI, Ei Compendex, Scopus
ECKM 2022   23rd European Conference on Knowledge Management
IJCGA 2021   International Journal of Computer Graphics & Animation
MDM 2022   IEEE MDM 2022 - The 23rd IEEE Intl. Conference on Mobile Data Management (Demo Track)
MDM 2022   IEEE MDM 2022 - The 23rd IEEE Intl. Conference on Mobile Data Management (Industry Track)