Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Grants for RISC/SCIEnce Training School: Deadl...

Email Gateway (Aug 18 2022 at 10:25):

From: Temur Kutsia <kutsia@risc.uni-linz.ac.at>
[Apologies for multiple copies.]

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% European Commission Framework 6 Programme %
% Integrated Infrastructures Initiatives %
% %
% Symbolic Computation in Europe (SCIEnce) %
% %
% %
% SECOND TRAINING SCHOOL IN SYMBOLIC COMPUTATION %
% %
% June 24 - July 6, 2007 %
% RISC, Castle of Hagenberg, Austria %
% %
% http://www.risc.uni-linz.ac.at/projects/science/school %
% %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

GRANTS AVAILABLE!

The SCIEnce project provides grants to attend the Training School.
Grants cover:

- Travel
- Accommodation
- Daily allowance
- Free registration
- School materials
- Registration for the Algebraic Biology (AB2007) conference
(http://www.risc.uni-linz.ac.at/about/conferences/ab2007/)

Grant application deadline:

- April 23, 2007 (Extended)

Application procedure:

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

School web page:

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

Last updated: May 03 2024 at 08:18 UTC