[Om-announce] 2nd Call for Papers, Conference on Intelligent Computer Mathematics (CICM 2023)

Second Call for Papers formal papers - doctoral programme 16th Conference on Intelligent Computer Mathematics - CICM 2023 - 4–8 September 2023 Emmanuel College, Cambridge, UK

[Om-announce] Call for Workshops: Conference on Intelligent Computer Mathematics (CICM 2023)

Call for Workshop and Tutorial Proposals 16th Conference on Intelligent Computer Mathematics - CICM 2023 - September 4-8, 2023 Cambridge, United Kingdom

[Om-announce] Call for Papers: Conference on Intelligent Computer Mathematics (CICM 2023)

First Call for Papers formal papers - doctoral programme 16th Conference on Intelligent Computer Mathematics - CICM 2023 - 4–8 September 2023 Emmanuel College, Cambridge, UK

[Om-announce] CICM 2022, final call for applications to the doctoral programme, 15. July 2022

[Apologies for cross-postings] Final Call for Applications to the Doctoral Programme Deadline 15. July 2022 15th Conference on Intelligent Computer Mathematics - CICM 2022 - September 19-23, 2022

[Om-announce] CICM 2022, Abstract Submnission Deadline Extension May 23rd, 2022; uodate hybrid conference format; 15th Conf. Intelligent Computer Mathematics

*** Apologies for cross postings *** [Abstract Submission Deadline Extended to May 23, 2022 Update Information on hybrid format] Call for Papers formal papers - informal papers - doctoral programme 15th Conference on Intelligent Computer Mathematics

[Om-announce] CICM 2022, 15th Conf. Intelligent Computer Mathematics, Call for Workshop & Tutorial Proposals until July 8, 2022

*** Apologies from cross postings *** Call for Workshop and Tutorial Proposals 15th Conference on Intelligent Computer Mathematics - CICM 2022 - September 19-23, 2022 Tbilisi, Georgia (hybrid event)

[Om-announce] CICM 2022, 15th Conf. Intelligent Computer Mathematics, Hybrid Event, Invited Speakers update & Second Call for Papers

*** Apologies for cross postings *** [Abstract Submission: May 9, 2022 / Doctoral programme: July 15, 2022] Second Call for Papers formal papers - informal papers - doctoral programme 15th Conference on Intelligent Computer Mathematics

[Om-announce] CICM 2022, 15th Conference on Intelligent Comouter Matehmatics 2022, First Call for Papers, May 9th, 2022, abstract submissions Deadline

Call for Papers formal papers - informal papers - doctoral programme 15th Conference on Intelligent Computer Mathematics - CICM 2022 - September 19-23, 2022 Tbilisi, Georgia

[Om-announce] CICM 2021, July 26-31, Call for online participation

Call for Participation 14th Conference on Intelligent Computer Mathematics - CICM 2021 - July 26-31, 2021 *Participation on Zoom is FREE after registration*

[Om-announce] 2021 Conference on Intelligent Computer Mathematics - Doctoral Programme - Call for Abstracts

Call for Abstracts - Doctoral Programme 14th Conference on Intelligent Computer Mathematics - CICM 2021 - July 26-31, 2020 http://www.cicm-conference.org/2021 CICM is an excellent

[Om-announce] Deadline Extension: April 5th, 20201, 14th Conference on Intelligent Computer Mathematics (CICM 2021)

(Deadline Extension: April 5, 2021) Call for Papers formal papers - informal papers - doctoral programme 14th Conference on Intelligent Computer Mathematics - CICM 2021 - July 26-31, 2020

[Om-announce] 14th Conference on Intelligent Computer Mathematics (CICM 2021) Final call for papers, Conference Date: July 26-31, 2021

Call for Papers formal papers - informal papers - doctoral programme 14th Conference on Intelligent Computer Mathematics - CICM 2021 - July 26-31, 2021 Timisoara, Romania

[Om-announce] 14th Conference on Intelligent Computer Mathematics (CICM 2021), Invited Speakers Update & Second call for papers, Conference Date: July 26-31, 2021

