[TYPES/announce] CFA: Fourth Training School in Symbolic Computation

Temur Kutsia kutsia at risc.uni-linz.ac.at
Thu Nov 27 14:48:56 EST 2008


[Apologies for multiple copies.]

    %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    %        European Commission Framework 6 Programme       %
    %         Integrated Infrastructures Initiatives         %
    %                                                        %
    %         Symbolic Computation in Europe (SCIEnce)       %
    %                                                        %
    %                                                        %
    %      FOURTH TRAINING SCHOOL IN SYMBOLIC COMPUTATION    %
    %                                                        %
    %                  June 29 - July 10, 2009               %
    %            RISC, Castle of Hagenberg, Austria          % 

    %                                                        %
    % http://www.risc.uni-linz.ac.at/projects/science/school %
    %                                                        %
    %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

   The Research Institute for Symbolic Computation (RISC),
   Johannes Kepler University of Linz, organizes the Fourth
   RISC/SCIEnce Training School in Symbolic Computation, in
   June 29 - July 10, 2009 in the Castle of Hagenberg, Austria.

   The school gives an introduction to the field of symbolic
   computation and provides training in selected symbolic
   computation software and techniques for students and
   researchers from various fields of sciences who are interested
   in using symbolic computation in their work.

=====================
GRANTS ARE AVAILABLE!
=====================

   The SCIEnce project provides a number of grants to potential
   school participants. Please visit the school web page for
   the details.

======================
LECTURES AND TUTORIALS
======================

     * Abdallah Al Zain (Heriot-Watt University, Scotland, UK).
       SymGrid-Par.
     * Anna Bigatti (University of Genoa, Italy).
       CoCoA Tutorial.
     * Ralf Hemmecke (RISC, Austria).
       Maple Tutorial.
     * Sylla Lesseni (Technische Universit�t Berlin, Germany).
       KANT/KASH Tutorial.
     * Alexander Konovalov.
       GAP Tutorial.
     * Temur Kutsia (RISC, Austria).
       Unification.
     * Wolfgang Windsteiger (RISC, Austria).
       Mathematica Tutorial.
     * Franz Winkler (RISC, Austria).
       Introduction to Gr�bner bases and other methods in
       elimination theory.
(More courses to be announced)


===============
IMPORTANT DATES
===============

     * February 23, 2009: Application deadline.
     * March 16, 2009: Notification of acceptance.
     * May 4, 2009: Registration.
     * June 29�July 10, 2009: Training School.

=====================
APPLICATION PROCEDURE
=====================

 
http://www.risc.uni-linz.ac.at/projects/science/school/fourth/application.html

==================
SCHOOL COORDINATOR
==================

    Temur Kutsia, RISC, Johannes Kepler University, Austria
    kutsia at risc.uni-linz.ac.at


More information about the Types-announce mailing list