Workshop Information

Venue

The workshop will be held in Douala, Cameroon, at Hotel Prince de Galles


Schedule

The detailed schedule can be downloaded HERE


Friday October 06, 2017 - Day 1 - Preliminary Training Session

08:30-09:30: Preliminary Training 1 - Koepf: Introduction to Maxima (Materials)

09:30-10:30: Preliminary Training 2 - Atalaye / Tetsing: Introduction to GAP (Materials)

10:30-11:00: Coffee Break

11:00-12:00: Preliminary Tutorial 3 - Koepf: Introduction to Maxima (Materials)

12:00-13:00: Preliminary Tutorial 4 - Atalaye / Tetsing: Introduction to GAP (Materials)

13:00-14:30: Lunch break

14:30-15:30: Preliminary Training 5 - Abbott: Introduction to CoCoA

15:30-16:30: Preliminary Tutorial 6 - Abbott: Introduction to CoCoA

16:30-17:00: Coffee Break

17:00-18:00: Free time slot for practice

Saturday October 07, 2017 - Day 2 - Preliminary Training Session

08:30-09:30: Preliminary Training 7 - Ocansey: Introduction to SAGE

09:30-10:30: Preliminary Training 8 - Koepf: Programming with Maxima

10:30-11:00: Coffee Break

11:00-12:00: Preliminary Tutorial 9 - Ocansey: Introduction to SAGE

12:00-13:00: Preliminary Tutorial 10 - Koepf: Programming with Maxima (Materials)

13:00-14:30: Lunch break

14:30-15:30: Preliminary Training 11 - Messeng: Introduction to ApCoCoA

15:30-16:30: Preliminary Tutorial 12 - Messeng: Introduction to ApCoCoA (Materials)

16:30-17:00: Coffee Break

17:00-18:00: Free time slot for practice

Sunday October 08, 2017

FREE

Monday October 09, 2017 - Day 1 - Workshop

08:30-09:30: Plenary Talk 1 - Buchberger: Algorithms and Algorithmic Proving in Mathematica I

09:30-10:30: Plenary Talk 2 - Koepf: Solving in Computer Algebra (Materials))

10:30-11:00: Coffee Break

11:00-12:00: Plenary Talk 3 - Kreuzer: Solving Polynomial Systems Using Linear Algebra I

12:00-13:00: Tutorial Session 4 - Buchberger: Algorithms and Algorithmic Proving in Mathematica I

13:00-14:30: Lunch break

14:30-15:30: Tutorial Session 5 - Koepf: Solving in Computer Algebra (Materials)

15:30-16:30: Tutorial Session 6 - Kreuzer: Solving Polynomial Systems Using Linear Algebra I

16:30-17:00: Coffee Break

17:00-17:20: Contributed Talk 7 - Gassan Farah (Senegal): Non-Diagonal Systems and their Simulations using Exponential Time Differencing Methods

17:20-17:40: Contributed Talk 8 - Oumarou Ali Kelo (Chad): Use of Computer Algebra to Teach Mathematics

17:40-18:00: Contributed Talk 9 - Mohamed Mabrouk (Tunisia): Linearization Coefficient for Some Basic Hypergeometric Polynomials

Tuesday October 10, 2017 - Day 2 - Workshop

08:30-09:30: Plenary Talk 10 - Eick: Algorithms for Permutation Groups (Materials))

09:30-10:30: Plenary Talk 11 - Regensburger: Symbolic Computation with Differential Operators

10:30-11:00: Coffee Break

11:00-12:00: Plenary Talk 12 - Buchberger: Algorithms and Algorithmic Proving in Mathematica II

12:00-13:00: Tutorial Session 13 - Eick: Algorithms for Permutation Groups (Materials)

13:00-14:30: Lunch break

14:30-15:30: Tutorial Session 14 - Regensburger: Symbolic Computation with Differential Operators

15:30-16:30: Tutorial Session 15 - Buchberger: Algorithms and Algorithmic Proving in Mathematica II (Materials)


Plenary Speakers

  1. Dr. John Anthony Abbott <abbott@dima.unige.it >, University of Genoa (Italy), CV
  2. Joseph Atalaye <joseph.atalaye@aims-cameroon.org >, University of Ngaoundere (Cameroon), CV
  3. Prof. Dr. Bruno Buchberger <bruno@brunobuchberger.com>, RISC Linz (Austria), CV
  4. Prof. Dr. Bettina Eick <b.eick@tu-braunschweig.de>, University of Braunschweig(Germany), CV
  5. Dr. Hans Fotsing Tetsing <hans.fotsing@imsp-uac.org>, University of Douala (Cameroon), CV
  6. Prof. Dr. Mama Foupouagnigni, AIMS Cameroon & University of Yaounde I, CV
  7. Dr. Kenza Guenda <kguenda@gmail.com>, University of Science and Technology of Algiers (Algeria), CV
  8. Prof. Dr. Wolfram Koepf, University of Kassel, Germany, CV
  9. Prof. Dr. Martin Kreuzer <martin.kreuzer@uni-passau.de>, University of Passau(Germany), CV
  10. Ange Salome Messeng Ekossono <Ange-Salome.MessengEkossono@uni-passau.de>, University of Passau (Germany), CV
  11. Evans Doe Ocansey <evans@aims.ac.za>, RISC Linz (Austria), CV
  12. Dr. Georg Regensburger <georg.regensburger@ricam.oeaw.ac.at>, JKU Linz (Austria), CV


Trainers

  1. Dr. John Anthony Abbott, University of Genoa, Italy, CV
  2. Joseph Atalaye, University of Ngaoundere, Cameroon
  3. Dr. Hans Fotsing Tetsing, University of Douala, Cameroon, CV
  4. Prof. Dr. Mama Foupouagnigni, AIMS-Cameroon & University of Yaounde I, Cameroon, CV
  5. Prof. Dr. Wolfram Koepf, University of Kassel, Germany, CV
  6. Ange Salome Messeng Ekossono, University of Passau, Germany, CV
  7. Dr. Daniel Duviol Tcheutia, Postdoc of Cameroonian origin, University of Kassel, Germany, CV
  8. Merlin Mouafo, PhD student, University of Kassel, Germany, CV


Abstracts

The detailed training sessions and talks abstracts booklet can be downloaded HERE and the detailed tutorials booklet HERE.


Organizing committee

Scientific Advisory Board

  1. Prof. James Harold Davenport, University of Bath, United Kingdom
  2. Prof. Eva Zerz, RWTH Aachen University, Germany

Organizing Committee

  1. Prof. Dr. Barry Green, Chief Academic and Research Officer of the AIMS-Network, Center Director of AIMS-South Africa
  2. Prof. Dr. Mama Foupouagnigni, University of Yaounde I, Cameroon and Center President AIMS Cameroon
  3. Prof. Dr. Kerstin Jordaan, University of South Africa, South Africa
  4. Prof. Dr. Wolfram Koepf, University of Kassel, Germany
  5. Dr. Boniface Nkemzi, University of Buea, Cameroon
  6. Dr. Edgar Tchoundja, University of Yaounde I, Cameroon