Skip to content
arc.info@e-uvt.ro
Facebook Google Linkedin
  • 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
Xserach-outer

Day: December 16, 2019

Mircea MarinMircea Marin

December 16, 2019December 16, 2019 arcarc 0 Comments

READ MOREREAD MORE

Intelectual OutputIntelectual Output

December 16, 2019December 16, 2019 arcarc 0 Comments

READ MOREREAD MORE

Our Visitors

  • Visitors today : 0
  • Total visitors : 1,775
  • Total page view: 2,483
Scroll Up
Education WordPress Theme Copyright(c) 2020 - Department of Computer Science, West University of Timisoara, Romania Powered By WordPress