SIGSAM-FRIENDS Archives

ACM SIGSAM-Friends List

SIGSAM-FRIENDS@LISTSERV.ACM.ORG
* * *
Options: Use Forum View
Enter Date Range

Subject

From

Date Sorted by Date, Most Recent First
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
ISSAC 2017: FIRST CALL FOR POSTERS AND SOFTWARE PRESENTATIONS
Michael Sagraloff
Wed, 26 Apr 2017 15:21:22 -0400
MEGA 2017 - registration
Bernard Mourrain
Sat, 22 Apr 2017 15:52:26 +0200
ECCAD 2017 - Final Call for Participation
Matthew England
Wed, 19 Apr 2017 09:11:36 +0100
PASCO 2017: new paper submission deadlines
Matthew England
Fri, 7 Apr 2017 09:14:47 +0100
SC-Square 2017: Location confirmed and 2nd CfP
Matthew England
Thu, 6 Apr 2017 14:34:13 +0100
East Coast Computer Algebra Day - Second Call
Matthew England
Wed, 5 Apr 2017 10:08:31 +0100
Call for Workshops - 10th Conference on Intelligent Computer Mathematics - CICM 2017 - Deadline: April 17th, 2017
Serge Autexier
Tue, 4 Apr 2017 11:43:42 +0200
First International Summer School on Satisfiability Checking and Symbolic Computation
Matthew England
Mon, 3 Apr 2017 16:15:21 +0100
Second Announcement for Summer School on Finite Geometry
Fatma Karaoglu
Thu, 30 Mar 2017 13:08:28 +0000
ACA 2017, July 17-21, Jerusalem, Israel
Matthew England
Wed, 22 Mar 2017 16:58:03 +0000
[ICLP 2017] Deadline extended to May 2, 2017
<>
Sun, 19 Mar 2017 23:18:17 +0000
*Extended submission deadline* - CICM 2017 - 10th Conference on Intelligent Computer Mathematics
Matthew England
Fri, 17 Mar 2017 15:03:57 +0000
Polynomial Computer Algebra, PCA2017, Last call for participation
Nikolay Vassiliev
Thu, 9 Mar 2017 07:23:02 -0500
[ICLP 2017] Second Call for Papers + Deadlines
<>
Wed, 8 Mar 2017 22:36:02 +0000
Fwd: Tenure Track position in "Discrete Mathematics" at the Technical University of Munich
Angelos Mantzaflaris
Tue, 7 Mar 2017 22:10:55 +0100
ECCAD 2017 - Call for Participation
Matthew England
Tue, 7 Mar 2017 16:24:08 +0000
CAI 2017 -- *** Extended submission deadline: March 31, 2017 ***
Matthew England
Mon, 6 Mar 2017 13:09:00 +0000
MEGA 2017 second Call for comp. presentation and poster
Bernard Mourrain
Mon, 6 Mar 2017 08:03:29 +0100
Final call for papers for PASCO 2017
Matthew England
Fri, 3 Mar 2017 12:11:37 +0000
[ICLP 2017] Second Call for Papers
<>
Tue, 28 Feb 2017 05:19:11 +0000
SC-square 2017 -- 1st CFP
Matthew England
Mon, 27 Feb 2017 13:01:22 +0000
ACM Communications in Computer Algebra 50:4 (Issue 198)
Matthew England
Mon, 27 Feb 2017 12:59:49 +0000
CFP Journal Symbolic Computation Special Issue on Dynamic Geometry and Automated Reasoning
Prof. Tomas Recio
Fri, 24 Feb 2017 13:19:05 +0100
Special Issue of AMAI on Formalization of Geometry, Automated and Interactive Geometric Reasoning
Matthew England
Tue, 21 Feb 2017 14:09:17 +0000
DART VIII: Call for posters
<>
Mon, 20 Feb 2017 10:15:52 +0100
AAA - Algebraic Algorithms and Applications; Pisa, Mar 30/Apr 1
Carlo Traverso
Fri, 17 Feb 2017 05:51:03 -0500
Postdoctoral Fellowship in Symbolic Computation (with Prof. Kaltofen)
Matthew England
Thu, 16 Feb 2017 10:00:02 +0000
AMMCS 2017 - Call for Submisions
Matthew England
Fri, 10 Feb 2017 14:28:36 +0000
FoCM 2017: Call for posters and financial support
Matthew England
Mon, 6 Feb 2017 17:26:52 +0000
SIAM AG17: Call for Contributions and Travel Funding
Matthew England
Mon, 6 Feb 2017 17:24:27 +0000
33rd British Colloquium for Theoretical Computer Science: St Andrews 26-28 April 2017
Alexander Konovalov
Fri, 3 Feb 2017 13:24:35 +0000
"Summer School on Finite Geometry, Brighton, 2017"
Fatma Karaoglu
Tue, 31 Jan 2017 19:05:57 +0000
First Call for Papers - 10th Conference on Intelligent Computer Mathematics - CICM 2017
Matthew England
Tue, 24 Jan 2017 15:51:02 +0000
CFP International Conference on Logic Programming and Non-monotonic Reasoning, Finland, 3-6 July 2017
Peter Schüller
Mon, 23 Jan 2017 10:05:42 +0300
Final Call for Papers: ISSAC 2017
Michael Sagraloff
Tue, 17 Jan 2017 00:51:14 -0500
Polynomial Computer Algebra, PCA2017 at St.Petersburg, Russia
Nikolay Vassiliev
Tue, 3 Jan 2017 12:16:46 -0500
CFP International Conference on Logic Programming and Non-monotonic Reasoning, Finland, 3-6 July 2017
Peter Schüller
Fri, 30 Dec 2016 15:15:17 +0300
Pre- and Post-Doctoral Positions in Algorithmic and Enumerative Combinatorics
Carsten Schneider
Fri, 16 Dec 2016 12:47:26 +0100
Final Call for Workshop Proposals: International Conference on Logic Programming and Nonmonotonic Reasoning, Espoo, Finland, July 3-6, 2017
Peter Schüller
Fri, 16 Dec 2016 10:44:35 +0300
Call for Participation: Practical Aspects of Declarative Languages (PADL) Paris, France, January 16/17, 2017
Peter Schüller
Mon, 5 Dec 2016 12:17:08 +0300
Call for Workshop Proposals: International Conference on Logic Programming and Nonmonotonic Reasoning, Espoo, Finland, July 3-6, 2017
Peter Schüller
Thu, 1 Dec 2016 11:01:06 +0300
SECOND CALL FOR PAPERS: ISSAC 2017
Michael Sagraloff
Wed, 30 Nov 2016 09:05:25 -0500
PASCO 2017 - Second Call for Papers
Matthew England
Sat, 26 Nov 2016 11:38:15 +0000
MEGA 2017
Bernard Mourrain
Thu, 24 Nov 2016 22:20:41 +0100
CASC 2017: First Announcement and Call for Papers
Matthew England
Wed, 23 Nov 2016 21:07:57 +0000
Postdoc positions - Mathematics and Computer Science in Lyon
Gilles Villard
Tue, 22 Nov 2016 08:28:43 +0100
SCSS 2017
Matthew England
Sat, 12 Nov 2016 20:34:27 +0000
ACM Communications in Computer Algebra 50:3 (Issue 197)
Matthew England
Sun, 6 Nov 2016 20:48:39 +0000
7th International Conference on Algebraic Informatics - Call For Papers
Matthew England
Tue, 25 Oct 2016 13:59:06 +0100


ATOM RSS1 RSS2