2nd Call for Papers formal papers - informal papers - doctoral programme 14th Conference on Intelligent Computer Mathematics - CICM 2021 - July 26-31, 2020 Timisoara,

[Om-announce] 14th Conference on Intelligent Computer Mathematics (CICM 2021), First call for papers & Save-the-Conference-Date: July 26-31, 2021

Call for Papers formal papers - informal papers - doctoral programme 14th Conference on Intelligent Computer Mathematics - CICM 2021 - July 26-31, 2020 Timisoara,

[Om-announce] CICM 2020, July 26-31: Call for Online Participation

= CALL FOR PARTICIPATION CICM 2020 -- Conference on Intelligent Computer Mathematics https://cicm-conference.org/2020/ Due to the Covid-19 outbreak, CICM 2020 is held as an

[Om-announce] CICM 2020, July 26-31: Call for Papers, extended submission deadline abstracts March 16, 2020/papers March 22, 2020

Call for Papers (***Deadline Extension***) formal papers - informal papers - doctoral programme 13th Conference on Intelligent Computer Mathematics - CICM 2020 - July 26-31, 2020

[Om-announce] CICM 2020, July 26-31: Invited Speakers & Second Call for Papers

2nd Call for Papers formal papers - informal papers - doctoral programme 13th Conference on Intelligent Computer Mathematics - CICM 2020 - July 26-31, 2020 Bertinoro, Italy

[Om-announce] CICM 2020, July 26-31: First Call for Papers & Call for Workshop and Tutorial Proposals

[Please accept our apologies if you receive multiple copies of this email] Joint Call for (i) Papers (formal papers - informal papers - doctoral programme) (ii) Workshop and Tutorial Proposals 13th

[Om-announce] CICM 2019: Joint Call for Workshop Papers (OpenMath, LML, GVMM, FVPS), Doctoral Programme Submissions & Participation

Joint Call for Workshops Papers (OpenMath, LML, GVMM, FVPS) Doctoral Programme Submissions Participation 12th Conference on Intelligent Computer Mathematics - CICM 2019

[Om-announce] CICM 2019, July 8-12: Extended Deadline 8th March 2019 (abstracts), 15th March 2019 (full papers)

[Apologies for cross-postings] Call for Papers formal papers - informal papers - doctoral programme 12th Conference on Intelligent Computer Mathematics - CICM 2019 - July

[Om-announce] CICM 2019, July 8-12: 2nd Call for Submissions

[Apologies for cross-postings] Call for Papers formal papers - informal papers - doctoral programme 12th Conference on Intelligent Computer Mathematics - CICM 2019 - July

[Om-announce] CICM 2019, July 8-12: First Call for Submissions, Workshops & Tutorials

[Apologies for cross-postings] Call for Papers formal papers - informal papers - doctoral programme - workshops - tutorials 12th Conference on Intelligent Computer Mathematics - CICM 2019 - July 8-12,

[Om-announce] CICM 2018, Call for Contributions to doctoral programme, work-in-progress, posters, demos, tutorial

Call for Contributions work-in-progress - posters - demos - tutorials - doctoral programme 11th Conference on Intelligent Computer Mathematics - CICM 2018 - August 13-17, 2018

[Om-announce] CICM 2018, Extended submission deadline April 22, 2018 (abstracts), April 29, 2018 (full papers)

Call for Papers formal papers - informal papers - doctoral programme 11th Conference on Intelligent Computer Mathematics - CICM 2018 -

[Om-announce] CICM 2018, final CfP, Abstract submission deadline April 15, 2018

Call for Papers formal papers - informal papers - doctoral programme 11th Conference on Intelligent Computer Mathematics - CICM 2018 -

[Om-announce] CICM 2017 - Call for Participation / Posters / Work in Progress

anagiotou (University of Edinburgh) * Publicity Chair: Serge Autexier (DFKI Bremen) * Local arrangements: Jacques Fleuriot and Suzanne Perry (University of Edinburgh) ___ Om-announce mailing list Om-announce@openmath.org http://openmath.org/mailman/li

