[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] CFP: ISSAC 2009



[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@xxxxxxxxxxxxxxxxxxx