[UAI] Postdoc position on Artificial Intelligence at DISI - University of Trento

below to anyone that comes to mind? Or please let me know if you'd like to know a bit more. Thanks in advance, Marco Roveri Email: marco.rov...@unitn.it Description: PostDoc position in Artificial Intelligence a

[UAI] PhD positions in Computer Science and Artificial Intelligence at DISI - University of Trento

and Hospital of the Future. Could you please forward the vacancy description below to anyone that comes to mind? Or please let me know if you'd like to know a bit more. Thanks in advance, Marco Roveri Email: marco.rov...@uni

[UAI] PhD positions in Computer Science and Artificial Intelligence for ERC AdG WhiteMech

.Could you please forward the vacancy description below to anyone that comes to mind? Or please let me know if you'd like to know a bit more.Thanks in advance,  Prof. Giuseppe De Giacomo degiac...@diag.uniroma1.it   Prof. Marco Roveri marco.rov...@unitn.it&nbs p;--

[UAI] Post-doc position in the field of Formal Methods at Fondazione Bruno Kessler

(Apologies if you have received multiple copies of this announcement) A RESEARCHER IN THE FIELD OF FORMAL METHODS FOR THE EMBEDDED SYSTEMS RESEARCH UNIT (ES) -- Job Description -- The Embedded System

[UAI] CFP: Formal Methods for Intelligent Systems @ ISMIS 2018

Session Chairs. ------ Marco Roveri Alberto Griggio Fondazione Bruno Kessler Fondazione Bruno Kessler Trento, Italy, Trento, Italy, rov...@fbk.eugrig...@fbk.eu -- I

[UAI] SEFM 2017: Call for Workshops

. If available, also a preliminary call for papers (list of topics, preliminary PC, deadlines, etc.) can be attached to the proposal. -- WORKSHOP CO-CHAIRS - Antonio Cerone, Nazarbayev University, Astana, Kazakhstan - Marco Roveri

[UAI] PostDoc Positions on Planning and Scheduling in the Embedded System Research Unit

(We apologize if you receive multiple copies of this message) == Call ES_PANDS_2017_postdoc == Opening date: December 1, 2016 Closing date: January 16, 2017 A

[UAI] FMICS 2010: Call for Papers

and associated costs. * Application of formal methods in standardization and industrial forums. INVITED SPEAKERS To be announced CO-CHAIRS - Stefan Kowalewski (RWTH-Aachen, Germany) Marco Roveri(FBK-irst, Italy) PROGRAM COMMITTEE