Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Transnational Access Program at RISC


view this post on Zulip Email Gateway (Aug 17 2022 at 14:46):

From: Temur Kutsia <Temur.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 PROGRAM * * * * * * 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 free of charge and is
provided through the project SCIEnce within the 6th Framework
Programme of the European Commission.

What we offer
=============
Free access to the infrastructure, facilities, and expertise of a
world-leading center in symbolic computation.

Scientific, technical, administrative, and logistic support,
including travel and living expenses.

Who can benefit
===============
Researchers from any field of sciences who use or would like to use
symbolic computation in their research.

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

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


Last updated: May 03 2024 at 04:19 UTC