Bonn-Aachen International Center for Information Technology


News	Application for Master Programs	B-IT Universities Institute
About B-IT	B-IT Research School	B-IT Applied Science Institute

Research School Events

This page will highlight seminars, workshops and lectures held within B-IT Research School that are open to all students of this Research School. All events are aimed at

exposing our PhD students to a cross-disciplinary learning and research environment
fostering the exchange of different ideas from neighboring research areas
creating a highly stimulating research environment

B-IT Lecture Series in Life Science Informatics 2010

Professor Dr. Peter Sloot, Computational Sciences, University of Amsterdam, The Netherlands

"Modeling HIV from Molecule to Man"

Venue: B-IT lecture hall, Dahlmannstraße 2, 53113 Bonn

Time: 17:00 hours

More information about the lecturer.

In brief: Professor Sloot earned a Bachelor's Degree in Chemistry, a Master's Degree in Physics and a PhD in Computer Science. With his personal scientific background, he will give an interdisciplinary talk on the topic. This talk particularly addresses PhD students from all areas of B-IT Research School.

Workshop with Dr. Etienne Lozes, ENS Cachan

A compact course by Dr. Etienne Lozes, ENS Cachan will be held in May/June on "Separation Logic, Heap-Manipulating Programs, and Concurrency".

Lecture dates

17.05., 16:00 - 17:30: Lecture 1 - Foundations

25.05., 15:00 - 16:30: Lecture 2 - Decision procedures

07.06., 16:00 - 17:30: Lecture 3 - Race-free concurrency

17.06., 15:00 - 16:30: Lecture 4 - Racy concurrency

The course will take place in Seminar Room I11 (ground floor, R 2002, Informatik Zentrum, Ahornstr. 55, Aachen) and is open to students of the Research Training Groups "AlgoSyn" and of the B-IT Research School. Other participants are welcome as well.

Hoare-Floyd logic is a well-known proof system for programs based on so-called Hoare triples of the form {A} p {B}, meaning "if program p can assume A as it starts, it ensures B as it stops". Separation Logic is an extension of Hoare-Floyd logic for reasoning about programs.

The main ingredient of separation logic is a second-order connective called separating conjunction: A*B asserts that the state is composed of two disjoint parts, one satisfying A, the other satisfying B.

This connective yields a new reading of a Hoare triple {A} p {B}: "if p can consume A as it starts, then it has enough resources to run safely, and it produces B as it stops". Less than ten years after its theoretical foundation, Separation Logic starts to prove, through impressive automatic tools, to be a successful approach for checking large low-level C code (Apache, Linux,...), and to nicely handle lots of small but intricate concurrent algorithms (e.g. lock-free concurrent data structures).

The logical foundations, expressiveness issues, and decision procedures, have been much clarified since 2000. However, for all of these aspects and others, Separation Logic is still a very active field of research. This lecture aims at giving a complete overview of the main ideas and results that were developed during these first ten years, ranging from logical-theoretic aspects to programs' design principles, and possibly to present some open issues.

Read more...

B-IT Lecture Series in Life Science Informatics 2010

B-IT Lecture Series in Life Science Informatics is aimed at giving an overview of current and future trends in this research area.

Lecturers from academia and industry are invited to present their research area of interest and discuss it with the students.

B-IT Research School students will additionally be given the opportunity to discuss their PhD projects with each lecturer before their respective talks.

More information about the talks, including a comprehensive list of talks and their dates and times.

Workshop in Audiosignal and Speech Processing - Workshop Audiosignal- und Sprachverarbeitung

B-IT offers a one Day Workshop in Audiosignal and Speech Processing on February 17, 2010. Please note that this Workshop will be held in German.

More information on this workshop (in German) (.pdf)

Persons to contact (in German)(.pdf)

Date: February 17, 2010

Time: 09:00 - 17:30 hours

Venue: Lecture Hall (Hörsaal), B-IT Building, Dahlmannstraße 2, 53113 Bonn

