Professional Activities

Permanent

since 08/2003

Member of the editorial board of the Journal of Symbolic Computation

since 01/2001

Specialist editor for algebraic manipulation at Computer Physics Communications

since 11/1996

Member of the REDUCE development group

Chronological

2009

Jun 2-3, 2009

Invited research stay at the Universität Tübingen, Germany.

May 28-29, 2009

Invited research stay at the RWTH Aachen, Germany. Seminar presentation on "Combining Algebraic Reasoning with Propositional Solvers".

May 25-27, 2009

Invited research stay at the Universität Bonn, Germany.

May 15-16, 2009

Invited Speaker at the Computeralgebra-Tagung der Fachgruppe Computeralgebra, Kassel, Germany. Presentation on "Algorithmic Quantifier Elimination".

May 5-Jun 5, 2009

Invited research stay at FORWISS, Universität Passau. Joint research on approximate factorization of linear partial differential operators.

since Jan 1, 2009

Ramón y Cajal Researcher at the Departamento de Matemáticas, Estadística y Computación, Facutad de Ciencias, Universidad de Cantabria, Santander, Spain.

2008

Sep 24-Oct 3, 2008:

Invitations to Fujitsu Labs Ltd. and the University of Tokyo. Presentation on "Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology".

Sep 22-24, 2008:

PC Chair of and attendance at the ADG 2008, Shanghai, China.

Jul 27-30, 2008:

Session organizer of the session Symbolic Computation and Deduction in System Design and Verification at the ACA 2008 in Hagenberg, Austria.

Apr 3-5, 2008:

Attendance at the SRATC 2008 (Symbolic Real Algebra and Trustworthy Computing), Shanghai, China. Invited talk on "REDLOG as a Tool in Symbolic Algebra and Trustworthy Computing".

Mar 30-Apr 3, 2008:

Attendance at the CSD-4 (Computers in Scientific Discovery), Shanghai, China. Invited talk on "REDLOG as a Tool in Scientific Discovery".

Mar 3-13, 2008:

Invited research stay at the Max Planck Institute for Computer Science, Saarbrücken, Germany.

Jan 18, 2008:

Seminar talk at the Max Planck Institute for Computer Science, Saarbrücken, Germany, on "An Invitation to Discover REDLOG for Your Work".

2007

Sep 25-Oct 1, 2007:

Invitations to Fujitsu Labs Ltd. and Rikkyo University, Tokyo, Japan. Presentations on "The Presence and Future of REDLOG" and "Weak Quantifier Elimination for the Integers".

Sep 16-20, 2007:

Attendance at the CASC 2007, Bonn, Germany. Presentation on "Weak Integer Quantifier Elimination Beyond the Linear Case".

Jun 27-30, 2007:

Member of the program committee of the Calculemus 2007 in Hagenberg, Austria.

May 20-25, 2007:

Invitation to Dagstuhl-Seminar 07212 "Constraint Databases, Geometric Elimination and Geographic Information Systems". Presentation on "REDLOG and its Possible Application to CDB/GIS".

Feb 20-23, 2007:

Attendance at the CADE 2007, Turku, Finland. Talk on "REDLOG Online Resources for Applied Quantifier Elimination".

2006

Sep 11-15, 2006:

Attendance at the CASC 2006, Chisinau, Moldova. Invited talk on "Towards New Domains for Applied Quantifier Elimination".

Aug 31-Sep 2, 2006:

Member of the program committee of the ADG 2006 in Pontevedra, Spain.

May 15, 2006:

Seminar talk at the University of Bonn, Germany, on "Applied Quantifier Elimination".

2005

Oct 13-16, 2005:

Attendance at the CASC 2005, Kalamata, Greece. Talk on "Quantifier Elimination for Constraint Logic Programming".

Aug 3, 2005:

Seminar talk at the University of Kassel, Germany, on "Parametrische Computeralgebra".

Apr 3-6, 2005:

General chair of the A3L 2005, Passau, Germany.

since Mar 2, 2005:

Privatdozent

Mar 2, 2005:

Venia Legendi (Informatik)

Feb 1, 2005:

Habilitation (Informatik)

2004

Sep 16-18, 2004:

Member of the program committee of the ADG 2004, Gainsville, Florida.

Jul 14-19, 2004:

Attendance at the CASC 2004, St. Petersburg, Russia. Talk on "Generalized Constaint Solving over Differential Algebras".

Jul 11-12, 2004:

Attendance at the 8th IWMM Workshop on Computational Real Algebra and Real Geometry, Beijing, China. Invited talk on "Advanced Paradigms for Real Quantifier Elimination".

Jul 4-7, 2004:

Attendance at the ISSAC 2004, Santander, Spain. Regular paper on "Efficient Projection Orders for CAD". Tutorial Chair.

May 18, 2004:

Talk at the University of Passau, Germany, on "Generalized Constraint Solving by Elimination Methods".

Apr 12, 2004:

Seminar talk at the MEXMAT Faculty of Moscow State University (Lomonosov), Russia, on "Progresses in Algebraic Computer Logic".

Apr 8, 2004:

Seminar talk at the Steklov Institute, St. Petersburg, Russia, on "Complexity and Applicability of Generalized Constraint Solving".

Mar 30, 2004:

Seminar talk at the Joint Institute for Nuclear Research (JINR), Dubna, Russia, on "Generalized Constraint Solving in Science and Engineering".

Mar 2-Apr 15, 2004:

Invitation to the MEXMAT Faculty of Moscow State University (Lomonosov), Russia. Cooperative research on effective quantifier elimination in differentially closed fields.

Jan 20, 2004:

