2014-07-03 Seminar Sergey on Innopolos: A New Model for Academia and Industry Partnership

Building a partnership between software industry, academic, and research is a dramatic challenge due to the differences in the objectives and goals. The paper describes a recent Russian startup, an ambitious Innopolis project. The new city is to be erected 20 miles away from Kazan' the capital of Tatarstan Republic. The idea is the use the synergy of IT academicians, researchers and practitioners in a single location. The project will yield to a new powerful IT cluster of a university and hi-tech companies. By 2030, the new city is to host around 155,000 inhabitants and provide high-end residential conditions and recreation facilities in an ecology-friendly environment. The new IT university is to train up to 10,000 students, it will acquire the best experience from world-known computer science and software engineering schools including Carnegie Mellon, ETH Zurich, and some others

2014-07-02 Seminar Pohl (University of Duisburg-Essen) on Challenges for Information Systems Engineering and Operation

After a short introduction of IoS and IoT the talk outlines the potential of future information systems which utilize the capabilities of IoS and IoT. He illustrates those potentials using examples from the logistic domain. Utilizing the capabilities of IoS and IoT raises new challenges for engineering and operating future information systems. We briefly discuss those challenges and sketch a potential architecture addressing those challenges which include monitoring, runtime, quality prediction and adaptation

2014-05-23: Podcast Interview with Len Bass
Architect Len Bass and author of Software Architecture in Practice was interviewed for a podcast that was released on Friday 23rd May where he shared some of his stories over his 40+ year career in software

2014-05-19: Seminar Bjørner (TU Denmark) on 40 years of Formal Methods

Dines Bjørner delineates what is meant by method, formal method, computer science, computing science, software engineering, and model-oriented and algebraic methods. Based on that he characterises a spectrum from specification-oriented methods to analysis-oriented methods. Then he provides a survey: which are the prerequisite works that have enabled formal methods and which are, to us, the classical formal methods. A related paper is at http://www.imm.dtu.dk/~dibj/2014/fm40-paper.pdf

2014-05-06: NSW Big Picture Seminar Cutting (Stanford University, California) on The Future of Data
In recent years a wide range of new technologies have disrupted traditional data management. We're now in the middle of a revolution in data processing methods. Choosing allegiances in a revolution is risky. In this talk, Doug will present the underlying causes of the revolution and predict how the data world might look once we're through it.