Email Gateway (Aug 17 2022 at 14:46): Email Gateway (Aug 17 2022 at 14:46):From: Silvio Ranise <ranise@dsi.unimi.it>
===========================================================================
Calculemus'06 Symposium http://calculemus2006.loria.fr
<https://www.loria.fr/horde/util/go.php?url=http%3A%2F%2Fcalculemus2006.loria.fr&Horde=4ce4838225f2831a5be94a2cd6be174b>
== CALL FOR POSTERS and SOFTWARE EXHIBITION ==
13th Symposium on the Integration of Symbolic Computation and
Mechanized Reasoning 2006
July 7-8, 2006. Genova, Italy [Co-located with ISSAC 2006]
===========================================================================
The poster sessions are an ideal venue for presenting recent research
results or ongoing research projects that might not yet be complete,
but whose preliminary results are already interesting nonetheless.
Posters and software demos on all conference topics are welcome:
Design and implementation of computer algebra and deduction services for
the web
Formal method problems requiring mixed computing and proving
Design and implementation of mathematical assistants requiring both
computer algebra and deduction
Case studies and applications
Submission deadline: 5 June, 2006
Notification of acceptance: 15 June, 2006
Please submit an extended abstract of 1 or 2 pages (A4 or letter)
describing the contents of the poster or software demo by email to
bigatti@dima.unige.it, Silvio.Ranise@loria.fr
The authors of accepted submissions might be invited to give a 15'
presentation at the symposium.
Last updated: May 03 2024 at 04:19 UTC