[Wiki-research-l] 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 --

[Wiki-research-l] Second Call For Papers: Conf. Intelligent Computer Mathematics (CICM 2013), July 8-12, 2013, Bath, UK

s-Sud 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 Ph

[Wiki-research-l] 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 --- * Invited

[Wiki-research-l] CICM 2013: Final Call for Work in Progress Papers, Deadline June 7th, 2013

Université Paris-Sud 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

[Wiki-research-l] 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 ---

[Wiki-research-l] 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 -

[Wiki-research-l] 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

[Wiki-research-l] CICM 2014: Extended Deadline March 14th, 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 Papers ** Extended Deadline: March 14th, 2014 ** --

[Wiki-research-l] 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 * * *

[Wiki-research-l] 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

[Wiki-research-l] 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,

[Wiki-research-l] MKM, Calculemus and DML (CICM 2015): 2nd CfP, Invited Speakers & Workshops

Chair: Jacques Carette * DML (Digital 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 wi

[Wiki-research-l] CFP CICM 2015 - Deadline Extension

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) and Abdou Youssef (The George Washington University, Washington, D.C.), and the overall programme will be organized

[Wiki-research-l] 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

[Wiki-research-l] CICM 2015 CfP (Call for Participation + Call for Posters)

Jacques Carette * DML (Digital 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 are coordina

[Wiki-research-l] CICM 2015: Final Call for Participation, Deadline July 6th, 2015

* * Calculemus (Symbolic Computation and Mechanised Reasoning) Chair: Jacques Carette * DML (Digital Mathematical Libraries) Chair: Volker Sorge * MKM (Mathematical Knowledge Management) Chair: Cezary Kaliszyk * Systems and Data Chair: Florian Rabe * Doctoral Programme Cha

[Wiki-research-l] Call for Workshops - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - Proposals Deadline 22. January 2016

hair: Serge Autexier(DFKI, Germany) Important dates: Deadline for proposal submissions: January 22nd, 2016 Acceptance/rejection notification: February 1, 2016 Workshop dates: July 25-29,

[Wiki-research-l] 2nd Call for Papers - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - *NEW* Deadline 9. March 2016

overall programme is organized by the General Program 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 v

[Wiki-research-l] Final Call for Papers - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - Abstract Submission Deadline 9. March 2016

a) Like in previous years, project descriptions are welcomed as well. The overall programme is organized by the General Program Chair Michael Kohlhase. The workshop and publicity chair is Serge Autexier. The local arrangements will be coordinated by Adam Naumowicz. We plan to have pro

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

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

[Wiki-research-l] 2nd Call for Papers - 10th Conference on Intelligent Computer Mathematics - CICM 2017 - Abstract Submission Deadline 15. March 2017

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 Autexier. We plan to have proceedings of the conference as in previous years with Springer Verlag as a volum

[Wiki-research-l] *Extended submission deadline* - 10th Conference on Intelligent Computer Mathematics - CICM 2017

rman Geuvers. The local arrangements will be coordinated by Jacques Fleuriot. The publicity chair is Serge Autexier. We plan to have proceedings of the conference as in previous years with Springer Verlag as a volume in Lecture Notes in Artificial Intelligence (LNAI). *Important D

[Wiki-research-l] 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 http://www.cicm-conference.org/201

[Wiki-research-l] 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

[Wiki-research-l] CICM 2017 - Call for Participation / Posters / Work in Progress

ops Chair: Petros Papapanagiotou (University of Edinburgh) * Publicity Chair: Serge Autexier (DFKI Bremen) * Local arrangements: Jacques Fleuriot and Suzanne Perry (University of Edinburgh) ___ Wiki-research-l mailing list Wiki-research-l@lists.wi

[Wiki-research-l] CICM 2018: Call for Papers, Workshops & Tutorials

Call for Papers formal papers - informal papers - doctoral programme - workshops - tutorials 11th Conference on Intelligent Computer Mathematics - CIC

[Wiki-research-l] CICM 2018: Update on Invited Speakers, Workshops and 2nd CfP

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

[Wiki-research-l] 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 -

[Wiki-research-l] 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 -

[Wiki-research-l] 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

[Wiki-research-l] 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, 201

[Wiki-research-l] 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 8

[Wiki-research-l] 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 8

[Wiki-research-l] 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 -

[Wiki-research-l] 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 Conferen

[Wiki-research-l] 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

[Wiki-research-l] 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 B

[Wiki-research-l] 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 online

[Wiki-research-l] 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, Romania

[Wiki-research-l] 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, Romani

[Wiki-research-l] 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

[Wiki-research-l] 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 Tim

[Wiki-research-l] 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 opport

[Wiki-research-l] 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* http://www.c

[Wiki-research-l] 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

[Wiki-research-l] 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

[Wiki-research-l] 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)

[Wiki-research-l] 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

[Wiki-research-l] 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

