Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] CFA: Transnational Access Programme at RISC


view this post on Zulip Email Gateway (Aug 18 2022 at 11:09):

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

************

* European Commission Framework 6 Programme * * Integrated Infrastructures Initiatives * * * * Symbolic Computation in Europe (SCIEnce) * * * * TRANSNATIONAL ACCESS PROGRAMME * * * * * * Research Institute for Symbolic Computation (RISC) * * Johannes Kepler University of Linz, Austria * * * ************

RISC-Linz, a research institute at the Johannes Kepler University,
Austria, offers opportunities to researchers to obtain access to its
infrastructure and facilities. Access is provided through the project
SCIEnce within the 6th Framework Programme of the European Commission.

What we offer
=============
Within this programme the users can

Applications can be submitted any time. For successful applicants, access
is free of charge. We provide scientific, technical, administrative, and
logistic support, including travel and living expenses.

Who can benefit
===============
Students and Researchers who are interested in using symbolic computation
in their work.


For more information and the application procedure please visit the
program web page:

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


Last updated: Nov 21 2024 at 12:39 UTC