december 2012

Cari colleghi,

vi inoltro la newsletter della I-RAS.

Cordiali saluti,

Gianluca
www.i-ras.unicas.it

-----------------------
-----------------------

INDICE

1. CFP - Third Workshop on Hybrid Autonomous Systems (HAS 2013)
2. Posizioni di RTDa e Assegno di Ricerca (Padova)
3. CORSO DI DOTTORATO
4. ISARC 2013: 30th International Symposium on Automation and Robotics in Construction, Mining & Petroleum Industries
5. Cloud City Expo

-----------------------
-----------------------

1. CFP - Third Workshop on Hybrid Autonomous Systems (HAS 2013)

FIRST CALL FOR PAPERS

Third Workshop on Hybrid Autonomous Systems (HAS 2013)                     

A satellite event of European Joint Conferences on Theory and Practice of Software ETAPS 2013

March 17, 2013, Rome, Italy

http://www2.warwick.ac.uk/fac/sci/maths/people/staff/bujorianu/has2013/

SCOPE:

The interest on autonomous systems is increasing both in industry and academia. Such systems must operate with limited human intervention in a changing environment and must be able to compensate for significant system failures without external intervention. The hybrid discrete-continuous models constitute appropriate models of autonomous systems . Hybrid systems have behaviours characterised by  the interaction between continuous and discrete dynamics and research in the area is driven by  several school of thoughts. One approach is mainly focussed on applications to automation systems and the models and methods are centred on the concept of hybrid automaton (deterministic or probabilistic). A distinct school of thought interprets hybrid systems as control systems with regime change. Such systems are highly adaptive and suitable for modelling autonomic behaviours. The most prominent models of this approach are the stochastic hybrid systems and the mixed logical and dynamical systems. There is a clear research opportunity to combine these approaches for developing models, methods, techniques, methodologies, tools and environments for autonomous systems engineering. This workshop brings together researchers interested in all aspects of autonomy and resilience of hybrid systems.

TOPICS:

Topics include (but are not limited to):

* new modelling paradigms for autonomous systems;

* verification and safety certification techniques;

* modelling, analysis and control of hybrid systems;

* uncertainty and stochastic modelling;

* multi-agent systems;

* algebraic and categorical methods;

* interaction between hybrid modelling and complexity science;

* reports on case studies and practical experiments;

* autonomous systems in natural science (e.g. from biology, ecology, climate).

INVITED SPEAKERS:

* Maria Domenica di Benedetto, L'Aquila University, IT

* Radu Grosu, Vienna University of Technology, AU

* Rafael Wisniewski, Aalborg University, DEN

SUBMISSIONS:

In order to encourage participation and discussion, this workshop solicits the submission of regular papers, which must contain original work, and must not have been previously published, nor be under consideration for publication elsewhere. The accepted submissions should clearly indicate the membership to one of the following categories:

* technical contributions;

* tutorials on a topic of importance;

* surveys on large extent cross-disciplinary research (e.g., project outcomes);wor

* reports on early stage or ongoing work.

For each category of submission the novelty of the submission has to be clearly stated and the page limit should vary between 6 and 15 pages. All submissions must be in PDF format and use the EPTCS latex style, see http://style.eptcs.org/. Submissions can be made on the following website:

https://www.easychair.org/conferences/login_as_yes.cgi?a=3413468

The workshop PC will review all regular paper submissions to select appropriate ones, ones for acceptance in each category, based on their relevance, merit,  originality, and technical content. The authors of accepted submissions are expected to present and discuss their work at the workshop. Accepted regular papers will be published in the Electronic Proceedings in Theoretical Computer Science (EPTCS). A special issue in a journal is under consideration.

IMPORTANT DATES:

Submission (regular paper): January 3, 2013

Notification: January 24, 2013

Final version (ETAPS proceedings): February 14, 2013

Workshop: March 17, 2013

Final version (EPTCS post proceedings): TBA

ORGANIZATION:

PC Chairs:

* Luca Bortolussi, University of Trieste, IT

* Manuela Bujorianu, University of Warwick, UK

* Giordano Pola,  University of L’Aquila, IT

Program Committee:

* Ezio Bartocci, TU Wien, AU

* Maria Domenica di Benedetto, L'Aquila University, IT

* Alberto Casagrande, Univeristy of Trieste, IT

* Thao Dang, Verimag, FR

* Louise Dennis, University of Liverpool, UK

* Clare Dixon, University of Liverpool, UK

* Alexandre Donzé, UC Berkeley, US

* Martin Fränzle, Carl von Ossietzky Universität, DE

* Ichiro Hasuo, University of Tokio, JP

* Agung Julius, Rensselaer Polytechnic Institute, US

* Toshimitsu Ushio, Osaka University, JP

* Giordano Pola, L'Aquila University, IT (co-Chair)

