CFProposal AISB2018

  The Society for the Study of Artificial Intelligence and Simulation for Behaviour (AISB) is soliciting proposals for symposia to be held at the AISB 2018 convention.The longest running convention on Artificial Intelligence, A...


Insurance AI Analy...

Insurance AI Analytics Summit, October 9-10, London Join us for Europe’s only AI event dedicated to insurance where 300 attendees will unite from analytics, pricing, marketing, claims and underwriting. You’ll find out how advan...


AISB 2018 Convention

  The longest running convention on Artificial Intelligence, AISB 2018 will be held at the University of Liverpool, chaired by Floriana Grasso and Louise Dennis. As in the past years, AISB 2018 will provide a unique forum for p...


AI Summit London

     The AI Summit London: The World’s Number One AI Event for Business  Date: 9-10 May 2017 Venue: Business Design Centre, London. The AI Summit is the world’s first and largest/number one conference exhibition dedicated to t...


AISB Wired Health

    AISB and WIRED events have partnered to bring together inspirational high-profile speakers. Join hundreds of healthcare, pharmaceutical and technology influencers and leaders at the 4th Annual WIRED Health event, taking pl...


Hugh Gene Loebner

  The AISB were sad to learn last week of the passing of philanthropist and inventor Hugh Gene Loebner PhD, who died peacefully in his home in New York at the age of 74.  Hugh was founder and sponsor of The Loebner Prize, an an...


AI Europe 2016

  Partnership between AISB and AI Europe 2016: Next December 5th and 6th in London, AI Europe will bring together the European AI eco-system by gathering new tools and future technologies appearing in professional fields for th...


AISB convention 2017

  In the run up to AISB2017 convention (, I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...



AISB opportunities Bulletin Item

PhD positions in ICT on Formal Verification via SMT available in Trento

Doctoral Student Positions in Information and Communication Technologies


are available at the International Doctorate School in Information and 
Communication Technologies ( of the
University of Trento, Italy, under the joint supervision of 

 Embedded Systems Research Unit, 
 via Sommarive 18, I-38100 Povo, Trento, Italy, 
 Software Engineering & Formal Methods Research Program
 DISI, University of Trento, 
 via Sommarive 14, I-38100 Povo, Trento, Italy 

The research activity will be carried out jointly within the Embedded Systems
(ES) Research Unit of the Center for Scientific and Technological
Research of the Fondazione Bruno Kessler (FBK), Trento, and the 
Software Engineering & Formal Methods (SE&FM) Research Program,
at Department of Information Engineering and Computer Science (DISI) of
University of Trento. 

The research activity will aim at investigating and developing novel 
techniques, methodologies and support tools for Satisfiability Modulo 
Theories (SMT) for the verification of WORD-level circuit designs. 
This work will be part of the "Word-Level Formal Verification via SMT 
Solving" (WOLFLING) project, a three-year custom research project 
supported by SRC/GRC (, in 
strict collaboration with the Formal Verification Group at Intel, Haifa. 

SMT tools will be developed on top of the MathSAT SMT platform 
(, and Formal Verification tools will be
developed on top of the NuSMV Model Checking platform (
Both platforms are jointly developed and maintained by ES and SE&FM.

The selected candidates will be initially enrolled in a stage and, if
they pass the selection of the Ph.D. school, they will be enrolled as
Ph.D. students. Ph.D. courses will start in Autumn 2009, and the
thesis must be completed in three or four years. People enrolled in a
stage and subsequent Ph.D. courses are expected to move to Trento, and
will receive monetary support during both phases of their activity.

Candidate Profile

The ideal candidate should have an MS or equivalent degree in computer
science, mathematics or electronic engineering, and combine solid
theoretical background and excellent software development skills.

The candidate should be able to work in a collaborative environment,
with a strong commitment to reaching research excellence and achieving
assigned objectives.

Background knowledge and/or previous experience in the following areas 
(in order of preference), though not mandatory, will be considered
very favorably:
- Satisfiability Modulo Theory (SMT)
- Propositional Satisfiability (SAT)
- Embedded Systems Design Languages (e.g. Verilog, VHDL)
- Symbolic Model Checking
- Automated Reasoning
- Constraint Solving and Optimization

Applications and Inquiries

Interested candidates should inquire for further information and/or
apply by sending email to Prof. Sebastiani rseba[at]disi[dot]unitn[dot]it.

Applications should contain a statement of interest, with a Curriculum
Vitae, and three reference persons. PDF format is strongly encouraged.

Emails will be automatically processed and should have


as subject.

Contact Person

 Software Engineering & Formal Methods Research Program
 DISI, University of Trento, 
 via Sommarive 14, I-38100 Povo, Trento, Italy 
 mailto: rseba[at]disi[dot]unitn[dot]it

The Embedded Systems Research Unit at FBK

The Embedded Systems Unit consists of about 15 persons, including
researchers, post-Doc, Ph.D. students, and programmers. The
Unit carries out research, tool development and technology transfer in
the fields of design and verification of embedded systems.

Current research directions include:

* Satisfiability Modulo Theory, and its application to the
 verification of hardware, embedded critical software, and hybrid
 systems (Verilog, SystemC, C/C++, StateFlow/Simulink).

* Formal Requirements Analysis based on techniques for temporal logics
 (consistency checking, vacuity detection, input determinism,
 cause-effect analysis, realizability and synthesis).

* Formal Safety Analysis, based on the integration of traditional
 techniques (e.g. Fault-tree analysis, FMEA) with symbolic
 verification techniques.

The Embedded Systems Unit is part of Fondazione Bruno Kessler,
formerly Istituto Trentino di Cultura, a public research institute of
the Autonomous Province of Trento (Italy), founded in 1976. The
institute, through its center for the scientific and technological
research, is active in the areas of Information Technology,
Microsystems, and Physical Chemistry of Surfaces and
Interfaces. Today, FBK is an internationally recognized research
institute, collaborating with industries, universities, and public and
private laboratories in Italy and abroad. The institute's applied and
basic research activities aim at resolving real-world problems, driven
by the need for technological innovation in society and industry.

The SW Engineering & Formal Methods Research Program at DISI

The SW Engineering & Formal Methods R. P. at DISI currently
consists on 5 faculties, 4 post-docs and 19 PhD students. The
Unit carries out research, tool development and technology transfer in
the fields of Goal-Oriented Requirements Engineering, Agent-oriented
SW engineering, Security, and Formal Methods. 

Referring to formal methods, current research directions include:

* Satisfiability Modulo Theory, and its application to the
 verification of hardware, embedded critical software, and hybrid

* Advanced Model Checking Techniques for Formal Verification of
 hardware, embedded critical software, and hybrid systems. 

* Applications of Propositional Satisfiability (SAT) to various

The R.P. is part of the Department of Information Engineering and 
Computer Science, DISI ( of University of Trento. 
University of Trento in the latest years has always been rated among the
top-three small&medium-size universities in Italy.  
DISI currently consists of 50 faculties, 68 research staff and support
people, 21 postdocs and 146 Doctoral students, plus administrative and
technical staff. DISI covers all the different areas of information 
technology (computer science, telecommunications, and electronics) 
and their applications. These disciplines above are studied
individually but also with a strong focus on their integration, 


Trento is a lively town of about 100.000 inhabitants, located 130 km
south of the border between Italy and Austria. It is well known for
the beauty of its mountains and lakes, and it offers the possibility
to practice a wide range of sports. Trento enjoys a rich cultural and
historical heritage, and it is the ideal starting point for day trips
to famous towns such as Venice or Verona, as well as to enjoy great
naturalistic journeys. Detailed information about Trento and its
region can be found at