Code Generation for Event-B Thesis

 
M-ITI PhD student Victor Rivera had his Doctoral Program in Computer Science - Human-Computer Interaction's defence last Monday. The title of the Thesis was Code Generation for Event-B.
 
Abstract:
Stepwise refinement and Design-by-Contract are two formal approaches for modelling systems. These approaches are widely used in the development of systems. Both approaches have (dis-)advantages: in stepwise refinement a model starts with an abstraction of the system and more details are added through refinements. Each refinement must be provably consistent with the previous one. Hence, reasoning about abstract models is possible. A high level of expertise is necessary in mathematics to have a good command of the underlying languages, techniques and tools, making this approach less popular. Design-by-Contract, on the other hand, works on the program rather than the program model, so developers in the software industry are more likely to have expertise in it. However, the benefit of reasoning over more abstract models is lost.

Mayur Karnik

 

 

Mayur was part of the first cohort of researchers that joined M-ITI after the Carnegie Mellon International Partnership. He was one of the first designers to join our research team and brought an extensive professional background in user experience design spanning websites, application UI, portable media players, mobile phones, televisions, digital photo frames and home appliances. Mayur graduated from the National Institute of Design, India with a postgraduate degree in Communication Design (User Interface Design). He worked with companies such as Hewlett Packard Labs and Philips Design in the areas of interaction design, visual design and user research. At M-ITI he was in the midst of completing his PhD supervised by Prof. Ian Oakley on topics related to social interaction design in public spaces.

ACE 2014 - Advances in Computer Entertainment Technology Conference

ACE is a leading forum for the dissemination of cutting-edge research in entertainment computing.

This year it will again bring together leading researchers and practitioners from academia and industry to present their innovative work and to discuss the potential and the challenges of interactive entertainment technology. The event will take place in Funchal, Madeira Island from November 11th until November 14th.

Rabbids Invasion

 

MET Student Ingrid Ecker launched her first game. Congratulations for such great achievement!

Rabbids Invasion, the hit TV show on Nickelodeon, is now a video game on Xbox One, PS4, and Kinect for Xbox 360. Rabbids Invasion: The Interactive TV Show gives kids an opportunity to watch, play and interact with their favorite TV characters, the Rabbids!  With over 20 interactive TV episodes, kids will jump into the show by playing full motion mini-games with over 400 activities like Match the Pose, Speed Drawing, Dance Like Crazy, Sticker Hunt and more!   Challenge your friends to see who can keep up with the Rabbids in their wacky adventures or invite the Rabbids into your home with augmented reality. Up to four players. It’s totally Bwaaah-some! 

M-ITI Seminars

Madeira-ITI organises seminars and invited talks in the areas of Computer Science and Human-Computer Interaction.
David Aveiro
19 November, 2014 - 16:00
Workshop Yoga
Abstract:
In this 90 minutes workshop we'll dedicate half of our time to a presentation on: the question ‘What are Yoga and Meditation?; some of the many different physical, relaxation and meditation exercises that are part of this thousand year-old science; and their benefits and inner-workings. The other half of the workshop will be dedicated to practice so that everyone can experience some of the benefits of these exercises and get to know what will take place in future regular Yoga and Meditation classes at M-ITI. 
Eric Craven
12 November, 2014 - 14:00
 
Eric Craven is Project Coordinator of the Digital Literacy Project at Atwater Library in Montreal, where he also did his graduate studies in Information Science at McGill University. Eric is in Portugal this week to present his work as part of a large scale Canadian (SSHRC) funded project with international partners called ACT (Ageing Communications Technologies) at ECREA 2014, a conference on communications that is being held this year in Lisbon with the theme 'Communication for Empowerment: Citizens, Markets, Innovations’.
 

Research posts

M-ITI often participates in international conferences. Here is a list of the latest conference presentations
  by Pedro Campos, Alfredo Ferreira, Craig Anslow   Workshop aims This workshop aims to exchange experiences regarding collaborative user interface design techniques that...
      by Pedro Campos, Frederica Gonçalves, Michael Martins, Miguel Campos, Paulo Freitas   We present “Second Look”, a platform of interactive...
by Vítor Belim, Olga Lyra, Pedro Teixeira, Ana Caraban, Maria José Ferreira, Rúben Gouveia, Andrés Lucero and Evangelos Karapanos. by  Rúben...