ICVL 2020

News and Events


Professor Zohar Manna (1939-2018)


"It pioneered the logical analysis of programs for correctness vis-à-specifications and for termination properties"

by Nachum Dershowitz and Richard Waldinger, “Zohar Manna (1939-2018)”, Formal Aspects of Computing, vol. 31, no. 6, December 2019, pp. 643-660.

http://c3.icvl.eu/?q=2020/manna

Web of Science Indexed - Proceedings of the ICVL 2019


Web of Science Indexed -ICVL 2019 - PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON VIRTUAL LEARNING, ICVL 2019 Book Series: Proceedings of the International Conference on Virtual learning - http://apps.webofknowledge.com

Partners and Sponsors


The Internet of things



File:Internet_of_Things

The Internet of things (IoT) is a system of interrelated computing devices, mechanical and digital machines, objects, animals or people that are provided with unique identifiers (UIDs) and the ability to transfer data over a network without requiring human-to-human or human-to-computer interaction.

Rouse, Margaret (2019). "internet of things (IoT)". IOT Agenda. Retrieved 14 August 2019,
https://internetofthingsagenda.techtarget.com/definition/Internet-of-Thi...

Priorities in Cybernetics, Computer Science and Artificial Intelligence


Priorities in Cybernetics, Computer Science and Artificial Intelligence. About the beginnings of world and Romanian Informatics (In Romanian) - http://www.c3.cniv.ro/?q=2020/prioritati

Conferences 2020


CSEE 2020, The International Conference on Computer Science, Engineering and Education (CSEE 2020) will be held on June 10-12, 2020 in Barcelona, Spain - http://csee.net/

DSDE 2020, The 3rd International Conference on Data Storage and Data Engineering - http://dsde.org/

Pioneers of Romanian Informatics


ICVL 2020


2010 - Towards a Learning and Knowledge Society - 2030
ICVL 2020 - The 15th Interational Conference on Virtual Learning

OCTOBER 31, 2020 - Organizers: University of Bucharest, Location: "Stefan cel Mare" University of Suceava, ROMANIA - EUROPE

ICVL 2020 dedicated to Dr. Ștefan Odobleja, forerunner of Generalized Cybernetics and Artificial Intelligence: Cybernetics was born in Romania
The CNIV 2020 will be held in conjunction with The 15th Interational Conference on Virtual Learning (ICVL)

Tournament ICVL and CNIV


Tournament ICVL and CNIV - Future vs. Vision: 2018- 2022

traseu-CNIV-ICVL2017new