Monthly Archives: April 2013

Software-Defined Networking — Evolution or revolution?

Posted on April 30, 2013 by Smalltalk organizer 01

When: Tuesday, 2013-Apr-30, 11h30-12h00 Where: FCUL-DI, room C6.3.38 Presenter: Diego Kreutz Abstract: Software-Defined Networking (SDN) looks to be the new norm in wireline and wireless networks. We are moving from static and proprietary communication infrastructures to open, dynamic and programmable … Continue reading →

Posted in Smalltalk | Comments Off

Videogames & Persuasion: Effectiveness, Power and Decay

Posted on April 23, 2013 by Smalltalk organizer 01

When: Tuesday, 2013-Apr-23, 11h30-12h00 Where: FCUL-DI, room C6.3.38 Presenter: Luís Duarte Abstract: Videogames and persuasive technology are two intimately connected topics. Engaging players with compelling storylines, presenting inspiring musical scores or photo-realistic graphics and providing the player with an endless … Continue reading →

Posted in Smalltalk | Comments Off

Verifying Object Invariants with Dependent Types

Posted on April 3, 2013 by Smalltalk organizer 01

When: Wednesday, 2013-Apr-03, 11h30-12h00 Where: FCUL-DI, room C6.3.38 Presenter: Joana Campos Abstract: In this smalltalk, I will present a simple dependently typed object-oriented language. Dependent types are types defined in terms of values that challenge the conventional distinction between the … Continue reading →

Posted in Smalltalk | Comments Off