Отправляет email-рассылки с помощью сервиса Sendsay

Система компьютерной алгебры GAP

Подписаться Бесплатная «Серебряная» новостная рассылка . Временно не выходит ,возобновит выход - нет информации Подписчиков 783 RSS
←   Январь 2008   →
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31


За последние 60 дней ни разу не выходила


Сайт рассылки: http://www.gap-system.org/ukrgap/
Открыта: 05-02-2002

Автор
Александр Борисович Коновалов

Статистика

783 подписчиков
0 за неделю
←   Все выпуски   →

Система компьютерной алгебры GAP - CALCULEMUS 2008


Second 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:

  • Theorem proving in computer algebra (CAS)
  • Computer algebra in theorem proving (PA and ATP)
  • 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
  • Theory exploration techniques


Keynote Speakers

Annie Cuyt (Universiteit Antwerpen)
Thierry Coquand (Goteborg University)


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)
В избранное