Seminar talk at the University of Munich (TUM), Germany, on "History, State, and Perspectives for Applied Quantifier Elimination".

2003

Sep 20-26, 2003

Local Organizer of the CASC 2003, Passau, Germany.

Sep 10-12, 2003

Member of the Program Commitee of the CALCULEMUS 2003, Rome, Italy.

since Aug 2003:

Member of the editorial board of the Journal of Symbolic Computation.

Aug 3-6, 2003:

Attendance at the ISSAC 03 Philadelphia, PA. Talk on "A Generic Projection Operator for Cylindrical Algebraic Decomposition."

Jul 22, 2003:

Seminar talk at the University of Kassel, Germany, on "REDLOG: 10 Years of Quantifier Elimination".

May 30, 2003:

Attendance at the Bayerisches Mathematisches Kolloquium 2003, Schwandorf, Germany. Talk on "Quantorenelimination in Termalgebren".

2002

Sep 22-27, 2002:

Attendance at the CASC 2002 Big Yalta, Ukraine. Talk on "Quantifier Elimination in Term Algebras".

Aug 2-6, 2002:

Research meeting on quantifier elimination at the Department of Electrical Engineering, University of Strathclyde, Glasgow, UK.

Jul 1-5, 2002:

Invited speaker at the Calculemus 2002 in Marseille, France (details).

Jun 25-28, 2002:

Session organizer of the Session on Computational Quantifier Elimination at the ACA'02 in Volos, Greece.

Mar 2002:

Member of the Program Committee at the RWCA'02 in Mannheim Germany.

2001

Sep 22-26, 2001:

Attendance at the CASC 2001 Konstanz, Germany. Talk on "Parametric Systems of Linear Congruences."

since Jun 2001:

Member of the editorial board of the Journal of Computational Methods in Sciences and Engineering.

May 31-Jun 2, 2001:

Speaker at the scientific committee's invitational special session at the IMACS ACA'2001 Albuquerque, NM, USA. Talk on "Parametric Treatment of Generalized Constraint Systems."

since Feb 2001:

Reviewer for the Mathematical Reviews of the American Mathematical Society.

Jan 16-31, 2001:

Invitation to the Konrad-Zuse-Zentrum, Berlin (ZIB), for cooperative research. Talk on "Solving Systems of Linear Congruences."

since Jan 2001:

Specialist editor for symbolic manipulation of the journal Computer Physics Communications.

2000

Oct 5-9, 2000:

Attendance at the CASC 2000 Samarkand, Uzbekistan. Talk on "An Algebraic Approach to Offsetting and Blending of Solids."

Feb 28, 2000:

Promotion (Dr. rer. nat.)

1999

Nov 18-21, 1999:

Invitation to the University of Rennes, France. Talk on "Providing Real Solutions."

Jul 28-31, 1999:

Attendance at the ISSAC 99 Vancouver, BC, Canada. Talk on "P-adic Constraint Solving."

Feb 28-Mar 13, 1999:

Invitation to Forschungszentrum Jülich, Germany. Joint research on chemical reactions in the athmosphere.

1998

Dec 3, 1998:

Invitation to Forschungszentrum Jülich, Germany. Talk on "Solving Systems of Polynomial Equations."

Jul 6-8, 1998:

Attendance at a cooperative workshop on computer science of the universities of Praha, CSFR, and Passau. Talk on guarded expressions.

1997

Sep 15-19, 1997:

Invitation to the University of Tübingen, Germany, for cooperative research on parallelization and distribution of algebraic algorithms.

Jan 23-31, 1997:

Invitation to the Konrad-Zuse-Zentrum, Berlin (ZIB), for cooperative implementation of a "Comprehensive Gröbner Bases" package in REDUCE.

1996

since Nov 1996:

Member of the REDUCE development group.

Sep 24, 1996:

Attendance at the workshop "Computer Algebra" held at the conference "Informatik 96", Klagenfurt, Austria. Talk on "Guarded Expressions in Practice."

Jul 22-Sep 15, 1996:

Invitation to the ISIS FUJITSU Labs, Numazu, Japan. Cooperative research on "Algorithmic Constraint Solving with Inequalities - Algorithms and Implementation on Risa/Asir".

Jul 19, 1996:

Attendance at the "2nd Conference on Applications of Computer Algebra (IMACS)" held at the RISC, Linz, Austria. Talk on "REDLOG: Computer Algebra meets Computer Logic." Demo session on "Applications of the REDLOG package to physical network analysis, design, and error diagnosis."

Feb 5-9, 1996:

Invitation to the Dagstuhl-Seminar 9606 on "Computer Algebra Software". Talk: "REDLOG: Computer Algebra meets Computer Logic".

Jan 22-26 1996:

Attendance at the workshop on "Algorithmic Algebraic Geometry and Singularity Theory" held at castle Dagstuhl. Talk on "Quantifier Elimination for Linear Problems in Discretely Valued Fields."

1995

Jun 6-Jun 16, 1995:

Invitation to the Konrad-Zuse-Zentrum, Berlin (ZIB), for cooperative research on parallelization of real quantifier elimination on a Cray YMP4/T3D.

Feb 27-Mar 4, 1995:

Attendance at the "PoSSo Workshop on Polynomial System Solving" in Paris. Talk on "Linear Quantifier Elimination in Discretely Valued fields."

1993

Oct 6-8, 1993:

Attendance at the "Symposium on Quantifier Elimination and Cylindrical Algebraic Decomposition" at the RISC, Linz, Austria.

Jun 1993:

Attendance at a cooperative workshop on computer science of the universities of Praha, CSFR, and Passau. Talk on "Necessary and sufficient conditions for the solvability of the 3-dimensional multiindex transportation problem."