Home

Accommodation

2013-03-05T06:08:58+00:00

The recommended conference hotel is IBIS Aachen Hauptbahnhof, http://www.ibis.com/gb/hotel-1437-ibis-aachen-hauptbahnhof/index.shtml.

It is conveniently located at a walking distance from the main train station. The bus stop "Normaluhr" is nearby and bus #13B will take you to the main building of the RWTH Aachen University within 10 minutes. Of course, you may also walk there, which will take about 25 minutes.

To make a reservation, please send an e-mail to H1437@accor.com mentioning the code "CASC 2015". The rate is 73 Euro per night for a single room, excluding breakfast, if you book before July 31.

Pension Domicil Aachen

We have booked a small number of economy accommodations (55 Euro per night for a single flat, excluding breakfast) at Pension Domicil Aachen, see

http://www.pension-domicilaachen.de/

If you are interested in these, please contact casc2015@math.rwth-aachen.de directly.

University Guest House

There is a limited availability of rooms at the university guest house

http://www.rwth-aachen.de/cms/root/Die-RWTH/Kontakt-Lageplaene/Raumverwaltung/Gaestehaeuser/~bdtc/Haus-Koenigshuegel/

(42 Euro per night for a single room, excluding breakfast). These rooms are only available until Wednesday 9/16 or Thursday 9/17, respectively. Please contact casc2015@math.rwth-aachen.de to book one of these. Of course, we will also assist you in finding an accommodation for the second half of the week.

Finally, please consult the Aachen Tourist Service at http://www.aachen.de/DE/tourismus_stadtinfo/130_onlinebuchen/index.asp

or use your favorite booking platform!

Travel Information

2013-03-05T06:08:58+00:00

Travel Information

Conference Location

Lecture hall III (Hörsaal III)

RWTH main building (RWTH Hauptgebäude)

Templergraben 55, Aachen

If you arrive at a German airport, the best way to go to Aachen is by train. For more information concerning train travelling in Germany, please use

http://www.bahn.de/i/view/overseas/en/index.shtml.

Tickets can be bought, either with cash or by credit card, at the train station.

Reaching Aachen Central Station

From Frankfurt Airport (FRA)

The trip from Frankfurt Airport ("Fernbahnhof") to Aachen takes approximately 2-2.5 hours.

Most connections require a change of trains at Cologne Central station. The price ranges from 57€ to 81€.

From Düsseldorf Airport (DUS)

The trip from Düsseldorf Airport to Aachen takes approximately 1.5 hours. Some connections require a change of trains at Düsseldorf Central station or Cologne Central station.

The price ranges from 21€ to 29€.

From Cologne/Bonn (Köln/Bonn) Airport (CGN)

The trip from Cologne/Bonn Airport to Aachen takes approximately 1–1.5 hours, with a change of trains at Cologne Central station. The price is approximately 24€.

Other Airports

Maastricht Aachen Airport (MST)

Brussels Airport (BRU)

Brussels south charleroi Airport (CRL)

Paris Charles-de-Gaulle-Airport (CDG)

From Aachen Central Station

In Aachen the best way to reach any place of interest is by bus or by foot. The main shopping area, the Aachen Cathedral, and the RWTH are situated close beside each other. Thus it is easy to walk from one place to another. Inside the city you find a lot of old architecture, little restaurants and pubs to enjoy a good meal and the Aachen culture.

1. By Bus:

In front of Aachen Central station there is a bus stop from which you can take a bus to your location in Aachen. The bus lines 3 and 13 are those you will probably need. They have a capital letter (A or B) behind the number, which refers to the direction of rotation. As the traffic network in Aachen's city center is constructed in rings, it does not matter in which direction you ride, but it may be a matter of time. Nevertheless you may possibly have to take a bus from across the road after leaving Aachen Central station.

The time table with departures and a road map with the destinations can be found at the bus stop. Tickets can be bought from the driver. Further information concerning fares and bus routes under can be found here and here.

Here are some of the most important bus lines which will bring you to points of interest:

(1) Hochschule (bus stop in front of the main building of the RWTH)

Bus lines: 13A (~20 min), 13B (~10 min) (the stop is on the other side of the street outside Central station). They depart every 15 or 30 minutes (depending on the time of the day) and ride from 6.30 am to 7 pm (mon–fri), 10 am to 5 pm (sat).

(2) Ponttor (H.4 Pontwall) (bus stop on Pontstrasse – the main street where students go for lunch or dinner) Same bus lines as for Technische Hochschule, additionally 3 A (~15 min) rides every 15/30 minutes from 5.30 am to 11 pm (mon–sat), 9 am to 11 pm (sun).

(3) Elisenbrunnen (famous thermal spring of Aachen, right in the city center, situated next to the tourist information and close to the main shopping area) Bus lines: 11, 14, 21, 44 ... (~5 min).

2. By Taxi:

There is also a very reliable taxi service at Aachen Central station. Just walk out the front door and you will see the available service on the right side. Prices depend upon your destination in Aachen.

VISA Information

2013-03-05T06:08:58+00:00

VISA Information

