RISC Linz
Hans Zima
zima@par.univie.ac.at
Sun, 16 Nov 1997 15:05:53 +0100 (MET)
> From gbconf@risc.uni-linz.ac.at Thu Nov 13 16:12 MET 1997
> Date: Thu, 13 Nov 1997 16:12:51 +0100
> From: Groebner Bases 1 <Groebner.Bases-1@risc.uni-linz.ac.at>
> Subject: PhD program at RISC
>
> Dear colleague,
>
> for many years now RISC-Linz has had an intensive program for
> phd studies in symbolic computation. For the academic year 1998/99
> we again want to attract excellent students for this program.
> Could you, please, make this announcement known to your colleagues
> and appropriate students?
>
> Thanks a lot,
> Franz Winkler
>
> ------------------------------------------------------------------------------
> Franz Winkler e-mail: Franz.Winkler@risc.uni-linz.ac.at
> Institut f. Mathematik and phone: +43-(0)7236-3231-43
> RISC-LINZ fax: +43-(0)7236-3231-30
> J.Kepler Universitaet Linz
> A-4040 Linz, Austria
> ------------------------------------------------------------------------------
>
> ===================================================================
>
> \documentstyle [12pt]{report}
> \parindent 0em
> \textheight 220mm
> \newcommand{\ccc}{$\bullet$}
>
> \begin{document}
>
> \centerline{\large \bf Studies in Symbolic Computation at RISC-Linz}
>
> \vspace*{1.0cm}
>
> The institute RISC-Linz of the Johannes Kepler University in Linz,
> Austria, invites students for graduate studies in symbolic computation.
> In our graduate program in symbolic computation, students can obtain the
> degrees of diploma (equivalent to a master's degree) and
> of the doctorate. Foreign students are advised to enter the program
> after having completed their master's degree in their home university.
>
> Applicants should try to get financial support from their home countries.
> For excellent applicants we offer the possibility of participation in
> research projects and/or of obtaining a fellowship.
>
> For applying, please send the following material:
> \begin{itemize}
> \item an application letter,
> \item a curriculum vitae and a photograph,
> \item a list of all courses that you have taken during your university
> studies, including the number of hours credited and the degrees,
> \item a copy of your master's thesis or any other publications,
> if available,
> \item for non-native English speakers a statement about the proficiency
> in English, preferably a TOEFL certificate,
> \item a confirmation of a university in your home country stating that
> you are qualified to study for a Ph.D. there,
> \item at least two written recommendation letters, preferably by
> international scientists.
> \end{itemize}
>
> Applications for studies beginning in October 1998 should be received
> by January 15, addressed to
>
> \begin{tabbing}
> \hspace*{1.5cm} \= Prof. Franz Winkler \\
> \> Coordinator of Graduate Studies \\
> \> RISC-Linz \\
> \> Johannes Kepler Universit\"at \\
> \> A-4040 Linz, Austria \\
> \> e-mail: {\tt Franz.Winkler@risc.uni-linz.ac.at} \\
> \end{tabbing}
>
> If you are interested in this program, please ask for our flyer
> ``PHD Program''.
> For more information on RISC-Linz and on the curriculum in symbolic
> computation see the web page
> {\tt http://www.risc.uni-linz.ac.at/curriculum}.
>
> \newpage
>
> {\bf What is symbolic computation?}
>
> \vspace*{0.5cm}
>
> {\em Symbolic computation} is a modern subarea of computer science and
> mathematics which deals with problems about symbolic (non-numeric)
> objects represented in the computer. Typical such objects are logical
> and algebraic formulae, programs, geometric curves and surfaces, facts
> and rules of some scientific theory.
> Important subareas of symbolic computation are, e.g.,
> computer algebra, computational geometry, automated theorem proving,
> computational combinatorics, automated programming, term rewriting,
> functional and logic programming, machine learning.
>
> Symbolic computation is the fundamental basis for many advanced areas in
> the software industry, such as computer aided design, geometric
> modeling, geometric reasoning, robot programming, computer aided
> engineering, softautomation, computer aided software development,
> knowledge engineering, expert systems, artificial intelligence software,
> logic and functional programming, software for scientific computation,
> mathematical software, computer languages, parallel computation.
> Today symbolic computation is a key technology in the software industry
> with an outstanding prospect for the future.
>
> The following four subfields of symbolic computation form the
> theoretic/algo\-rithmic foundations for this area:
> \begin{itemize}
> \item algorithmic logic and automated reasoning,
> \item computer algebra,
> \item algorithmic geometry,
> \item automated programming.
> \end{itemize}
>
> The integration of the theoretic foundations (mathematics, logic,
> algorithms), of the implementation in software systems, and of the
> practical applications is more important for symbolic computation than
> for any other area of mathematics or computer science.
> It is a main objective of the symbolic curriculum at RISC-Linz to unite
> these three aspects (foundations, systems, and applications).
> The symbolic computation curriculum at RISC-Linz is one of the most
> systematic educational programs in this area.
>
> At RISC-Linz symbolic computation is understood in the broad sense
> defined in the international {\em Journal of Symbolic Computation}
> (Academic Press, London).
> For a more detailed introduction we recommend the editorial of this
> journal (vol. 1/1, pp. 1--6).
>
> \vspace*{0.5cm}
>
> {\bf Some facts about RISC-Linz}
>
> \vspace*{0.5cm}
>
> The Research Institute for Symbolic Computation (RISC-Linz), under the
> direction of Professor Bruno Buchberger, is committed to excellence in
graduate education
> and research. Qualified students interested in the area of {\em symbolic
> computation} are invited to
> diploma and doctoral studies at RISC-Linz.
>
> \medskip
> Studies at RISC-Linz offer many unique features:
> \begin{itemize}
> \item a research oriented working environment with modern computer equipment
> and access to the newest literature,
> \item experienced international academic researchers and teachers,
> \item a group of about 10--15 diploma students and 20--30 doctoral
> students, many of them foreign,
> \item labs in computer algebra,
> computational logic,
> algorithmic combinatorics,
> softautomation, parallel computation,
> expert systems,
> chemical expert systems,
> and symbolic computation in education,
> \item cooperation with industrial partners,
> \item location in a beautiful medieval castle 20 km from Linz.
> \end{itemize}
>
> The faculty of RISC-Linz consists of the following persons:
> \begin{tabbing}
> \qquad \= Bruno Buchberger (chairman of the institute) \\
> \> Edward Blurock \\
> \> Tudor Jebelean \\
> \> Peter Paule \\
> \> Heinrich Rolletschek \\
> \> Josef Schicho \\
> \> Wolfgang Schreiner \\
> \> Sabine Stifter \\
> \> Qu\^{o}c-Nam Tr\^{a}n \\
> \> Franz Winkler \\
> \end{tabbing}
>
> Currently 15 diploma students and 28 doctoral students are enrolled
> in the graduate program of RISC-Linz.
>
> \vspace*{0.5cm}
>
> {\bf The graduate program at RISC-Linz}
>
> \vspace*{0.5cm}
>
> The objective of the RISC-Linz symbolic computation curriculum at
> the University of Linz is the education of graduate students.
> Ideally, the RISC-Linz graduates are experts in the field of symbolic
> computation. They are trained to work on software development in the
> fields mentioned above, they are well prepared to take leading positions
> in industry, or they may be interested in founding companies themselves.
> As they are trained to contribute innovative ideas, they may pursue a
> research career in Austria or abroad.
>
> As the integration of the three aspects --- foundations, systems, and
> applications --- is so important for symbolic computation, the program
> can only be recommended to students who are willing to put the same
> strong emphasis on both mathematics and computer science. RISC-Linz
> requires that applicants have their undergraduate training in
> mathematics or computer science, preferably in both subjects.
> Students whose undergraduate background is in mathematics are encouraged
> to take courses in practical computer science, and, conversely, computer
> science students receive a complementary training in mathematics. Also
> in the seminars and in the work for the diploma (= master's) and Ph.D.
> thesis, special emphasis is put on educating students who will master
> the mathematical and computer science aspects of symbolic computation
> equally well.
>
> The education in symbolic computation takes place in the frame of
> RISC-Linz at the University of Linz, and is inseparably connected to the
> research activities at RISC-Linz. These activities include --- according
> to our understanding of symbolic computation --- both basic research and
> test implementations in software prototypes. Already from the beginning,
> students get used to both scientific work as well as engineering
> practice through the participation in research projects.
>
> Studying within the symbolic computation program leads either to the
> diplo\-ma degree or to the Ph.D. degree. As the entrance requirement,
> diploma students are expected to have passed the first diploma exam in
> mathematics or computer science at an Austrian university, or to have
> completed a similar study (bachelor program) at a foreign university.
> After the diploma in symbolic computation or a comparable master's
> degree from a foreign university, it is possible to enter the Ph.D.
> program in symbolic computation at RISC-Linz.
>
> \vspace*{0.2cm}
> \underbar{The diploma program} in symbolic computation consists
> \begin{itemize}
> \item of a methodical part (general problem solving, training in
> practical theorem proving, training in scientific work, complementary
> education in mathematics and computer science),
> \item of 10 courses selected from the symbolic computation curriculum,
> which includes approximately 40 courses (two credit hours each) covering
> the whole range of symbolic computation,
> \item and of the participation in a research project which includes the
> diploma thesis work.
> \end{itemize}
>
> \vspace*{0.2cm}
> \underbar{The Ph.D. program} in symbolic computation consists of a
> preparatory literature part, of the attendance of approximately 10 more
> courses from the symbolic computation curriculum, and of research within
> a (industrial) research project which leads to the Ph.D. thesis.
> These projects are financed by public Austrian and European science
> foundations as well as by several Austrian and foreign companies.
> During the Ph.D. study every student specializes in one of the following
> two branches of symbolic computation:
> \begin{itemize}
> \item algebra and geometry (with applications in CAD/CAM, robot
> programming, etc.),
> \item logic, rewriting and automated reasoning (with applications in
> knowledge based systems, software design, etc.).
> \end{itemize}
>
> For excellent students (diploma or Ph.D.) there exists the possibility
> of employment as a research assistant at RISC-Linz and/or of obtaining a
> fellowship.
>
> \vspace*{0.5cm}
>
> {\bf The RISC-Linz curriculum}
>
> \vspace*{0.5cm}
>
> The symbolic computation curriculum at RISC-Linz consists of the
> following courses. They are offered on a regular basis and count for
> 2 credit hours per semester each.
>
> \vspace*{0.2cm}
> \begin{tabbing}
> Introductory Courses: \\
> \qquad \= \ccc Survey Course on Symbolic Computation \\
> \> \ccc Practical Training in Problem Solving and Theorem
> Proving \\
> \\
> Logic and Theorem Proving: \\
> \> \ccc Logic for Mathematicians and Computer Scientists I \\
> \> \ccc Logic for Mathematicians and Computer Scientists II \\
> \> \ccc The Resolution Method for Predicate Logic \\
> \> \ccc Refined Universal Proof Methods for Predicate Logic \\
> \> \ccc Rewriting in Computer Science and Logic \\
> \> \ccc Lambda Calculus and Algorithmic Logic \\
> \\
> Computer Algebra: \\
> \> \ccc Introduction to Computer Algebra \\
> \> \ccc Advanced Computer Algebra \\
> \> \ccc Commutative Algebra and Algebraic Geometry \\
> \> \ccc Algorithmic Algebraic Geometry \\
> \> \ccc Symbolic Methods in Analysis \\
> \> \ccc Analytic Combinatorics \\
> \> \ccc Algorithmic Combinatorics \\
> \> \ccc Computational Category Theory (with ML) \\
> \\
> Computational Geometry: \\
> \> \ccc Discrete Algorithmic Geometry \\
> \> \ccc Geometric Fundamentals \\
> \> \ccc Geometric Modeling \\
> \\
> Algorithm Theory and Computability: \\
> \> \ccc Design and Analysis of Algorithms \\
> \> \ccc Formal Specification and Verification \\
> \> \ccc Decidable Logic Theories \\
> \> \ccc Theory of Computation \\
> \> \ccc Decidability and Complexity Classes \\
> \\
> Theory of Programming: \\
> \> \ccc Semantics of Programming Languages \\
> \> \ccc Algebraic Specification \\
> \> \ccc Program Transformation and Synthesis \\
> \\
> Programming Models: \\
> \> \ccc Logic Programming --- PROLOG \\
> \> \ccc Functional Programming --- LISP \\
> \> \ccc Object Oriented Programming \\
> \> \ccc Knowledge Based Programming \\
> \\
> Softautomation: \\
> \> \ccc Softautomation: Construction and Modeling \\
> \> \ccc Softautomation: Simulation and Programming \\
> \> \ccc Symbolic and Numeric Methods in Dynamics \\
> \\
> Parallel Computation: \\
> \> \ccc Parallel Hardware and Software \\
> \> \ccc Practical Studies in Parallel Computation \\
> \> \ccc Parallel Algorithms \\
> \> \ccc Formal Methods for Parallel Systems \\
> \\
> Machine Learning: \\
> \> \ccc Introduction to the Design of Knowledge Based Systems
> \\
> \> \ccc Neural Networks and Geometric Pattern Matching \\
> \\
> Software Systems: \\
> \> \ccc Software Systems for Computer Algebra and Geometry \\
> \> \ccc Software Systems for Automated Reasoning and
> Programming \\
> \end{tabbing}
>
> \end{document}
>