Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
2016:program:gerard_berry [2016/06/30 12:57] berislav |
2016:program:gerard_berry [2016/07/24 22:29] (current) berislav [The Informatics of Time and Events] |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | [{{ https://upload.wikimedia.org/wikipedia/commons/thumb/3/3f/Gerard_Berry_lecon_inaugurale_20091119.jpg/220px-Gerard_Berry_lecon_inaugurale_20091119.jpg?200|Gérard Berry}}] | + | |
| ====== The Informatics of Time and Events ====== | ====== The Informatics of Time and Events ====== | ||
| - | <blockquote> | + | |
| **Gérard Berry** | **Gérard Berry** | ||
| + | \\ //Collège de France//, Paris | ||
| + | <blockquote> | ||
| + | [{{ gerard_berry.png?200nolink|Gérard Berry}}] | ||
| Time has always been a mystery, both in current life and in Physics. It took a very long time to build accurate clocks telling what time it is and making it possible to precisely measure durations, a problem that has been only recently solved by Physics thanks to atomic clocks. This is reflected in our everyday language, which is largely unable to talk precisely about time. The same holds for classical computer programming languages that basically ignore time and keep the handling of external events outside their instruction core. However, correctly handling time- and event-related issues has become crucial in many domains: electronics circuits driven by multiple clocks, network-based distributed systems, cyber-physical systems that embed computers to control physical objects, time-aware data bases, computer music, etc. The talk discusses the recent ways to deal with time and events using specific formalisms and programming languages. We demonstrate that the standard real-number based "time arrow" is too limited and discuss much more elaborate models that generalize the basic notion of time to the repetition of arbitrary and possibly irregular events, deal with actions that look timeless and atomic at one level of observation but timeful at a lower abstraction level, etc. We present the programming formalisms and languages that implement this richer view, and discuss applications in fields as diverse as electronic circuits design, critical software in avionics, and computer music.</blockquote> | Time has always been a mystery, both in current life and in Physics. It took a very long time to build accurate clocks telling what time it is and making it possible to precisely measure durations, a problem that has been only recently solved by Physics thanks to atomic clocks. This is reflected in our everyday language, which is largely unable to talk precisely about time. The same holds for classical computer programming languages that basically ignore time and keep the handling of external events outside their instruction core. However, correctly handling time- and event-related issues has become crucial in many domains: electronics circuits driven by multiple clocks, network-based distributed systems, cyber-physical systems that embed computers to control physical objects, time-aware data bases, computer music, etc. The talk discusses the recent ways to deal with time and events using specific formalisms and programming languages. We demonstrate that the standard real-number based "time arrow" is too limited and discuss much more elaborate models that generalize the basic notion of time to the repetition of arbitrary and possibly irregular events, deal with actions that look timeless and atomic at one level of observation but timeful at a lower abstraction level, etc. We present the programming formalisms and languages that implement this richer view, and discuss applications in fields as diverse as electronic circuits design, critical software in avionics, and computer music.</blockquote> | ||
| + | <WRAP center round download > | ||
| + | {{:2016:program:2015-10-15-berry-split-time-final.pdf|"The Informatics of Time and Events" --- presentation }} | ||
| + | </WRAP> | ||