[Om-announce] Call for sessions, ICMS 2018

6th INTERNATIONAL CONGRESS ON MATHEMATICAL SOFTWARE University of Notre Dame, 24--27 July 2018 http://icms-conference.org/2018/ CALL FOR SESSIONS === The 6th International Congress on Mathematical Software will be held

[Spam:*****] [Om-announce] CFP Synasc 2016, Timisoara, Romania

- * Viorel Negru, West University of Timisoara, Romania * Dana Petcu, West University of Timisoara, Romania Program Chairs - * James Davenport, University of Bath, UK * Daniela Zaharie, West University of Timisoara, Romania Track Chairs

[Spam:*****] [Om-announce] SYNASC 2016: second CfP with revised dates and more workshops.

- * Viorel Negru, West University of Timisoara, Romania * Dana Petcu, West University of Timisoara, Romania Program Chairs - * James Davenport, University of Bath, UK * Daniela Zaharie, West University of Timisoara, Romania Track Chairs

[Om-announce] SCSS 2016 Scond Call for Papers

) transformations - formalization and computerization of knowledge (maths, medicine, economy, etc.) - component-based programming - computational origami - query languages (in particular for XML documents) - semantic web and cloud computing Program Chair - James Davenport (University

[Om-announce] Fwd: [5 days left for abstract submission] CFP Synasc 2014, Timisoara, Romania

* Symbolic Computation + James Davenport, University of Bath, UK + Stephen Watt, University of Western Ontario, Canada * Numerical Computing + Richard Liska, Technical University of Prague, Czech Republic + Dana Petcu, West University of Timisoara, Romania * Logic

[Om-announce] Call For Applications - CICM 2014 Doctoral Programme

as submitted to EasyChair, the (non)availability of other funding, and the estimated cost of attending the conference, which should be detailed in the applicant's email. Thanks David Wilson (University of Bath) James Davenport Hebron Medlock Professor of Information Technology, University of Bath

[Om-announce] British Colloquium on Theoretical Computer Science

--- Abstract submission deadline for participants wishing to give contributed talks. 10th March 2013 --- Deadline for registration. 24th--27th March 2013 --- Colloquium. James Davenport Lecturer on XX10190, CM30070, XX40211, and CM20215 Hebron Medlock Professor of Information Technology, University

[Om-announce] MEGA 2011: deadline for registration and software presentations.

All researchers willing to participate of the *ESF-EMS-ERCOM/IML Conference* *MEGA 2011: Effective Methods in Algebraic Geometry * Stockholm University, Sweden, *30 May - 3 June 2011*, need to *register* by March 16, 2011. Full conference programme, registration and submission pages are

[Om-announce] CICM 2011: 2nd Call for Papers, Systems Projects Track

Submission deadline: May 7, 2011 Notification of acceptance: May 30, 2011 Camera ready copies due: June 7, 2011 CICM conference: * Programme Committee Chairs * General chair: James Davenport (University of Bath) ** MKM track ** Florian Rabe (Jacobs University

[Om-announce] Call for Papers: CICM 2011

of acceptance: May 30, 2011 Camera ready copies due: June 7, 2011 CICM conference: * Programme Committee Chairs * General chair: James Davenport (University of Bath) ** MKM track ** Florian Rabe (Jacobs University, Germany) Chair Laurent Bernardin(Maplesoft

[Om-announce] PhD studies in Computer Algebra and Semantics of Mathematics at Bath

. Our staff include James Davenport, John ffitch, Russell Bardford and Julian Padget. We welcome students interested in any aspects of computer algebra, and its relationship to the semaantics of mathematics such as OpenMath/MathML. The research publications of the Department of Computer Science

[Om-announce] PLMMS 2010: Call for Demos

) * Serge Autexier (DFKI, Germany) * David Delahaye (CNAM, Paris, France) * James Davenport [PC co-chair] (University of Bath, UK) * Lucas Dixon [PC co-chair] (University of Edinburgh, UK) * Gudmund Grov (University of Edinburgh, UK) * Ewen Maclean (University of Herriot Watt, UK) * Dale