Email Gateway (Aug 18 2022 at 11:01): Email Gateway (Aug 18 2022 at 11:01):From: Freek Wiedijk <freek@cs.ru.nl>
[apologies for multiple postings]
First Call for Papers
C A L C U L E M U S 2008
July 30 -- August 1, 2008
University of Birmingham, UK
http://events.cs.bham.ac.uk/calculemus08/
General
Calculemus is a series of conferences dedicated to the
integration of computer algebra systems (CAS) and systems
for mechanised reasoning, the interactive theorem provers
or proof assistants (PA) and the automated theorem provers
(ATP).
Currently, symbolic computation is divided into several
(more or less) independent branches: traditional ones (e.g.,
computer algebra and mechanised reasoning) as well as newly
emerging ones (on user interfaces, knowledge management,
theory exploration, etc.) The main concern of the Calculemus
community is to bring these developments together in order
to facilitate the theory, design, and implementation of
integrated systems for computer mathematics that will
routinely be used by mathematicians, computer scientists
and engineers in their every day business.
For the upcoming Calculemus meeting, which will be held
jointly with AISC 2008 and MKM 2008 (confederated in the
Conferences on Intelligent Computer Mathematics, CICM 2008)
in Birmingham, UK, we seek original research papers on the
subjects described above.
Scope
The scope of Calculemus covers all aspects of the
interplay of mechanised reasoning and computer algebra,
including cross-fertilisation between those two research
areas, as well as the development of integrated systems
that transcend both computer algebra and theorem proving.
Potential areas of interest are:
Case studies and applications that both involve computer
algebra and mechanised reasoning
Representation of mathematics in computer algebra
Theory, design and implementation of interdisciplinary
systems for computer mathematics
Infrastructure for mathematical services
Keynote Speakers
To be announced
Important Dates
March 07, 2008: Submission deadline
April 11, 2008: Notification of acceptance
April 25, 2008: Camera ready copies due
July 30, 2008: Calculemus 2008 starts in Birmingham, UK
Submission
Please submit your full paper of at most 15 pages prepared
with the standard LNCS class style as pdf or ps file via
http://www.easychair.org/conferences/?conf=Calculemus2008
on or before March 7, 2008. Detailed formating instructions
will be available at the Calculemus website.
Proceedings
Accepted papers will be published in the LNAI series of
Springer.
Program Committee
Michael Beeson (San Jose State University, USA)
Christoph Benzmüller (University of Cambridge, UK)
Anna Bigatti (Universita di Genova, Italy)
Wieb Bosma (Radboud University Nijmegen, Netherlands)
Olga Caprotti (University of Helsinki, Finland)
Jacques Carette (McMaster University, Canada)
Thierry Coquand (Goteborg University, Sweden)
James Davenport (University of Bath, UK)
William M. Farmer (McMaster University, Canada)
John Harrison (Intel Corporation, USA)
Deepak Kapur (University of New Mexico, USA)
Henri Lombardi (Universite de Franche-Comte, France)
Tomas Recio (Universidad de Cantabria, Spain)
Renauld Rioboo (Universite Pierre et Marie Curie, France)
Julio Rubio (Universidad de La Rioja, Spain), Chair
Volker Sorge (University of Birmingham, UK)
Makarius Wenzel (Technische Universitat Munchen, Germany)
Freek Wiedijk (Radboud University Nijmegen, Netherlands), Chair
Wolfgang Windsteiger (RISC-Linz, Austria)
Last updated: Nov 21 2024 at 12:39 UTC