Workshop on "Computational Life Sciences"

B-IT Research School organises the Workshop "Computational Life Sciences". The workshop will be held on January 25, 2010 at B-IT building. Lecturers of this workshop will come from the following Institutions:

Chinese Academy of Science-Max-Planck Partner Institute for Computational Biology, Shanghai
University of Bochum
RWTH Aachen University
University of Bonn
Fraunhofer Institute FIT
Franhofer Institute SCAI

More Information :

Programme of the Workshop (.pdf)

Date: January 25, 2010

Time: 11:00 - 17:00 hours

Venue: Rheinsaal, B-IT Building, Dahlmannstraße 2, 53113 Bonn

Registration for PhD Students: please register through e-mail to alexandra.reitelmann (at) bit.uni-bonn.de

Registration deadline: January 21, 2010

Seminar with Marc Smith, Chief Social Scientist for the Connected Action Consulting Group

7/8 December 2009

On December 7 and 8, 2009, the very renowned community technology and HCI researcher Marc Smith will visit RWTH Aachen University and the B-IT Research School. We cordially invite you to join Marc's research seminars on (tentative)

Social media network analysis,

NodeXL - A hands-on guide, and

Mobile social software and sociological sensors. The event will take place at the Chair of Information Systems at RWTH Aachen University.

Read more about

Marc Smith' CV

The tentative schedule

Seminar with Professor Baudisch, Hasso-Plattner-Institute, Potsdam

17-18 December 2009

Professor Dr. Patrick Baudisch from Hasso-Plattner Institute in Potsdam will give a two days seminar at the Chair of Media Informatics at RWTH Aachen December 17-18, 2009.

