Skip to content
arc.info@e-uvt.ro
Facebook
Google
Linkedin
Menu
Home
Partners
West University of Timisoara
Isabela Dramnesc
Adrian Craciun
Mircea Marin
Johannes Kepler University Linz
Tudor Jebelean
Université de Lorraine
Sorin Stratulat
Renata Bunoiu
Eszterhazy Karoly Catholic University
Gábor Kusper
RWTH Aachen University
Erika Ábrahám
Events
First Transnational Meeting
Online Training
First Online Training
Second Online Training
Third Online Training
Fourth Online Training
Fifth Online Training
Training in Theorema (online)
Training in SMT (online)
Training in Problem based Learning (PBL)
Training in SAT
Training in Coq
Last Transnational Meeting
ARC Summer School
Multiplier events
1. Multiplier event of ARC
2. Multiplier event of ARC
International Symposium on ARC
Intellectual output
Publications
Contact
News
Search
X
serach-outer
Search
Search
Multiplier events
Scroll Up
Education WordPress Theme
Copyright(c) 2020 - Department of Computer Science, West University of Timisoara, Romania
Powered By WordPress
