Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Transnational Access Programme at RISC


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

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 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
===============
Students and Researchers from various fields of sciences who use or
would like to use 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: May 03 2024 at 12:27 UTC