[Wiki-research-l] 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 (hyb

[Wiki-research-l] 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 https://www.cicm-conference.

[Wiki-research-l] 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 (h

[Wiki-research-l] CICM 2023, Extended deadlines 3.4.2023 (abstracts) / 10.4.2023 (full paper)

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

[Wiki-research-l] Deadline Extension Doctoral Programme CICM 2023: 14 July 2023

Call for Submissions to the doctoral programme 16th Conference on Intelligent Computer Mathematics - CICM 2023 - 4–8 September 2023 Emmanuel College, Cambridge, UK (hybrid event) http://www.cicm

[Wiki-research-l] CICM 2023 - Call for Participation

Call for Participation 16th Conference on Intelligent Computer Mathematics - CICM 2023 - 5-8 September 2023 Cambridge (United Kingdom) (hybrid event) http://www.cicm-conference.org/2023 -

[Wiki-research-l] CICM 2023 - Call for Participation

Call for Participation 16th Conference on Intelligent Computer Mathematics - CICM 2023 - 5-8 September 2023 Cambridge (United Kingdom) (hybrid event) http://www.cicm-conference.org/2023 -

[Wiki-research-l] 'Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024)

Call for Papers formal papers - doctoral programme 17th Conference on Intelligent Computer Mathematics - CICM 2024 - August 5–9, 2024

[Wiki-research-l] CICM 2024, Call for Workshop and Tutorial Proposals, Conference on Intelligent Computer Mathematics 2024

Call for Workshop and Tutorial Proposals 17th Conference on Intelligent Computer Mathematics - CICM 2024 -

[Wiki-research-l] 2nd Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024)

Second Call for Papers formal papers - doctoral programme 17th Conference on Intelligent Computer Mathematics - CICM 2024 - August 5–9, 2024

[Wiki-research-l] Final Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024)

Call for Papers formal papers - doctoral programme 17th Conference on Intelligent Computer Mathematics - CICM 2024 - August 5–9, 2024

[Wiki-research-l] Extended Deadline April 8, 2024 (abstracts April 1, 2024): 17th Conference on Intelligent Computer Mathematics (CICM 2024)

Call for Papers formal papers - doctoral programme 17th Conference on Intelligent Computer Mathematics - CICM 2024 - August 5–9, 2024

[Wiki-research-l] Call for Papers: Workshop on Women in Formal Methods (WiFM-2024), Deadline: June 9, 2024

= First Call for Papers Workshop on Women in Formal Methods (WiFM-2024) August 9, 2024

[Wiki-research-l] Call for Papers: 3rd Workshop on Formal Verification of Physical Systems (FVPS-2024), Deadline: June 9, 2024

== First Call for Papers Third Workshop on Formal Verification of Physical Systems (FVPS-2024)

[Wiki-research-l] Call for Submissions to the Doctoral Program - 17th Conference on Intelligent Computer Mathematics - CICM 2024 - Deadline: June 13, 2024

=== Call for Submissions to the Doctoral Programme 17th Conference on Intelligent Computer Mathematics - CICM 2024 - August

[Wiki-research-l] [Second Call for Papers] Women in Formal Methods (WiFM-2024)

= Second Call for Papers Workshop on Women in Formal Methods (WiFM-2024) August 9, 2024 Montreal,

[Wiki-research-l] Second Call for Submissions to the Doctoral Program - 17th Conference on Intelligent Computer Mathematics - CICM 2024 - Extended Deadline: June 20, 2024

=== Second Call for Submissions to the Doctoral Programme 17th Conference on Intelligent Computer Mathematics - CICM 2024 - Augus

[Wiki-research-l] [Second Call for Papers] Formal Verification of Physical Systems (FVPS-2024) Extended Deadline: June 16, 2024

Second Call for Papers Third Workshop on Formal Verification of Physical Systems (FVPS-2024)

[Wiki-research-l] CICM 2024 - Call for Participation (August 5-9 in Montreal, Canada

-- Call for Participation 17th Conference on Intelligent Computer Mathematics - CICM 2024 - 5-9 August 2024 Montréal (Canada) http://www.cicm-conference.org/2024

[Wiki-research-l] [3rd Call for Papers] Formal Verification of Physical Systems (FVPS-2024) Extended Deadline: July 12, 2024

Third Call for Papers Third Workshop on Formal Verification of Physical Systems (FVPS-2024) August 5, 2024

[Wiki-research-l] [Third Call for Papers] Women in Formal Methods (WiFM-2024) Colocated with CICM-2024

= Third Call for Papers Workshop on Women in Formal Methods (WiFM-2024) August 9, 2024 Montreal, Quebec, Canada

[Wiki-research-l] 3rd Call for Papers: Mathematical User Interaction (MathUI'24)

The 3rd Call for Papers: MathUI'24 (extended deadline) (see MathUI at http://www.cicm-conference.org/2024) 15th MathUI Workshop 2024 Mathematical Use