Participants who need a letter of invitation for obtaining a visa for Germany should contact as soon as possible the General Chair Werner M. Seiler by e-mail (seiler@mathematik.uni-kassel.de) and provide all information necessary for the letter. This concerns in particular the address to which the letter should be sent. In some cases the letter of invitation must contain information like a passport number, it is then your responsibility to provide such data. They will then receive first by e-mail an electronic version of such a letter and later by surface mail the original. Please take into account that consulates usually require the hand signed original and that surface mail may take quite a while. We are not able to send letters via a courier service.

Travel Information (2)

2013-03-05T06:08:58+00:00

Travel Information

If you arrive at a German airport, the best way to go to Aachen is by train. For more information concerning train travelling in Germany, please use

http://www.bahn.de/i/view/overseas/en/index.shtml.

Tickets can be bought, either with cash or by credit card, at the train station.

Reaching Aachen Central Station

From Frankfurt Airport (FRA)

The trip from Frankfurt Airport ("Fernbahnhof") to Aachen takes approximately 2-2.5 hours.

Most connections require a change of trains at Cologne Central station. The price ranges from 57€ to 81€.

From Düsseldorf Airport (DUS)

The trip from Düsseldorf Airport to Aachen takes approximately 1.5 hours. Some connections require a change of trains at Düsseldorf Central station or Cologne Central station.

The price ranges from 21€ to 29€.

From Cologne/Bonn (Köln/Bonn) Airport (CGN)

The trip from Cologne/Bonn Airport to Aachen takes approximately 1–1.5 hours, with a change of trains at Cologne Central station. The price is approximately 24€.

Other Airports

Maastricht Aachen Airport (MST)

Brussels Airport (BRU)

Brussels south charleroi Airport (CRL)

Paris Charles-de-Gaulle-Airport (CDG)

From Aachen Central Station

1. By Bus:

Here are some of the most important bus lines which will bring you to points of interest:

(1) Hochschule (bus stop in front of the main building of the RWTH)

(3) Elisenbrunnen (famous thermal spring of Aachen, right in the city center, situated next to the tourist information and close to the main shopping area) Bus lines: 11, 14, 21, 44 ... (~5 min).

2. By Taxi:

CASC 2015 Registration

2013-03-04T13:40:21+00:00

CASC 2015 Registration (2)

2013-03-04T13:40:21+00:00

CASC 2015 Registration

{BreezingForms : CASC_2015_Registration, 1, 0}

Schedule (2)

2013-03-04T11:13:01+00:00

Schedule

Invited Talks (2)

2013-03-04T11:13:01+00:00

Invited Talks

Veronika Pillwein

Linz, Austria

Symbolic Computation and Finite Element Methods:

During the past few decades there have been many examples where computer algebra methods have been applied successfully in the analysis and construction of numerical schemes, including the computation of approximate solutions to partial differential equations. The methods range from Groebner basis computations and Cylindrical Algebraic Decomposition to algorithms for symbolic summation and integration. Among the numerical methods to approximately solve partial differential equations on complicated domains, finite element methods are often the preferred tool. In this talk some recent applications of computer algebra methods to problems arising in finite element methods are presented.

Elias Tsigaridas

Paris, France

Bounds for the Condition Number of Polynomial Systems with Integer Coefficients:

Polynomial systems of equations are a central object of study in computer algebra. Among the many existing algorithms for solving polynomial systems, perhaps the most successful numerical ones are the homotopy algorithms. The number of operations that these algorithms perform depends on the condition number of the roots of the polynomial system. Roughly speaking the condition number expresses the sensitivity of the roots with respect to small perturbation of the input coefficients.

A natural question to ask is how can we bound, in the worst case, the condition number when the input polynomials have integer coefficients? We address this problem and we provide effective bounds that depend on the number of variables, the degree and the maximum coefficient bitsize of the input polynomials. Such bounds allows us to estimate the bit complexity of the algorithms that depend on the condition number, like the homotopy algorithms, for solving polynomial systems.

contactCascWebmaster

2013-03-04T11:13:01+00:00

Webmaster

Hassan Errami

Institut of Computer Science, Bonn, Germany

For any questions regarding the website, please contact us at: errami@cs.uni-bonn.de

Schedule

2013-03-04T11:13:01+00:00

Schedule

Monday, September 14

13.30-13.45: Opening

13.45-14.15: Doru Stefanescu. A new polynomial bound and its efficiency

14.15-14.45: Victor Y. Pan and Liang Zhao. Randomized Circulant Preprocessing

14.45-15.15: Alexander Prokopenya. Approximate Quantum Fourier Transform and Quantum Algorithm for Phase Estimation

15.45-16.15: Kai Jin, JinSan Cheng and XiaoShan Gao. On the topology and visualization of plane algebraic curves

16.15-16.45: Ryszard Kozera and Lyle Noakes. Piecewise-Quadratics and Reparameterizations for Interpolating Reduced Data

16.45-17.15: Dima Grigoriev. Polynomial complexity recognizing a tropical linear variety

17.30-18.00: Thomas Richard: Some new features in Maple 2015

18.00: Welcome Reception

Tuesday, September 15