* Rom Langerak, University of Twente, NL

* David Parker, University of Birmingham, UK

* Guido Sanguinetti, University of Edinburgh, UK

* Olaf Stursberg, University of Kassel, DE

-----------------------
-----------------------

2. Posizioni di RTDa e Assegno di Ricerca (Padova)

Cari Colleghi - nell'ambito del progetto FIRB 2012 ``Learning meets time:  a new computational approach to learning in dynamic systems'' di cui sono coordinatore,
saranno prossimamente aperte due posizioni presso il Dipartimento di Ingegneria dell'Informazione, Universita' di Padova:

- Contratto Triennale di Ricercatore a Tempo Determinato (RTDa) o contratto triennale di ricerca (con lo stesso trattamento economico del RTDa)
- Assegno di Ricerca per 12 mesi

Le tematiche del progetto si collocano all'intersezione di System Identification, Machine Learning e Ottimizzazione.

Oltre all'unita di Padova (composta dal Prof. Pillonetto e da me), saranno coinvolti

- il gruppo di  Statistical Learning dell'università di Genova (coordinato dal Prof. Rosasco),
- il gruppo di Analisi Numerica dell'università di Ferrara (coordinato dalla Prof. Bonettini),
- il gruppo di Robotics, Brain and Cognitive Sciences (IIT- Genova)
- i partner esteri (Univ. of Linkoping - Prof. L. Ljung, MIT - Prof. T. Poggio, Univ. Washington - Prof. J. Burke)

Purtroppo non sono ancora in grado di dare dei dettagli precisi riguardo alla call (il progetto e' stato ammesso al finanziamento poche settimane fa), ma in attesa di
dettagli Vi pregherei di diffondere la notizia tra i Vostri studenti, dottorandi e dottori di ricerca che possano essere interessati. 

Cordiali Saluti
Alessandro

Alessandro Chiuso, Ph.D.
Associate Professor
Department of Information Engineering - University of Padova
Via Gradenigo 6/b, 35131 Padova (Italy)
Ph:+39-049-8277709
email: alessandro.chiuso@unipd.it  skype: achiuso
web:automatica.dei.unipd.it/people/chiuso.html
Google Scholar: http://scholar.google.it/citations?user=9Pl5k60AAAAJ&hl=it

-----------------------
-----------------------

3. CORSO DI DOTTORATO

il prossimo Gennaio nell’ambito della International EECI Graduate School on Control si terrà a SUPELEC, PARIGI SUD, un corso di dottorato su OTTIMIZZAZIONE INCERTA E IL METODO A SCENARIO. I dettagli sono riportati qui sotto.

Il corso rappresenta un’occasione per dottorandi, post-doc e ricercatori per familiarizzarsi con tecniche moderne per l’ottimizzazione incerta. Vi sarei grato se poteste segnalare ai vostri studenti questa opportunità’.

Le preiscrizioni si chiudono il 20 Dicembre.

Cordiali saluti, Marco Campi.

Titolo del corso:
Uncertain optimization via sample-based approaches

Docenti:
Simone Garatti e Marco Campi

Data:
Gennaio 21-25

Luogo:
Supelec – Parigi sud

Parziale supporto finanziario puo' essere richiesto agli organizzatori

Maggiori informazioni al sito:
http://www.eeci-institute.eu/GSC2013

-----------------------
-----------------------

4 . ISARC 2013: 30th International Symposium on Automation and Robotics in Construction, Mining & Petroleum Industries

> Dates:    Aug. 11-15, 2013
> Website:    http://www.isarc2013.org
> Location:     Palais des congres de Montreal; Montreal, Quebec, Canada
> Host:     Canadian Institute of Mining, Metallurgy and Petroleum
> Contact     Chantal Murphy, Convention Coordinator
> Email:     cmurphy@cim.org
> EVENT DESCRIPTION:
> ISARC 2013, held in conjunction with the 23rd World Mining Congress (WMC
> 2013) will be very unique as it will include parallel and joint sessions in
> Automation and Robotics in the Construction, Mining and Petroleum
> industries. This unique event will host a prestigious gathering of over 800
> researchers, academics, and industry practitioners from around the world in
> various specialty areas. A dozen technical tracks and a large exhibition
> will display and demonstrate the most recent advances in construction and
> mining machinery, information technologies, field instrumentation and
> sensors, automation in excavation and haulage, safety and reliability,
> environmental issues, fleet management systems and many other computer-aided
> process designs and optimizations.

-----------------------
-----------------------

5. Cloud City Expo

The Italian Global Event for the New Digital and Tech Markets with Special Focus on Cloud

4 – 5 maggio 2013, Palazzo dei Sette,

corso Cavour 87 , Orvieto (TE).

http://cloudcityexpo.com/