Események

Rendezvény neve: CAV 2018
Dátum: 2018. 07. 14. - 2018. 07. 17.
Tartalom: CAV 2018 is the 30th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems.

The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. CAV considers it vital to continue spurring advances in hardware and software verification while expanding to new domains such as biological systems and computer security.
Szervező(k):
Springer  - Szervező
Helyszín(ek):
n.a./Oxford
Oxford
Típus: Informatikai / Konferencia / Térítéses
További információk
Jelentkezés: Jelentkezés itt!

Kövess minket a Facebookon!

Szoftver híreink

Ren Zhengfei reakciója az amerikai szabályozással kapcsolatos kérdésekre

Ren Zhengfei, a Huawei Technologies alapítójának reakciója a nemzetközi sajtóban megjelent, az amerikai szabályozással kapcsolatos leggyakoribb kérdésekre.

A Vodafone Debrecenben is megmutatta, mire képes az 5G

Május 25-én debütált a Debrecen Drive, a keleti régió legnagyobb autó- és járműipari seregszemléje, ahol a Vodafone egy 5G kapcsolaton keresztül távvezérelt autó segítségével mutatta be a közlekedés jövőjét. 

Puskás Tivadar-díjat kapott dr. Drozdy Győző

A telekommunikációs szektor egyik legrangosabb hazai elismerésével, Puskás Tivadar-díjjal jutalmazták dr. Drozdy Győzőt, a Telenor Magyarország vállalati kapcsolatokért felelős vezérigazgató-helyettesét. A szakember három évtizedes telekommunikációs tevékenysége során kiemelkedő szerepet töltött be az első hazai, kereskedelmi GSM szolgáltatás elindításában, az iparág fejlődését végigkísérve aktívan jelen van ötödik generációs (5G) mobilhálózatok bevezetésénél is.

Jöhet a láthatatlan pénztárca

A mindennapi pénzügyeket, például a vásárlást megkönnyítő megoldásokkal rukkoltak elő a K&H fejlesztői innovációs versenyére jelentkező startupok. A világ minden tájáról összesen 45 csapat nevezett többek között mesterséges intelligencián alapuló adatfeldolgozó alkalmazással, láthatatlan és különböző elektronikus fizetési megoldással. A K&H szakmai zsűrije a Mondriaan csapatot választotta győztesnek.

Új készségfejlesztési programot tesztel az IBS

A jövő munkapiaci kihívásaira adott válaszként az IBS Nemzetközi Üzleti Főiskola új készségfejlesztési programot dolgozott ki UpSkill néven. Az idei tanév során kettő, a következő tanévben már hat kompetenciát fejlesztenek. Az intézmény a program idei, első évében szerzett tapasztalatai alapján alakítja ki a végleges keretrendszert, amely a várakozások szerint nagyban javítani fogja a hallgatók elhelyezkedési esélyeit.

online sportfogadás