[Om-announce] Call for Submissions to the Doctoral Programme - 10th Conference on Intelligent Computer Mathematics - CICM 2017 - Deadline: June 5th, 2017

rall programme is organized by the General Program Chair Herman Geuvers. The local arrangements are coordinated by Jacques Fleuriot. The publicity chair is Serge Autexier. CICM is also an excellent opportunity for graduate students to meet established researchers from the areas of comp

[Om-announce] Call for Workshops - 10th Conference on Intelligent Computer Mathematics - CICM 2017 - Deadline: April 17th, 2017

Call for Workshop Proposals 10th Conference on Intelligent Computer Mathematics - CICM 2017 - July 17-21, 2017 University of Edinburgh, Scotland

[Om-announce] First Call for Papers - 10th Conference on Intelligent Computer Mathematics - CICM 2017 - Abstract Submission Deadline 15. March 2017

ites for systems - Projects: finished, ongoing or new - Survey papers * Track: Doctoral Programme (chair: TBD) The overall programme is organized by the General Program Chair Herman Geuvers. The local arrangements will be coordinated by Jacques Fleuriot. The publicity chair is Serge Aute

[Om-announce] Call for Papers - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - Deadline 28. February 2016

gram Chair Michael Kohlhase. The workshop and publicity chair is Serge Autexier. The local arrangements will be coordinated by Adam Naumowicz. We plan to have proceedings of the conference as in previous years with Springer Verlag as a volume in Lecture Notes in Artificial Intelligence (

[Om-announce] CICM 2015 CfP (Call for Participation + Call for Posters)

Sorge * MKM (Mathematical Knowledge Management) Chair: Cezary Kaliszyk * Systems and Data Chair: Florian Rabe * Doctoral Programme Chair: Umair Siddique Publicity chair is Serge Autexier. The local arrangements are coordinated by the Local Arrangements Chairs, Bruce R. Miller (National

[Om-announce] CICM 2015 - Call for Work-in-Progress Papers

(Mathematical Knowledge Management) Chair: Cezary Kaliszyk * Systems and Data Chair: Florian Rabe Publicity chair is Serge Autexier. The local arrangements will be coordinated by the Local Arrangements Chairs, Bruce R. Miller (National Institute of Standards and Technology, USA

[Om-announce] MKM, Calculemus and DML (CICM 2015): 2nd CfP, Invited Speakers Workshops

Mathematical Libraries) Chair: Volker Sorge * MKM (Mathematical Knowledge Management) Chair: Cezary Kaliszyk * Systems and Data Chair: Florian Rabe * Doctoral Programme Chair: Umair Siddique Publicity chair is Serge Autexier. The local arrangements will be coordinated by the Local

[Om-announce] CICM 2015: Call for Workshops

. Innsbruck, Austria) System Data Chair: Florian Rabe(JUB, Germany) Workshop Chair: Serge Autexier (DFKI, Germany) Important dates: Deadline for proposal submissions: January 23, 2015 Acceptance/rejection notification: February 4, 2015

[Om-announce] First CFP CICM 2015

(Digital Mathematical Libraries) Chair: Volker Sorge * MKM (Mathematical Knowledge Management) Chair: Cezary Kaliszyk * Systems and Data Chair: Florian Rabe Publicity chair is Serge Autexier. The local arrangements will be coordinated by the Local Arrangements Chairs, Bruce R. Miller (National

[Om-announce] CICM 2014: Invited Speakers Call for Work-in-Progress Papers, 1 June 2014

CICM 2014 - Conferences on Intelligent Computer Mathematics 7-11 July 2014 at the University of Coimbra, Portugal http://www.cicm-conference.org/2014 * * * Announcement of Invited Speakers * * * * * * Call for Work-in-Progress Papers -- Deadline June 1 * * *

[Om-announce] 2nd CfP, VERIFY 2014, 8th Verification Workshop, *Abstract Deadline April 17th, 2014*, Focus Theme: Verification Beyond IT Systems

of acceptance: May 20, 2014 Final version due: May 27, 2014 Workshop date: July 23–24, 2014 Submission is via EasyChair: http://www.easychair.org/conferences/?conf=verify2014 Program Committee Serge Autexier (DFKI) - chair Bernhard Beckert (Karlsruhe

[Om-announce] First Call for Papers: 8th Verification Workshop (VERIFY 2014), Focus Theme: Verification Beyond IT Systems

of acceptance: May 20, 2014 Final version due: May 27, 2014 Workshop date: July 23–24, 2014 Submission is via EasyChair: http://www.easychair.org/conferences/?conf=verify2014 Program Committee Serge Autexier (DFKI) - chair Bernhard Beckert (Karlsruhe

[Om-announce] 2nd Call for Papers: Conf. Intelligent Computer Mathematics (CICM 2014)

 CICM 2014 - Conferences on Intelligent Computer Mathematics July 7-11, 2014 at University of Coimbra, Portugal http://www.cicm-conference.org/2014 Second Call for Papers --- * Co-located

[Om-announce] First Call for Papers: Conf. Intelligent Computer Mathematics (CICM 2014)

[Apologies for multiple copies] CICM 2014 - Conferences on Intelligent Computer Mathematics July 7-11, 2014 at University of Coimbra, Portugal http://www.cicm-conference.org/2014 First Call for Papers

[Om-announce] Call for Workshops: Conf. Intelligent Computer Mathematics (CICM 2014)

CICM 2014 - Conferences on Intelligent Computer Mathematics July 7-11, 2014 at University of Coimbra, Portugal http://www.cicm-conference.org/2014 *** Call for Workshop Proposals *** --

[Om-announce] Call for Participation CICM 2013 8-12 July 2013, Registration deadline 23rd June 2013

CICM 2013 - Conferences on Intelligent Computer Mathematics July 8-12, 2013 at University of Bath, Bath, UK http://cicm-conference.org/2013/cicm.php Call for participation Registration deadline: 23 June 2013

[Om-announce] CICM 2013: Final Call for Work in Progress Papers, Deadline June 7th, 2013

11, France Wolfgang Windsteiger, RISC Institute, JKU Linz, Austria Richard Zanibbi, Rochester Institute of Technology, US -- Dr. Serge Autexier, serge.autex...@dfki.de, http://www.dfki.de/~serge/ Research Department Cyber-Physical Systems MZH, Room 3120 Phone: +49 421

[Om-announce] Deadline Extension March 12th, 2013: Conf. Intelligent Computer Mathematics (CICM 2013), July 8-12, 2013, Bath, UK

CICM 2013 - Conferences on Intelligent Computer Mathematics July 8-12, 2013 at University of Bath, Bath, UK http://www.cicm-conference.org/2013/cicm.php Call for Papers --- *

[Om-announce] CfP: Conf. Intelligent Computer Mathematics (Bath, UK, 7-12 Jul 2013); Deadline 8 Mar

CICM 2013 - Conference on Intelligent Computer Mathematics July 7-12, 2013 at University of Bath, Bath, UK http://www.cicm-conference.org/2013/cicm.php Call for Papers As computers

[Om-announce] Call for Workshops: Conf. Intelligent Computer Mathematics (CICM 2013)

CICM 2013 - Conference on Intelligent Computer Mathematics July 8-12, 2012 at the University of Bath, UK http://www.cicm-conference.org/2013 Call for Workshop Proposals --

[Om-announce] AISC'10: Call for Short Presentations

[We apologise if you receive multiple copies] CALL FOR PRESENTATIONS AISC 2010 - 10th International Conference on ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION Theory, Implementations and Applications

[Om-announce] AISC'10: 2nd Call for Papers

deadline: February 26, 2010 Notification: April 18, 2010 Camera Ready Version: April 28, 2010 Conference: July 5 - July 6, 2010 - -- Serge Autexier, serge.autex...@dfki.de, http://www.dfki.de/~serge