09.30-10.00: Nathan Bliss, Jeff Sommars, Jan Verschelde and Xiangcheng Yu. Solving Polynomial Systems in the Cloud with Polynomial Homotopy Continuation

10.00-10.30: Victor Y. Pan and Liang Zhao. Real Root Isolation by Means of Root Radii Approximation

10.30-11.00: Changbo Chen and Marc Moreno Maza. Simplification of Cylindrical Algebraic Formulas

11.30-12.30: Elias Tsigaridas. Bounds for the Condition Number of Polynomial Systems with Integer Coefficients (invited talk)

14.00-14.30: Achim Hornecker: CloudMath – Math as a service out of the cloud

14.30-15.00: Satya Swarup Samal, Dima Grigoriev, Holger Fröhlich and Ovidiu Radulescu. Analysis of Reaction Network Systems using Tropical Geometry

15.00-15.30: Alexandra Goeke, Sebastian Walcher and Eva Zerz. Quasi-steady state -- Intuition, perturbation theory and algorithmic algebra

16.00-16.30: Heinz Kredel. Parametric solvable polynomial rings and applications

16.30-17.00: Alexander Gusev, Vladimir Gerdt, Sergue Vinitsky, Vladimir Derbov, Andrzej Gozdz and Aleksandra Pedrak. Symbolic algorithm for generating irreducible bases of point groups in the space of SO(3) group

17.00-17.30: Gennadi Malaschonok and Anton Scherbinin. Triangular Decomposition of Matrices in a Domain

17.45: Business Meeting

Wednesday, September 16

09.00-09.30: Katsusuke Nabeshima and Shinichi Tajima. Change of ordering for zerodimensional standard bases via algebraic local cohomology classes

09.30-10.00: Mario Albert, Matthias Fetzer and Werner M. Seiler. Free Resolutions with Janet Bases

10.00-10.30: Paul Vrbik, Marc Moreno Maza, Éric Schost and Parisa Alvandi. A Standard Basis Free Algorithm for Computing the Tangent Cone

11.00-11.30: Alexander Maletzky. Automated Reasoning in Reduction Rings using the Theorema System

11.30-12.00: Dima Grigoriev and Fritz Schwarz. Computing divisors of quasilinear partial differential equations

12.00-12.30: Dominik L. Michels, Dmitry A. Lyakhov, Vladimir P. Gerdt, Gerrit A. Sobottka and Andreas G. Weber. On the Partial Analytical Solution to the Kirchhoff Equation

14.00: Excursion to Monschau

19.00: Conference Dinner

Thursday, September 17

09.30-10.00: Maciej Janowicz, Joanna Kaleta, Filip Krzyżewski, Marian Rusek and Arkadiusz Orłowski. Homotopy analysis method for stochastic differential equations with Maxima

10.00-10.30: Andrey Banshchikov. Research on the Stability of Relative Equilibria of Oblate Axisymmetric Gyrostat by means of Symbolic-Numerical Modelling

10.30-11.00: Alexei Uteshev and Marina Yashina. Distance Evaluation Between an Ellipse and an Ellipsoid

11.30-12.30: Veronika Pillwein. Symbolic computation and finite element methods (invited talk)

14.00-14.30: Simone Szurmant. News from Wolfram Research

14.30-15.00: Sergei Abramov, Marko Petkovsek and Anna Ryabenko. Hypergeometric solutions of firstorder linear difference systems with rational-function coefficients

15.00-15.30: Moulay Barkatou, Thomas Cluzeau and Carole El Bacha. A New Approach for Computing Regular Solutions of Linear Difference Systems

16.00-16.30: François Lemaire and François Boulier. Finding First Integrals Using Normal Forms Modulo Differential Regular Chains

16.30-17.00: Parisa Alvandi, Changbo Chen, Amir Hashemi and Marc Moreno Maza. Regular Chains under Linear Changes of Coordinates and Applications

17.00-17.30: Thieu Vo Ngoc and Franz Winkler. Algebraic General Solutions of First Order Algebraic ODEs

Friday, September 18

09.00-09.30: Viktor Levandovskyy. swMATH – an information service for mathematical software

09.30-10.00: Markus Rosenkranz, Jane Liu, Alexander Maletzky and Bruno Buchberger. Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates

10.00-10.30: Alexander Gusev, Luong Le Hai, Ochbadrakh Chuluunbaatar, Vandandoo Ulziibayar, Sergue Vinitsky, Vladimir Derbov, Andrzej Gozdz and Vitaly Rostovtsev. Symbolic-numeric solution of boundary-value problems for the Schrodinger equation using the finite element method: scattering problem and resonance states

11.00-11.30: Valentin Irtegov and Titorenko Tatiana. On Invariant Manifolds and their Stability in the Problem of Motion of a Rigid Body under the Influence of Two Force Fields

11.30-12.00: Sergey Gutnik, Anna Guerman and Vasily Sarychev. Application of Computer Algebra Methods to Investigation of Influence of Constant Torque on Stationary Motions of Satellite

12.00-12.30: Zhikun She, Dan Song and Meilun Li. Safety Verification of Hybrid Systems Using Certified Multiple Lyapunovlike Functions