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.
| Docentföreläsning i ämnet datavetenskap med inriktning mot datorkommunikation Today | Christian Rohner: Sökning i distribuerade mobila nätverk Location: ITC 2446, Time: 13:15 Sökfunktioner är idag det vanligaste sättet att hitta information på nätet och på den egna datorn. En viktig egenskap hos sökningsalgoritmer är att hitta den mest relevanta informationen i mängden av alla möjliga träffar. Opportunistiska nätverk är ett paradigm i trådlös mobil kommunikation där noder byter ut information när de är nära varandra. Nätverket är därför dynamiskt och sannolikt segmenterat. Sökning och spridning av information inom nätverket kan därmed inte använda sig av en global syn på nätverket utan ska förlita sig på nodernas lokala syn för att ta beslut vilken information som ska bytas ut när två noder möts. Denna föreläsning diskuterar användning av sökning som central princip för att effektivt hitta relevant information inom ett opportunistiskt nätverk. Docenturnämndens representant: Professor Ingela Nyström Föreläsningen hålls på svenska. |
| TDB seminar Today | Michael Patriksson, Department of Mathematical Sciences, Chalmers University of Technology and Gothenburg University: Mathematical optimization at Chalmers Location: ITC 2244, Time: 13:15 Michael is professor in applied mathematics and will speak about optimization on the west coast in general and about two current projects. |
| (TAS)@UpMarc Tomorrow (23 May) | 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 Tomorrow (23 May) | , 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 Tomorrow (23 May) | 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 Friday 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
|
| 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.