Creating and sharing knowledge for telecommunications

The mosaic method for combinations of tense and modalities


on 09-12-2011

... Marco Volpe (SQIG - IT).

December 9, 2011, Friday, 16h15m.

Abstract: In this talk, I will present an extension of the mosaic method to the case of logics arising from the combination of linear tense operators with an "orthogonal" S5-like modality. The technique will be applied to obtain a proof of decidability, a proof of completeness for the corresponding Hilbert-style axiomatization and to develop a mosaic-based tableau system. (From a joint work with Carlos Caleiro and Luca Viganò.)

Room: 3.10, Mathematics

Support: SQIG/Instituto de Telecomunicações with support from FCT and FEDER namely by the FCT project PEst-OE/EEI/LA0008/2011. More Information..

The 4th Annual Conference on Art and Science of Videogames, Videojogos 2011


on 02-12-2011

... The 4th Annual Conference on Art and Science of Videogames, Videojogos 2011, is right around the corner, and it is all about fun and games!

It will be 3 days, from December 2nd to December 4th, to make games, talk about games, exchange ideas with veterans of the game industry, research on new and innovative ways of putting fun in games, and have a good time playing games, at the Faculdade de Ciência da Universidade do Porto.

We'll start our engine with two workshops that include videogame development competitions: one for the Unreal Development Kit and another for XBox Kinect. But wait, there's a valuable prize for those who win the final round:


Microsoft will sponsor the XBox Game Development Competiton and the prize will be a XBox Kinect.
Playstation and Seed Studiosn will sponsor the UDK Game Development competition and theprize will be a Playstation 3 and the game Under Siege.

And if you are more a D&D person, you will be able to assist a Game Design Competition, and learn how to turn your ideas into simple rules to create a game. No fun on putting things into paper? Create the best idea and you'll win a pack mule of game design books.

If you have time, you will also be able to travel through time and space in a virtual reality experiment and even create your own digital puppet, which will obey all your commands...

But the best prize of the conference is available to all. Be a VideoJogos 2011 guild member, and you will get a upgrade on your XP by sharing the knowledge and experience of the game industry veterans, that will come to talk about their views and present exciting talks, which will, most certainly, be mind blowing.


They have travelled from far lands, with their backpacks of wisdom, and magic, which will make VideoJogos a unique and enlightenment experience More Information..