coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] [Publicity] Call for Participation: 11th Conference on Intelligent Computer Mathematics

From: Tanja Gutenbrunner <Tanja.Gutenbrunner AT risc.jku.at>
To: publicity AT risc.jku.at
Cc: Wolfgang Windsteiger <Wolfgang.Windsteiger AT risc.jku.at>
Subject: [Coq-Club] [Publicity] Call for Participation: 11th Conference on Intelligent Computer Mathematics
Date: Tue, 31 Jul 2018 16:23:03 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=publicity-bounces AT risc.jku.at; spf=None smtp.mailfrom=publicity-bounces AT risc.jku.at; spf=None smtp.helo=postmaster AT homer.risc.uni-linz.ac.at
Ironport-phdr: 9a23:FNgKbRGb5vyXsaahlUa8gp1GYnF86YWxBRYc798ds5kLTJ76p8y8bnLW6fgltlLVR4KTs6sC17KI9fi4EUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCa8bL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPCTQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjm58axlVAHnhzsGNz4h8WHYlMpwjL5AoBm8oxBz2pPYbJ2JOPZ7eK7WYNEUSndbXstJWSxPHIOyYYgBAeUPMulXrZXyqVQToxumHwmsH/3gxyRUhnL0x6A2z/gtHA/E0QEmAtkAsG7UrNLwNKoKT+661q/IzTfZYPhL2Dn99ZTIfQ4nof6XR7JwbMzRyU8xGAPfk16drpLrMCmT1uQPqWeX9etuVf+zi2E5rQF+uSKvxtoqionPmI0V0EvJ9T94wIYuOdK0Ukx7Yd25EJdKrS6aK5J7T8U/SG9mvyY6z6cJuZ+9fCUS1JsnxgLQa/mef4eU5RLjUuiRLilihH17frKwmwi9/VKnyu3mWcm51ktBoCldktTUq3wA0xLe5tKaRvZ/4kutwziC2gLJ5u1aPEw5kbLXJ4Mlz7M+jJYfrEbOEjPslEj4jKKabEUp9vau5u/6eLvpvIWcOJVxigzmMqQhhMi/AeMgPwgOWGib/Pqz1Kf58U3jQbVKleE5nrPEsJDcJMQXv6q5Aw5T0oci8RqwFSup3M4CknkbNF5FeRSHgJb1O1zWPfz1Cfmyj06xnDpp2/zKJLPsD5fXInTdjbvsea5x60tGxwoyydBf6YhUCrYEIP/rQk/xqcfXDhs4MwOowubnFNV82poFVmKIH6+ZNr/dvkGT5u80OemMZZQVtyrnJ/gn5P7ukGU1lkUBfaWxx5sYdGi4Huh6I0WeeXfjntABEX4TsgUiSOzqlUaNXCVIZ3eyWqI8/is0BJinDYfFXICtgaaO0D21Hp1MfmpGEEyDEW/0d4WYXPcBcD6dLdVkkjwATLShT44h1QqytALh0LpmLu/U+jUCup751dh14ffTlRAo+jBuAcSdyTLFc2Yhhn4CQz493bxuiVZ80VzF06tlxfVERuZe//dYbgBvPJjayPF8AN33VwTdZf+TSU2tBNelHHc4UoEf2dgLNnp0Hderxj/ewyesCaUIkbqGHtRgzqva3XG3CNthxnDMzrQniVQ8atFOLmbghK1isQHPUd2a236FnrqnIPxPlBXG832OmC/X5BkBAVxAFJ7dVHVaXXP46NHw50fMVbirUO91KApawoiAKbYMY8G71QwaFsemA8zXZieKo0n1HQyBn+jedovxcCMf3zibAVRWy1lOr0bDDhA3A2Kam0ybDDFqEgiwMUPr9ORk7mm6VURy0geLKklg0ajz8xVTjODOE/4=

Call for Participation
11th Conference on Intelligent Computer Mathematics
- CICM 2018 -
August 13-17, 2018
RISC, Hagenberg, Austria
http://www.cicm-conference.org/2018

--------------------------------------------------------------------------------

CICM focuses on theoretical and practical solutions for
mathematical applications such as computation, deduction, knowledge
management, libraries, and user interfaces.

CICM 2018 will feature 3 invited speakers:

* Akiko Aizawa, National Institute of Informatics, University of Tokyo
* Bruno Buchberger, Research Institute for Symbolic Computation (RISC),
Johannes Kepler University Linz (JKU)
* Adri Olde Daalhuis, University of Edinburgh

and 6 affiliated workshops:

* Computer Algebra in the age of Types
* Computer Mathematics in Education - Enlightenment or Incantation
* Formal Mathematics for Mathematicians
* Formal Verification of Physical Systems
* Mathematical Models and Mathematical Software as Research Data
* OpenMath Workshop

In addition to the above and the formally reviewed program,
CICM'2018 features Work-in-progress papers, demos and posters, and
a Doctoral Program.

Details can be found at the conference website
http://www.cicm-conference.org/2018.
===============

-----------
If you do not wish to receive announcements from the
Research Institute for Symbolic Computation (RISC),
please send an e-mail to the following address:
secretary AT risc.jku.at

[Coq-Club] [Publicity] Call for Participation: 11th Conference on Intelligent Computer Mathematics, Tanja Gutenbrunner, 07/31/2018