After running this meet-up group for more than 4 months, it's time some for some support from the scientific world.
André van Delft is willing to explain at a practical way how math can help us to reasoning the way we can build our reactive software. He is coming to Amsterdam before he will give the talk in Japan.
About the talk:
R&D on reactive programming is growing and this has delivered many language constructs, libraries and tools. Scala programmers can use threads, timers, actors, futures, promises, observables, the async construct, and others. Still it seems to us that the state of the art is not mature: reactive programming is relatively hard, and confidence in correct operation depends mainly on extensive testing. Better support for reasoning about correctness would be useful to address timing dependent issues.
About the speaker: André van Delft
Short bio: André van Delft is an independent computer science researcher in the Netherlands. He loves math and applies it in programming language extensions.
• 18:30 - 19:00: Doors open and food by Darwin Recruitment
• 19:00 - 19:15: Brief presentation sponsors
• 19:15 - 20:15: Reactive Programming with algebra
• 20:15 - 21:00: Networking & Socializing
Courtesy of Cupenya bv for hosting this event and Darwin for sponsoring the food.