| Tweetovi |
| iFM proslijedio/la je tweet | ||
|
Volker Stolz
@fm_volker
|
6. pro |
|
Corina Pasareanu from CMU & NASA Ames on “Safe Deep Neural Networks” at @iFMconf held at @hvl_no. Final keynote, and another scientific session. ifm2019.hvl.no/keynotes/ pic.twitter.com/LE459yFaxt
|
||
|
||
| iFM proslijedio/la je tweet | ||
|
|
Volker Stolz
@fm_volker
|
5. pro |
|
Jean-Christophe Filliâtre 🇫🇷 giving his keynote on "Deductive Verification of OCaml Libraries" ifm2019.hvl.no/keynotes/ with impressive live coding/proving during @iFMconf here at @hvl_no 🇳🇴 pic.twitter.com/eJLpoMcqlr
|
||
|
|
||
| iFM proslijedio/la je tweet | ||
|
IMDEA Software Institute
@IMDEA_Software
|
5. pro |
|
Our researcher @cesar_sanchez and Jacopo Mauro @NATsdu as co-chairs of the PhD-iFM’19 Symposium about Formal Methods: Algorithms, Tools and Applications, held in Bergen, with Debasmita Lohar, one of the members of the winning paper: “Sound Probabilistic Numerical Error Analysis” pic.twitter.com/TpzvjvZVR4
|
||
|
|
||
| iFM proslijedio/la je tweet | ||
|
Dirk Beyer
@beyer_dirk
|
4. pro |
|
VMCAI 2020 Winter School (colo with POPL, New Orleans) can still accept a few applicants. Please inform your PhD students. popl20.sigplan.org/home/VMCAI-202…
|
||
|
|
||
|
iFM
@iFMconf
|
4. pro |
|
Challenge accepted. twitter.com/fm_volker/stat…
|
||
|
|
||
| iFM proslijedio/la je tweet | ||
|
|
Volker Stolz
@fm_volker
|
4. pro |
|
Part of our local crew: Rabbi, @Alrotex, @AngelaMadness and (Violet). All participants accounted for a @iFMconf! pic.twitter.com/jnQXQ9PkKp
|
||
|
|
||
| iFM proslijedio/la je tweet | ||
|
|
Volker Stolz
@fm_volker
|
4. pro |
|
Impressions from the @iFMconf session on testing. pic.twitter.com/vUAJTOXZX0
|
||
|
|
||
| iFM proslijedio/la je tweet | ||
|
|
Volker Stolz
@fm_volker
|
4. pro |
|
Tiziana Margaria starts with an energizing talk at @iFMconf: "The Digital Thread in Industry 4.0" ifm2019.hvl.no/keynotes/ pic.twitter.com/g1KOdYfCeE
|
||
|
|
||
| iFM proslijedio/la je tweet | ||
|
Einar Broch Johnsen
@ebjohnsen
|
4. pro |
|
The general chair @fm_volker opens @iFMconf with the PC chairs Lizeth Tapia and Wolfgang Ahrendt pic.twitter.com/UIuM508w62
|
||
|
|
||
| iFM proslijedio/la je tweet | ||
|
|
Volker Stolz
@fm_volker
|
2. pro |
|
Magne Haveraaen from @II_UiB giving the FMFun keynote on "Mismatches between Programmer Intuition and Programming Semantics - An Education Related Vurnerability" fmfun.github.io/programme-2019…
|
||
|
|
||
| iFM proslijedio/la je tweet | ||
|
|
Volker Stolz
@fm_volker
|
2. pro |
|
FMAIL, Modern Refactoring & FMFun kicking off the first day of the @iFMconf workshops: ifm2019.hvl.no @hvl_no pic.twitter.com/VhxSPkoWSC
|
||
|
|
||
| iFM proslijedio/la je tweet | ||
|
|
Volker Stolz
@fm_volker
|
29. stu |
|
[✓] badges
[✓] LNCS proceedings
[✓] dinner tickets & swap
@iFMconf is GO! Thanks to the help of Violet and others; I'm out and about because of exams. See you all next week! pic.twitter.com/ribtcVordu
|
||
|
|
||
| iFM proslijedio/la je tweet | ||
|
|
Volker Stolz
@fm_volker
|
20. stu |
|
Can't wait until @iFMconf in two weeks? Take a peek now at the full publications from our webpage ifm2019.hvl.no (News). Springer LNCS is ahead of their game! Authors will be happy to take questions at the conference @hvl_no
|
||
|
|
||
| iFM proslijedio/la je tweet | ||
|
|
Volker Stolz
@fm_volker
|
4. stu |
|
The preliminary program for @iFMconf 2019 is up: easychair.org/smart-program/…
ifm2019.hvl.no
Early registration until Wednesday; lots of interesting satellite events.
|
||
|
|
||
|
|
iFM
@iFMconf
|
11. lis |
|
If you're coming to iFM, take a look at our satellite events Monday & Tuesday! Full program on our webpage: ifm2019.hvl.no twitter.com/SiriusSfi/stat…
|
||
|
|
||
| iFM proslijedio/la je tweet | ||
|
|
Volker Stolz
@fm_volker
|
26. ruj |
|
iFM'19 registration is now open! Early-bird deadline is 6th Nov., and we have bursaries for PhD students. Main conference: Wed-Fri (2 ½ days) + Mon/Tue for satellite events. ifm2019.hvl.no/registration/
|
||
|
|
||
|
|
iFM
@iFMconf
|
18. ruj |
|
The good news is out (and maybe Reviewer #2 has a point). iFM list of accepted papers: ifm2019.hvl.no/accepted/ -- registration and event information coming soon & see you in Bergen, 🇳🇴!
|
||
|
|
||
|
|
iFM
@iFMconf
|
7. srp |
|
Submitted your iFM paper on time? Now encourage your PhD students to submit their abstracts to the PhD symposium! We’re planning favourable rates, good feedback, and perks when registering for the main conference and satellite events. ifm2019.hvl.no/phd-symposium/
|
||
|
|
||
|
|
iFM
@iFMconf
|
25. lip |
|
iFM submission deadline extended by a week! Looking forward to your submissions! ifm2019.hvl.no/cfp/
|
||
|
|
||
| iFM proslijedio/la je tweet | ||
|
|
iFM
@iFMconf
|
29. tra |
|
Mark your calendars: 15th integrated Formal Methods conference,
4.-6. December 2019
Bergen, Norway 🇳🇴ifm2019.hvl.no
|
||
|
|
||