Professor Baudisch has worked for several years at Microsoft Research at Seattle. Recently, he has been appointed Professor at Hasso-Platten Institute in Potsdam. Professor Baudisch published extensively in CHI, ACM UIST and elsewhere and is therefore well known and highly acknowledged in the HCI community. The seminar primarily addresses stipendiates and collegiates of B-IT Research School. Other participants are welcome, if places are available.Professor Dr. Patrick Baudisch from Hasso-Plattner Institute in Potsdam (http://www.hpi.uni-potsdam.de/) will give a two days seminar at the Chair of Media Informatics at RWTH Aachen December 17-18, 2009, Computer Science Center, Ahornstr. 55, room 2010.

Read more...

Bill Verplank Seminar on Sketching User Interfaces

Bill Verplank, designer of the Xerox Star user interface and lecturer at Stanford University, will visit the Media Computing Group for a B-IT Research Seminar on Sketching User Interfaces from September 28 - October 2, 2009. The seminar will be held in English, room 2010 in 52074 Aachen, Ahornstraße 55, 3rd floor.

Mo - Fri: 10.00 - 11.30 a.m.

Additional classes and one-on-one signup times to meet the lecturer, Mo - Fri: 2.00 - 3.30 p.m.

Read more...

B-IT Lecture Series in Life Science Informatics 2009

16/07/2009

Dr. Edgar Jacoby Novartis Institutes for BioMedical Research, Novartis, Bale, Switzerland

In Silico Contributions to the Design of a Comprehensive Drug Discovery Screening Collection

More information about the lecturer and his work can be found here.

B-IT Research School students will additionally have the opportunity to discuss their PhD projects with the lecturer before his talk.

More information about B-IT Lecture Series in Life Science Informatics

B-IT Research School Seminar 2009

14/07/2009 and 15/07/2009

Professor Dr. Jim Hollan Co-director the Distributed Cognition and Human- Computer Interaction (HCI) Laboratory at the University of California, San Diego (UCSD), United States of America

The Cognitive Consequences of Technology and the Technological Consequences of Cognition

The seminar will be set up as a mix of lecture, group discussion, practical workshops and some time slots for individual meetings.

Read more...

B-IT Lecture Series in Life Science Informatics 2009

09/07/2009

Dr. Luca Toldo Knowledge & Informatics Management, Operational Excellence Research, Merck KGaA, Darmstadt, Germany

Knowledge Management in Pharmaceutical Industry: from the flop to the blog

More information about the lecturer and his work can be found here.

B-IT Research School students will additionally have the opportunity to discuss their PhD projects with the lecturer before his talk.

More information about B-IT Lecture Series in Life Science Informatics

B-IT Lecture Series in Life Science Informatics 2009

25/06/2009

Dr. David de Graaf Boehringer Ingelheim GmbH, Ingelheim, Germany

Integrative Biology aids in decision making in the pharmaceutical industry

More information about the lecturer and his work can be found here.

B-IT Research School students will additionally have the opportunity to discuss their PhD projects with the lecturer before his talk.

More information about B-IT Lecture Series in Life Science Informatics

B-IT Lecture Series in Life Science Informatics 2009

18/06/2009

Professor Dr. Hugo Kubinyi Professor of Pharmaceutical Chemistry at University of Heidelberg and Scientific Advisor for BioSolveIT GmbH, Germany

Chemical Similarity and Biological Activities

More information about the lecturer and his work can be found here.

B-IT Research School students will additionally have the opportunity to discuss their PhD projects with the lecturer before his talk.

More information about B-IT Lecture Series in Life Science Informatics

B-IT Lecture Series in Life Science Informatics 2009

04/06/2009

Dr. Michael Engels Grünenthal GmbH, Aachen, Germany

Aspects of Discovery Informatics

More information about the lecturer and his work can be found here.

B-IT Research School students will additionally have the opportunity to discuss their PhD projects with the lecturer before his talk.

More information about B-IT Lecture Series in Life Science Informatics

B-IT Lecture Series in Life Science Informatics 2009

28/05/2009

Dr. Peter Ertl Novartis Institutes for BioMedical Research, Novartis, Bale, Switzerland

The Role of Chemiformatics in the Modern Drug Discovery Process

More information about the lecturer and his work can be found here.

B-IT Research School students will additionally have the opportunity to discuss their PhD projects with the lecturer before his talk.

More information about B-IT Lecture Series in Life Science Informatics

Tutorial

08/05/2009

Professor Dr. Ramon Puigjaner Universitat de les Illes Balears

Modeling and Performance Evaluation of Communication networks

Read more...

B-IT Lecture Series in Life Science Informatics 2009

07/05/2009

Professor Dr. Matthias Rarey University of Hamburg, Hamburg, Germany

Computing for Medicinal Chemistry Research: From Virtual Screening to Lead Optimization

More information about the lecturer and his work can be found here.

B-IT Research School students will additionally have the opportunity to discuss their PhD projects with the lecturer before his talk.

More information about B-IT Lecture Series in Life Science Informatics

B-IT Lecture Series in Life Science Informatics 2009

30/04/2009

Professor Dr. Hanno Wild Bayer HealthCare AG, Wuppertal, Germany

Life Science Informatics & Drug Discovery at Bayer Schering Pharma

More information about the lecturer and his work can be found here.

B-IT Research School students will additionally have the opportunity to discuss their PhD projects with the lecturer before his talk.

More information about B-IT Lecture Series in Life Science Informatics

NEWS

Best Student Paper Award for B-IT Research School Student
[more]

B-IT Professor participates with "Silhouettes" at the EXPO 2010 Shanghai
Silhouettes: An Interactive Collaborative Gesture-Based Experience for the EXPO 2010 Shanghai [more]

Symposium in honour of Professor von zur Gathen 60th Birthday - "Professor von zur Gathen: A Modern Computer Algebraist"
International Symposium to celebrate Professor von zur Gathen's 60th Birthday [more]

B-IT Life Science Informatics Lecture Series 2010
[more]

B-IT hosts Informatiktage 2010
Special Courses for Excellent Graduate and Doctoral Students held in B-IT, March 19-20, 2010 [more]