s for talks on Workshop Wednesday, August 13 9:00 – 9:45 Kashayar Pakdaman, ISC PIF Paris 9:45 – 10:30 Carlos Braumann, Department of Mathematics and CIMA (Centro de Investigação em Matemática e Aplicações), Universidade de Évora, Portugal Stochastic differential equation models for population and individual growth and for harvesting in randomly varying environments The growth of a population l...

s to follow (if desired) in alphabetical order by last name of speaker. Name of 2013 5-day Workshop Date of 2013 5-day Workshop

Objectives Developing provably correct software based on formal speciications is becoming an increasingly important task. Since imperative programming is the predominant paradigm in the real world, this course will focus on the veriication of such programs and program modules. In this course, software veriication is understood as the task to prove that a program matches its description given in...

Model-based intersection optimization strategies have been widely investigated for distributed traffic signal control in road networks. Due to the form of ‘‘black-box’’ optimization that is typically assumed, a basic challenge faced by these strategies is the combinatorial nature of the problem that must be solved. The underlying state space is exponential in the number of time steps in the loo...

These computational models are at the core of collisional plasma theories. In particular we will discuss several aspects of conservative solvers for the kinetic transport equations of particle interactions that involve either linear or non-linear Boltzmann as well as the non-linear Landau equations, by means of stagger conservative DG schemes for the transport part and DG or spectral solvers fo...