See all upcoming seminars in LäsIT and seminar web pages at the homepage for the PhD studentseminars, TDB, CBA, Theory and Applications Seminars (TAS) @ UpMARC., Department of Mathematics and The Stockholm Logic Seminar.
| (TAS)@UpMarc Today | Frédéric Haziza : An Integrated Specification and Verification Technique for Highly Concurrent Data Structures Location: 1145, Time: 10:30 We present a technique for automatically verifying safety properties of concurrent programs, in particular programs which rely on subtle dependencies of local states of different threads, such as lock-free implementations of stacks and queues in an environment without garbage collection. Our technique addresses the joint challenges of infinite-state specifications, an unbounded number of threads, and an unbounded heap managed by explicit memory allocation. Our technique builds on the automata-theoretic approach to model checking, in which a ...read more » This work received the EASST Best Paper Award at the ETAPS 2013 joint conferences in Rome, Italy. |
| Posterutställning av IT åk 3 Today | , Time: 13:00 Studentprojekten för Självständigt arbete och Uppsatsmetodik på IT-programmets årskurs 3 har posterutställning i korridoren på plan 2 i hus 2. Varmt välkomna! |
| Seminar at Systems and Control Today | Prof. Amit Mitra, Department of Mathematics & Statistics, Indian Institute of Technology Kanpur, India: on Estematin the Parameters of a Non-Linear Chirp Signal Model Location: ITC 2344, Time: 15:15 Language: English
Abstract
All are welcome! |
| Disputation Tomorrow (24 May) | Rebecka Janols: Evolving Systems – Engaged Users: Key Principles for Improving Region-wide Health IT Adoption Location: Auditorium Minus, museum Gustavianum, Time: 13:30 Abstract
|
| Vi2 Seminars Monday 27 May | Anders Hast: Existing but not Explicit - The User Perspective in Scrum Projects in Practice Location: ITC 2115, Time: 14:15 Abstract:
|
| Licentiate seminar at TDB 31 May | Marcus Holm: Scientific Computing on Hybrid Architectures Location: ITC 2446, Time: 14:00 Opponent: Dr. Xing Cai, Senior Research Scientist at Simula Research Laboratory and Professor at the University of Oslo The discussion will be held in English. Abstract: Modern computer architectures, with multicore CPUs and GPUs or other accelerators, make stronger demands than ever on writers of scientific code. Normally, the most efficient program has to be written - using a substantial effort - by expert programmers for a certain application on a particular computer. This thesis deals with several algorithmic and technical approaches towards effectively satisfying the demand for high performance parallel scientific applications on hybrid computer architectures without incurring such a high cost in expert programmer time. Efficient programming is accomplished by writing performance-portable code where performance-critical functionality is provided either by an optimized library or by adaptively selecting which computational tasks that are executed on the CPU and the accelerator. |
| Seminar at Systems and Control 31 May | Ass. Prof. Sharmishtha Mitra, Department of Mathematics & Statistics, Indian Institute of Technology Kanpur, India: Analysis of Life Testing Models under different censoring and stress acceleration schemes Location: ITC 2344, Time: 14:15 Language: English
Abstract
All are welcome! |
| Licentiatseminarium 4 June | Daniel Elfverson: On Discontinuous Galerkin Multiscale Methods Location: ITC 2446, Time: 14:00 |
| Disputation 5 June | Stefan Hellander: Stochastic simulation of reaction-diffusion processes Location: ITC 2446, Time: 10:15 Abstract
|
| Seminar 11 June | Jimmy Ho Man Lee, The Chinese University of Hong Kong: Constraint Programming on Infinite Data Streams and Applications Location: ITC 2446, Time: 11:00 |
| (TAS)@UpMarc 18 June | David Broman : Modelyze: Embedding DSLs for Modeling and Analyzing Cyber-Physical Systems Location: 1112, Time: 10:30 Cyber-physical systems combine computations, networks, and physical processes. Modeling and analysis of such systems are vital engineering techniques to mange complexity and enable rapid prototyping. In particular, complex cyber-physical systems are heterogenous, requiring various model of computations. A key challenge is to provide both expressive modeling capabilities and mechanisms for analyzing these heterogenous systems. This talk explores a solution to this challenge based on domain-specific embedded languages. We introduce a host language, named Modelyze, in which various domain-specific modeling languages may be embedded. The key features of ...read more » |
See also the list of all upcoming seminars.
Internal seminars. Lecturers may be either internal or external.