LISTSERV - SIGSAM-FRIENDS Archives

SIGSAM-FRIENDS Archives

ACM SIGSAM-Friends List

SIGSAM-FRIENDS@LISTSERV.ACM.ORG

	LISTSERV Archives
	SIGSAM-FRIENDS Home

	Log In
	Register

	Subscribe or Unsubscribe

	Search Archives

* * *

Options:

Use Forum View
Enter Date Range

Subject	From	Date
CICM 2021, July 26-31, Call for online participation	Serge Autexier	Sun, 25 Jul 2021 12:51:30 +0200
Regev-Zeilberger Virtual Workshop - This Week!	Regev Zeilberger Conference	Sun, 25 Jul 2021 10:53:53 +0300
PhD Scholarship in Algebraic Spline Geometry at Swansea University	Nelly Villamizar	Mon, 19 Jul 2021 19:08:50 +0000
2021 Jenks Prize for Software Excellence in Computer Algebra	Michael Monagan	Sat, 17 Jul 2021 04:40:29 +0000
Deadline Extension CAUSAL 2021: Workshop on Causal Reasoning and Explanation (co-located with LPNMR 2019)	Emily LeBlanc	Fri, 16 Jul 2021 08:14:59 -0400
New PhD position in Computer Algebra & Machine Learning (fully funded)	Matthew England	Fri, 16 Jul 2021 11:59:46 +0100
CAUSAL 2021 Call for Papers (workshop of ICLP-21)	Leblanc, Emily C CIV USN NRL (5512) Washington DC (USA)	Sat, 10 Jul 2021 12:05:54 +0000
ISSAC 2021 - Registration Reminder	Daniel Robertz	Fri, 9 Jul 2021 15:42:34 +0000
SYNASC 2021 2nd CfP	Matthew England	Sun, 4 Jul 2021 20:30:57 +0100
ISSAC 2021 - Final Call for Participation	Daniel Robertz	Tue, 29 Jun 2021 18:06:05 +0000
Results: SIGSAM Officers Election	Christopher Brown	Fri, 18 Jun 2021 09:57:25 -0400
SCSS 2021: call for short and work-in-progress papers	Temur Kutsia	Thu, 17 Jun 2021 17:20:00 +0200
ISSAC 2021 - Call for Participation	Daniel Robertz	Sat, 5 Jun 2021 09:45:16 +0000
CFP - 14th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2021)	Miguel Areias	Mon, 31 May 2021 18:38:35 +0100
ACM Communications in Computer Algebra 55:1 (Issue 215)	Matthew England	Tue, 25 May 2021 19:21:27 +0100
SCSS 2021: deadline extension	Temur Kutsia	Wed, 19 May 2021 21:11:19 +0200
CASC 2021: Final CfP and Deadline Extension	Matthew England	Wed, 12 May 2021 14:36:25 +0100
ACM Communications in Computer Algebra 54:4 (Issue 214)	Matthew England	Tue, 11 May 2021 15:05:37 +0100
ISSAC 2021 - Preliminary Call for Participation	Daniel Robertz	Wed, 5 May 2021 21:41:13 +0000
ISSAC 2021 - Third Call for Short Communications and Software Presentations	Daniel Robertz	Tue, 4 May 2021 21:31:36 +0000
2021 Conference on Intelligent Computer Mathematics - Doctoral Programme - Call for Abstracts	Serge Autexier	Mon, 19 Apr 2021 09:22:24 +0200
The advert for SIGSAM mailing lists	Alla Bogolubskaya	Wed, 14 Apr 2021 08:25:01 +0300
CASC 2021: Second CfP	Matthew England	Mon, 12 Apr 2021 10:57:15 +0100
ISSAC 2021 - Second Call for Short Communications and Software Presentations	Daniel Robertz	Mon, 12 Apr 2021 09:27:41 +0000
Algebraic Geometry from an algorithmic point of view at ACA 2021	Cristina Bertone	Fri, 9 Apr 2021 10:18:36 +0200
Deadline Extension: April 5th, 20201, 14th Conference on Intelligent Computer Mathematics (CICM 2021)	Serge Autexier	Mon, 29 Mar 2021 20:47:16 +0200
2nd CfP: SCSS 2021	Temur Kutsia	Mon, 29 Mar 2021 15:48:10 +0200
2-year Postdoctoral Position at Swansea University	Villamizar N.Y.	Wed, 24 Mar 2021 10:14:37 +0000
14th Conference on Intelligent Computer Mathematics (CICM 2021) Final call for papers, Conference Date: July 26-31, 2021	Serge Autexier	Tue, 16 Mar 2021 20:22:42 +0100
SIGSAM, the ACM Special Interest Group on Symbolic and Algebraic Manipulation, Elections	Christopher Brown	Mon, 15 Mar 2021 09:24:52 -0400
Call for Papers: MCS Special Issue for Vladimir Gerdt	Matthew England	Thu, 11 Mar 2021 22:23:09 +0000
ISSAC 2021 - Call for Short Communications and Software Presentations	Daniel Robertz	Wed, 3 Mar 2021 15:25:27 +0000
New PhD position in Computer Algebra & Machine Learning (fully funded)	Matthew England	Wed, 24 Feb 2021 12:42:45 +0000
14th Conference on Intelligent Computer Mathematics (CICM 2021), Invited Speakers Update & Second call for papers, Conference Date: July 26-31, 2021	Serge Autexier	Sat, 20 Feb 2021 17:11:34 +0100
Open positions at the Computer Science department of Ecole polytechnique	Joris van der Hoeven	Tue, 16 Feb 2021 20:46:19 +0100
JSP Special Issue: Algebraic Geometry and Machine Learning	Matthew England	Tue, 16 Feb 2021 13:52:53 +0000
Fwd:Call for Contributions to the Asian Technology Conference in Mathematics ATCM 2021	Tomas Recio Muñiz	Sat, 6 Feb 2021 20:56:14 +0000
CfP: CASC 2021	Matthew England	Thu, 4 Feb 2021 20:46:22 +0000
CfP: SCSS 2021	Temur Kutsia	Tue, 2 Feb 2021 12:19:00 +0100
14th Conference on Intelligent Computer Mathematics (CICM 2021), First call for papers & Save-the-Conference-Date: July 26-31, 2021	Serge Autexier	Wed, 27 Jan 2021 09:18:45 +0100
ISSAC 2021 - Third call for papers	Daniel Robertz	Fri, 22 Jan 2021 14:48:10 +0000
Vladimir Gerdt	Josef Schicho	Wed, 6 Jan 2021 12:34:26 +0100
ISSAC 2021 - Second call for papers	Daniel Robertz	Tue, 5 Jan 2021 23:19:24 +0000
SCSC Minisymposium at SIAM AG21	Matthew England	Wed, 23 Dec 2020 13:17:11 +0000
FoCM 2021 Online Seminar	Agnes Szanto	Tue, 15 Dec 2020 14:37:33 -0500
Open professor position at RISC	Veronika Pillwein	Mon, 16 Nov 2020 22:41:29 +0100
Postdoc position at Ecole polytechnique	Gleb Pogudin	Tue, 3 Nov 2020 18:12:07 +0300
ISSAC 2021 - First call for papers	Daniel Robertz	Mon, 2 Nov 2020 10:39:04 +0000
Special Issue: Appl. Computer Algebra	EUGENIO ROANES LOZANO	Fri, 23 Oct 2020 13:24:38 +0200
ISSAC 2021 - Call for Pre-Conference Workshops	Daniel Robertz	Mon, 12 Oct 2020 18:26:15 +0000
Postdoc position at Sorbonne Univ. (Paris, France)	Mohab Safey El Din	Mon, 12 Oct 2020 09:58:02 +0200
Post-doctoral Vacancy in Computer Algebra at Bath	James Davenport	Sun, 4 Oct 2020 15:55:39 +0000
ACM Communications in Computer Algebra 54:2 (Issue 212)	Matthew England	Wed, 30 Sep 2020 13:07:45 +0100
AlCoB 2020 & 2021: 1st call for papers	IRDTA	Tue, 29 Sep 2020 00:12:33 +0200
ACM Communications in Computer Algebra 54:1 (Issue 211)	Matthew England	Thu, 27 Aug 2020 08:12:41 +0100
Maple Conference 2020 Registration	Juergen Gerhard	Tue, 25 Aug 2020 19:42:58 +0000
CASC 2020: Registration Open	Matthew England	Thu, 13 Aug 2020 13:28:41 +0100
Maple Conference 2020 - Reminder	Juergen Gerhard	Mon, 10 Aug 2020 18:36:01 +0000
Postdoc Advert: Position in Computer Algebra and SAT/SMT	Matthew England	Tue, 28 Jul 2020 15:43:37 +0100
Journal of Symbolic Computation: Next Editor-in-Chief	Hoon Hong	Tue, 14 Jul 2020 17:53:05 -0400
Maple Conference 2020 - Deadline Extended	Juergen Gerhard	Mon, 13 Jul 2020 19:14:12 +0000
CICM 2020, July 26-31: Call for Online Participation	Serge Autexier	Fri, 10 Jul 2020 17:24:54 +0200
ISSAC 2020 - Call for Participation	François Lemaire	Thu, 2 Jul 2020 15:25:38 +0200
Maple Conference 2020 Call for Presentations	Juergen Gerhard	Thu, 25 Jun 2020 14:30:08 +0000
2019 Jenks Prize Decision	Matthew England	Fri, 19 Jun 2020 10:15:57 +0100
ISSAC 2020 - Second Call for Posters	François Lemaire	Wed, 3 Jun 2020 10:29:02 +0200
ISSAC 2020 - Second Call for Software Demonstrations	François Lemaire	Wed, 3 Jun 2020 10:14:20 +0200
CASC 2020: (Online 14-19 Sep 2020) - Final Call	Matthew England	Sun, 31 May 2020 10:21:05 +0100
SYNASC 2020: 2nd Call for Papers	Matthew England	Tue, 26 May 2020 22:41:13 +0100
Termination and Complexity Competition 2020: Call for Participation	Juergen Giesl	Fri, 15 May 2020 18:15:44 +0200
ISSAC 2020 - Call for Software Demonstrations, and for Posters / Short Communications	François Lemaire	Mon, 11 May 2020 23:11:30 +0200
CASC 2020: Now Online Conference - Submission Deadline Extended	Matthew England	Sat, 2 May 2020 11:54:40 +0100
Postdoc Advert in Symbolic Computation	Matthew England	Fri, 24 Apr 2020 09:12:42 +0100
SC-Square Workshop 2020: now online with delayed submission date	Matthew England	Wed, 22 Apr 2020 10:20:39 +0100
2nd CfP: UNIF 2020	Temur Kutsia	Thu, 9 Apr 2020 00:12:23 +0200
ACM Communications in Computer Algebra 53:4 (Issue 210)	Matthew England	Mon, 6 Apr 2020 10:02:23 +0100
Fully funded PhD position in Computer Algebra & Machine Learning	Matthew England	Mon, 2 Mar 2020 12:03:01 +0000
Workshop in Geometric Computation, Dublin, June	Colm O Dunlaing	Fri, 28 Feb 2020 16:10:15 +0000
"Algebraic Geometry from an algorithimic point of view" at ACA 2020	Cristina Bertone	Tue, 25 Feb 2020 21:40:00 +0100
Second announcement and CALL FOR PARTICIPATION, Polynomial Computer Algebra, PCA'2020	Nikolay Vassiliev	Mon, 24 Feb 2020 06:05:26 -0500
CICM 2020, July 26-31: Invited Speakers & Second Call for Papers	Serge Autexier	Sat, 15 Feb 2020 08:48:35 +0100
Foundations of ComputationalMathematics, Vancouver, Canada, Jun 2020	Matthew England	Thu, 13 Feb 2020 15:55:27 +0000
CfP: SCSS 2020	Temur Kutsia	Thu, 6 Feb 2020 15:25:29 +0100
Second call for 15 PhD positions and Recruitment event: GRAPES Network	Ioannis Emiris	Tue, 28 Jan 2020 22:29:25 +0200
ICMS 2020 - Call for Submissions	Matthew England	Tue, 28 Jan 2020 13:46:58 +0000
SC-Square Workshop 2020: First Call for Papers	Matthew England	Thu, 23 Jan 2020 07:21:14 +0000
CASC 2020: First Call For Papers	Matthew England	Fri, 17 Jan 2020 17:21:10 +0000
Graduate Student Meeting on Applied Algebra and Combinatorics - April 2020, Copenhagen	Gonzalez Vega, Laureano	Wed, 8 Jan 2020 09:58:18 +0000
ISSAC 2020 - Second call for papers	François Lemaire	Wed, 8 Jan 2020 10:20:56 +0100
Polynomial Computer Algebra Conference PCA2020 in St.Petersburg	Nikolay Vassiliev	Tue, 7 Jan 2020 01:38:46 -0500
ACM Communications in Computer Algebra 53:3 (Issue 209)	Matthew England	Thu, 19 Dec 2019 10:36:12 +0000
CICM 2020, July 26-31: First Call for Papers & Call for Workshop and Tutorial Proposals	Serge Autexier	Fri, 13 Dec 2019 11:22:46 +0100
CFP: Special Issue on Computational Algebraic Topology and Neural Networks in Computer Vision	Rocio Gonzalez-Diaz	Fri, 13 Dec 2019 06:31:22 +0100
Fwd: 15 PhD positions in GRAPES: Learning, Processing & Optimising Shapes	Ioannis Emiris	Mon, 9 Dec 2019 09:09:43 +0200
ACM Communications in Computer Algebra 53:2 (Issue 208)	Matthew England	Fri, 15 Nov 2019 06:55:25 +0000
FoCM 2020 - Save the Date	Matthew England	Sat, 12 Oct 2019 21:28:18 +0100
ISSAC 2020: First Call for Papers	François Lemaire	Mon, 30 Sep 2019 14:57:13 +0200
ACA 2020 - Call For Special Sessions	Matthew England	Fri, 27 Sep 2019 08:29:13 +0100
Special Issue of AAECC on Algebraic Geometry from an Algorithmic Pont of View - LAST CALL FOR PAPERS	Cristina Bertone	Thu, 26 Sep 2019 14:17:03 +0200
MACIS 2019 - Final Call for Papers	Matthew England	Sun, 22 Sep 2019 21:47:40 +0100
ACM Communications in Computer Algebra 53:1 (Issue 207)	Matthew England	Thu, 19 Sep 2019 09:06:14 +0100
2019 Jenks Prize: Final Call for Nominations	Matthew England	Tue, 3 Sep 2019 09:49:14 +0100
MACIS 2019 - CfP - Extended Deadline	Matthew England	Sat, 17 Aug 2019 13:04:03 +0100
3rd Call for Nominations: 2019 Jenks Prize	Matthew England	Sun, 4 Aug 2019 21:50:22 +0100
Special issue of AAECC on Computer Algebra and application to combinatorics, coding theory and cryptography	Teo Mora	Thu, 25 Jul 2019 18:43:22 +0200
Special Issue of AAECC on Algebraic Geometry from an Algorithmic Pont of View	Teo Mora	Thu, 25 Jul 2019 18:10:07 +0200
MACIS 2019 Call for Papers	Matthew England	Thu, 11 Jul 2019 20:52:40 +0100
ISSAC special session: Introduction to the Scientific Refereeing Process	Christopher Brown	Tue, 9 Jul 2019 17:31:04 -0400
ISSAC 2019: Final Call for Participation	Matthew England	Tue, 2 Jul 2019 14:04:56 +0100
SYNASC 2019 - Last Call for Papers	Matthew England	Mon, 17 Jun 2019 09:37:18 +0100
Early Stage Researcher (ESR) at RISC (Hagenberg)	Carsten Schneider	Wed, 12 Jun 2019 09:21:06 +0200
ISSAC 2019 Call for Participation	Matthew England	Tue, 4 Jun 2019 10:56:58 +0100
ACM Communications in Computer Algebra 52:4 (Issue 206)	Matthew England	Mon, 3 Jun 2019 10:24:15 +0100
Jenks Prize 2019: Second Call for Nominations	Matthew England	Thu, 30 May 2019 11:25:23 +0100
Call for Participation - Workshop on Large Mathematical Libraries (LML 2019)	Dennis Müller	Wed, 29 May 2019 15:38:06 +0200
call for proposals. International Center for Mathematical Meetings. Castro-Urdiales, Cantabria, Spain	Prof. Tomas Recio	Thu, 23 May 2019 10:06:01 +0200
ACA2019: Registration and Second Call for Abstracts	Proulx, Louis-Xavier	Wed, 1 May 2019 20:39:58 -0400
CFP: The 35th International Conference on Logic Programming (ICLP 2019) - updated deadlines	Fioretto, Ferdinando	Wed, 1 May 2019 02:48:14 +0000
OPSFA 2019: Call for Participation	Christoph Koutschan	Sun, 28 Apr 2019 08:49:21 +0200
Please help disseminating "Proving and Discovery in Geometry: Dynamic Geometry, Computer Algebra and Mathematics Education" Special Session at ACA 2019 Montreal	Prof. Tomas Recio	Sat, 20 Apr 2019 15:20:32 +0200
[CFP] 3rd International Workshop on User-Oriented Logic Paradigms - [Deadline extension]	Christos Rodosthenous	Fri, 12 Apr 2019 11:34:59 +0000
Call for papers: SC-square workshop 2019 (deadline extension)	Alberto Griggio	Tue, 9 Apr 2019 14:59:51 +0200
ACA2019: Call for Abstracts	<>	Wed, 27 Mar 2019 23:35:18 +0000
ASPOCP 2019 - call for papers (deadline extended)	Jorge Fandino	Wed, 27 Mar 2019 09:28:35 +0100
CASC 2019: Final Call for Papers - Extended Deadline	Matthew England	Thu, 21 Mar 2019 13:34:54 +0000
Call for Papers: SC-square workshop 2019	Alberto Griggio	Thu, 21 Mar 2019 12:31:59 +0100
ISSAC 2019: Call for software presentations, posters and for participation	Yue Ren	Wed, 13 Mar 2019 23:46:19 +0100
Fourth Stephen Smale Prize: Call for Nominations	Matthew England	Mon, 11 Mar 2019 10:24:10 +0000
CASC 2019: 2nd Call for Papers	Matthew England	Fri, 8 Mar 2019 09:39:35 +0000
2019 Jenks Prize - Call for Nominations	Matthew England	Thu, 7 Mar 2019 21:22:33 +0000
AMMCS 19 - Minisymposium Call for Abstracts	Matthew England	Mon, 4 Mar 2019 10:12:46 +0000
CICM 2019, July 8-12: Extended Deadline 8th March 2019 (abstracts), 15th March 2019 (full papers)	Serge Autexier	Mon, 4 Mar 2019 08:36:49 +0100
AlCoB 2019: call for posters	IRDTA	Fri, 22 Feb 2019 02:33:53 +0100
ACM Communications in Computer Algebra 52:3 (Issue 205)	Matthew England	Wed, 20 Feb 2019 14:01:55 +0000
5th summer school "Algorithmic and Enumerative Combinatorics" (AEC 2019)	Carsten Schneider	Thu, 31 Jan 2019 13:20:49 +0100
SC-Square Workshop 2019: Call for Submissions	<>	Thu, 24 Jan 2019 12:59:34 +0000
Open computer science positions at Ecole polytechnique, France	Joris van der Hoeven	Sun, 20 Jan 2019 22:29:04 +0100
ISSAC 2019 - Final Call - Deadline Extension	Matthew England	Sun, 6 Jan 2019 22:21:12 +0000
Polynomial Computer Algebra PCA2019 in St.Petersburg	Nikolay Vassiliev	Thu, 27 Dec 2018 06:44:08 -0500
AlCoB 2019: 3rd call for papers	IRDTA	Mon, 24 Dec 2018 13:03:37 +0100
CASC 2019 - First Call for Papers	Matthew England	Sun, 16 Dec 2018 18:51:51 +0000
ACA2019: Call for sessions	<>	Fri, 7 Dec 2018 15:44:16 +0000
ISSAC 2019: Second Call for Papers	Matthew England	Thu, 6 Dec 2018 22:23:42 +0000
PhD position in algebraic algorithms in games and optimization	Elias TSIGARIDAS	Mon, 26 Nov 2018 22:24:14 -0500
Journal of Symbolic Computation Special Issue for ISSAC2018: Deadline extension	Gleb Pogudin	Wed, 14 Nov 2018 00:18:39 -0500
PhD positions in ITN POEMA	Bernard Mourrain	Mon, 12 Nov 2018 20:52:16 +0100
CICM 2019, July 8-12: First Call for Submissions, Workshops & Tutorials	Serge Autexier	Fri, 9 Nov 2018 09:45:08 +0100
Postdoct positions in Mathematics & Fundamental Computer Science, Lyon 2019 campaign	Gilles Villard	Mon, 5 Nov 2018 14:07:42 +0100
ISSAC 2019 First CfP	Matthew England	Thu, 11 Oct 2018 19:26:51 +0100
MEGA 2019: Second announcement and call for submission	Thorsten Theobald	Wed, 10 Oct 2018 10:42:18 +0200
Journal of Symbolic Computation Special Issue for ISSAC2018: Call for Papers	Gleb Pogudin	Tue, 2 Oct 2018 23:42:45 -0400
Openings for two postdoc position in Berlin	Peter Buergisser	Tue, 2 Oct 2018 10:49:20 -0400
ACM Communications in Computer Algebra 52:2 (Issue 204)	Matthew England	Tue, 2 Oct 2018 14:06:10 +0100
Openings for a PhD position in symbolic computation and special functions	Veronika Pillwein	Fri, 28 Sep 2018 21:58:10 +0200
Advert: Funded PhD Opportunity in Computer Algebra	Matthew England	Tue, 18 Sep 2018 16:56:48 +0100
ACM Communications in Computer Algebra 52:1 (Issue 203)	Matthew England	Sat, 28 Jul 2018 16:41:35 +0100
Postdoctoral Position in Machine Learning & Computer Algebra	Matthew England	Tue, 17 Jul 2018 17:34:24 +0100
MEGA 2019: First announcement and call for submission	Thorsten Theobald	Wed, 4 Jul 2018 16:05:48 +0200
CICM 2018, Call for Contributions to doctoral programme, work-in-progress, posters, demos, tutorial	Serge Autexier	Fri, 22 Jun 2018 08:51:06 +0200
ISSAC 2018: Call for Participation	Gleb Pogudin	Mon, 18 Jun 2018 20:18:05 -0400
SYNASC 2018 - Final Call for Papers	Temur Kutsia	Wed, 13 Jun 2018 15:00:39 +0200
Final CFP of ADG - submission deadline extended	Fadoua Ghourabi	Fri, 25 May 2018 14:49:52 +0000
ICMS 2018: Call for Posters	Matthew England	Tue, 22 May 2018 10:00:22 +0100
ISSAC 2018: Call for Participation	Gleb Pogudin	Thu, 10 May 2018 20:56:12 -0400
AISC 2018 - Deadline Extended - Final Call	Matthew England	Fri, 4 May 2018 17:47:32 +0100
SI(AG)^2 Early Career Prize	Matthew England	Thu, 3 May 2018 09:53:39 +0100
ADG 2018 - 2nd CFP	Fadoua Ghourabi	Mon, 30 Apr 2018 10:01:13 +0900
Deadline extension: JSC Special Issue for MICA 2016	Lee Wen-Shin	Sun, 29 Apr 2018 08:45:07 +0000
Second Call for Posters and Software Presentations ISSAC 2018	Gleb Pogudin	Sat, 21 Apr 2018 23:07:22 -0400
CICM 2018, Extended submission deadline April 22, 2018 (abstracts), April 29, 2018 (full papers)	Serge Autexier	Wed, 18 Apr 2018 07:35:43 +0200
SC-Square Workshop 2018 - 2nd Call for Papers	Matthew England	Thu, 12 Apr 2018 21:01:50 +0100
AISC 2018 2nd Call For Papers	Matthew England	Wed, 11 Apr 2018 21:19:22 +0100
CICM 2018, final CfP, Abstract submission deadline April 15, 2018	Serge Autexier	Mon, 9 Apr 2018 14:08:42 +0200
Session "Algorithms for zero-dimensional ideals" -- Santiago de Compostela -- talk submission until April 16	Vincent Neiger	Wed, 4 Apr 2018 09:39:30 +0200
ACM Communications in Computer Algebra 51:4 (Issue 202)	Matthew England	Fri, 30 Mar 2018 22:34:04 +0100
Second CfP: JSC Special Issue for MICA 2016	Lee Wen-Shin	Wed, 28 Mar 2018 12:30:50 +0000
ICMS 2018: Second Call for Contributions	Matthew England	Mon, 26 Mar 2018 22:01:27 +0100
The session on Computer Algebra for Dynamical Systems and Celestial Mechanics at	Nikolay Vassiliev	Mon, 26 Mar 2018 12:10:51 -0400
ICMS 2018: Second Call for Contributions	Matthew England	Fri, 23 Mar 2018 14:49:35 +0000
Deadline Extension: ICMS'18 Session on Software for Mathematical Reasoning and Applications	Temur Kutsia	Thu, 22 Mar 2018 16:37:30 +0100
CICM 2018: Update on Invited Speakers, Workshops and 2nd CfP	Serge Autexier	Fri, 16 Mar 2018 11:26:25 +0100
SC-Square Workshop 2018 - Call for Papers	Matthew England	Thu, 15 Mar 2018 21:06:12 +0000
"Algorithms for zero-dimensional ideals" at ACA meeting in Santiago de Compostela	Vincent Neiger	Wed, 14 Mar 2018 14:16:45 +0100
Workshop in Geometric Computation, Dublin, June	Colm O Dunlaing	Tue, 6 Mar 2018 16:35:21 +0000
Postdoctoral Fellowship in Symbolic Computation (with Prof. Kaltofen)	Matthew England	Tue, 6 Mar 2018 15:49:43 +0000
CfP: ICMS'18 Session on Software for Mathematical Reasoning and Applications	tkutsia	Thu, 1 Mar 2018 17:54:40 +0100
ICMS 2018 - Call for Contributions	Matthew England	Sun, 25 Feb 2018 22:07:43 +0000
"Computer Algebra for Dynamical Systems And Celestial Mechanics " Session at ACA2018 Meeting in Santiago De Compostela	Nikolay Vassiliev	Wed, 21 Feb 2018 03:46:17 -0500
Polynomial Computer Algebra PCA2018 in St.Petersburg	Nikolay Vassiliev	Mon, 19 Feb 2018 02:35:51 -0500
Call for Posters and Software Presentations ISSAC 2018	Gleb Pogudin	Sat, 10 Feb 2018 21:27:59 -0500
AISC 2018: Call for Papers	Matthew England	Thu, 8 Feb 2018 17:49:49 +0000
Please help disseminating Dynamic Geometry-Mathematicas Education Workshop at ACA 2018	Prof. Tomas Recio	Thu, 1 Feb 2018 10:07:55 +0100
JSC Special Issue for MICA 2016	Lee Wen-Shin	Tue, 23 Jan 2018 15:52:11 +0000
ADG 2018 Call for Papers	Fadoua Ghourabi	Tue, 16 Jan 2018 07:53:06 +0000
Final Call for Papers ISSAC 2018	Gleb Pogudin	Mon, 15 Jan 2018 23:31:48 -0500
DART IX (Differential Algebra and Related Topics) conference - First announcement	Gleb Pogudin	Mon, 15 Jan 2018 18:29:44 -0500
The passing of Bobby Caviness	Christopher Brown	Sat, 13 Jan 2018 21:29:55 -0500
CICM 2018: Call for Papers, Workshops & Tutorials	Serge Autexier	Tue, 9 Jan 2018 08:58:47 +0100
JSC Special Issue on Satisfiability Checking and Symbolic Computation	Matthew England	Mon, 8 Jan 2018 11:54:38 +0000
ACM Communications in Computer Algebra 51:3 (Issue 200)	Matthew England	Fri, 5 Jan 2018 14:48:12 +0000
ICMS 2018 - Call for Sessions	Matthew England	Fri, 5 Jan 2018 13:47:15 +0000
AlCoB 2018: 2nd call for papers	GRLMC	Sat, 30 Dec 2017 11:19:45 +0100
Reminder: Special Issue on Dynamic Geometry and Automated Reasoning Journal Symbolic Computation	Prof. Tomas Recio	Tue, 26 Dec 2017 00:32:55 +0100
[jobs]: Postdoc Position in Algebraic Methods applied to Robotics (degeneracy of systems of algebraic equations) (deadline 31st December 2017)	Sébastien BRIOT	Thu, 21 Dec 2017 09:08:21 +0100
AlCoB 2018: 1st call for papers	GRLMC	Thu, 14 Dec 2017 01:03:15 +0100
[jobs]: Postdoc Position in Algebraic Methods applied to Robotics (degeneracy of systems of algebraic equations) (deadline 31st December 2017)	Sébastien BRIOT	Tue, 12 Dec 2017 08:29:14 +0100
2017 Jenks PRize awarded to Stephen Wolfram	Christopher Brown	Tue, 5 Dec 2017 13:41:28 -0500
Re: [jobs]: Postdoc Position in Algebraic Methods applied to Robotics (degeneracy of systems of algebraic equations) (deadline 31st December 2017)	Sébastien BRIOT	Tue, 28 Nov 2017 08:30:08 +0100
The Passing of George E. Collins	Matthew England	Mon, 27 Nov 2017 09:55:37 +0000
4th summer school "Algorithmic and Enumerative Combinatorics" (AEC 2018)	Carsten Schneider	Thu, 23 Nov 2017 18:24:14 +0100
Second Call for Papers ISSAC 2018	<>	Mon, 20 Nov 2017 13:20:58 -0500
2018 Heidelberg Laureate Forum	Matthew England	Mon, 6 Nov 2017 19:37:24 +0000
PostDoc Jobs in Symbolic Computation	Matthew England	Sun, 5 Nov 2017 10:56:26 +0000
[jobs]: Postdoc Position in Algebraic Methods applied to Robotics (degeneracy of systems of algebraic equations) (deadline 31st December 2017)	Sébastien BRIOT	Fri, 27 Oct 2017 09:49:07 +0200
ACA 2018 - Applications of Computer Algebra - Announcement - Call for Sessions - Santiago, Spain	Francisco Botana	Thu, 26 Oct 2017 11:30:56 +0200
Conference on Symmetry and Computation at CIRM, Luminy, April 2018	Matthew England	Wed, 18 Oct 2017 16:10:18 +0100
CFP: International Conference on Logic Programming 2018; First Call for Papers	NMSU COMPUTER SCIENCE	Sun, 15 Oct 2017 20:09:17 -0600
ACM Communications in Computer Algebra 51:2 (Issue 200)	Matthew England	Wed, 11 Oct 2017 10:23:11 +0100
ACM Communications in Computer Algebra 51:2 (Issue 200)	Matthew England	Wed, 11 Oct 2017 10:23:10 +0100
JSC Special Issue on ISSAC 2017 - Second Call	Matthew England	Wed, 11 Oct 2017 09:05:03 +0100
CADGME 2018, First Announcement	Sárvári Csaba	Tue, 10 Oct 2017 17:30:29 +0200
First Call for Papers ISSAC 2018	<>	Mon, 9 Oct 2017 00:59:57 -0400
MCS Special Issue Call on Applications of Computer Algebra	Matthew England	Tue, 12 Sep 2017 21:52:36 +0100
JSC Special Issue on Satisfiability Checking and Symbolic Computation	Matthew England	Fri, 8 Sep 2017 15:05:41 +0100
JSC Special Issue on ISSAC 2017 - First Call	Matthew England	Wed, 6 Sep 2017 20:08:17 +0100
MACIS 2017, Vienna, November 15-17, 2017, Final Call for Papers	Matthew England	Tue, 5 Sep 2017 11:48:06 +0100
[CfP] PADL 2018 - abstract submission DEADLINE APPROACHING	<>	Fri, 1 Sep 2017 12:03:18 +0200
Deadline extension: CFP Journal Symbolic Computation Special Issue on Dynamic Geometry and Automated Reasoning	Prof. Tomas Recio	Thu, 31 Aug 2017 00:03:49 +0200
MACIS 2017: Second CFP	Matthew England	Wed, 23 Aug 2017 20:09:54 +0100
3rd CfP: PADL 2018 - 20th International Symposium on Practical Aspects of Declarative Languages	<>	Fri, 18 Aug 2017 17:25:45 +0200
KR18 - Preliminary Call for Tutorial and Workshop Proposals	Marcello Balduccini	Sun, 13 Aug 2017 13:37:35 -0400
PADL 2018 - 1 month to abstract deadline	<>	Sun, 6 Aug 2017 10:46:12 +0200
Termination and Complexity Competition 2017: Call for Participation	Juergen Giesl	Mon, 17 Jul 2017 13:29:38 +0200
ISSAC 2017 - Final Call for Participation	Michael Sagraloff	Thu, 13 Jul 2017 04:34:58 -0400
Pasco 2017 - Final Call for Participation	Matthew England	Wed, 12 Jul 2017 23:31:08 +0100
Pasco 2017: 2nd Call for Participation	Matthew England	Sat, 8 Jul 2017 08:53:39 +0100
CICM 2017 - Call for Participation / Posters / Work in Progress	Serge Autexier	Thu, 15 Jun 2017 07:54:08 +0200
PASCO 2017 Call for Participation	Matthew England	Tue, 13 Jun 2017 21:40:45 +0100
ISSAC 2017: FIRST CALL FOR PARTICIPATION	Michael Sagraloff	Thu, 8 Jun 2017 05:23:38 -0400
CICM 2017, Doctoral Programme, Extended Submission Deadline 9. June 2017	Serge Autexier	Wed, 7 Jun 2017 06:13:53 +0200
2nd CFP, 4th WS on Horn Clauses for Verification & Synthesis HCVS (Deadline: June 11)	Manuel Hermenegildo	Sun, 4 Jun 2017 01:58:49 +0200
MACIS 2017 CFP	Matthew England	Tue, 30 May 2017 10:23:38 +0100
Call for Submissions to the Doctoral Programme - 10th Conference on Intelligent Computer Mathematics - CICM 2017 - Deadline: June 5th, 2017	Serge Autexier	Mon, 29 May 2017 19:01:06 +0200
FLoC 2018: Call for Workshop Proposals	Martina Seidl	Tue, 23 May 2017 16:02:58 +0200
ACM Communications in Computer Algebra 51:1 (Issue 199)	Matthew England	Fri, 19 May 2017 10:21:31 +0100
ADFOCS 2017: Max-Planck Summer School "Advanced Course on the Foundations of Computer Science - Algebraic Complexity Theory and Computer Algebra"	Michael Sagraloff	Tue, 16 May 2017 04:29:10 -0400
SC2 Workshop - Final Call - JSC Special Issue Announced	Matthew England	Mon, 15 May 2017 12:26:25 +0100
Summer School on Finite Geometry, Brighton, 2017	Fatma Karaoglu	Wed, 10 May 2017 14:55:24 +0000
Call for Papers: HVCS'17 - 4th Workshop on Horn Clauses for Verification and Synthesis	Alberto Griggio	Tue, 2 May 2017 09:28:10 +0200
DART VIII: Call for participation and deadline extension	<>	Thu, 27 Apr 2017 16:31:43 +0200

ATOM RSS1 RSS2

LISTSERV.ACM.ORG

SIGSAM-FRIENDS Archives

ACM SIGSAM-Friends List

SIGSAM-FRIENDS@LISTSERV.ACM.ORG

Subject

From

Date