Roderick Bloem

850 posts

Roderick Bloem

Roderick Bloem

@RoderickBloem

Graz, Austria Entrou em Temmuz 2017
151 Seguindo331 Seguidores
Roderick Bloem
Roderick Bloem@RoderickBloem·
@JAldrichPL @lorisdanto I would agree. Responsibility of the conference org. You would do many others a favor, getting the organizers to understand that. Women especially
English
0
0
2
46
Jonathan Aldrich
Jonathan Aldrich@JAldrichPL·
@lorisdanto Ask the conference to pay. Decline if they say no. Conference organizers: you should say "yes" to requests like this. Not doing so means you're not doing your duty to foster inclusion in the field.
English
4
2
35
2.4K
Loris D'Antoni
Loris D'Antoni@lorisdanto·
You are invited to give a keynote at a conference but you have to (due to circumstances) bring your kid with you and will cost you around 1200$ in personal money to pay for childcare. What do you do? Asking for a friend
English
21
4
10
13.9K
Roderick Bloem
Roderick Bloem@RoderickBloem·
Marijn Heule on machine assisted proofs @lpar
Roderick Bloem tweet media
Nederlands
0
0
2
213
Roderick Bloem retweetou
Computer Science & Biomedical Engineering @TUGraz
Computer Science & Biomedical Engineering @TUGraz@tugraz_csbme·
Just a quick reminder to join the CS-Talk #11 with Kimberly Tam next Thursday (28th of March) at the Aula. She will give an interesting talk about "Why maritime cyber-security?". Don't miss it!
Computer Science & Biomedical Engineering @TUGraz@tugraz_csbme

CS-Talk #11: Kimberly Tam "Why maritime cyber-security?" Come and join our CS-Talk #11 on the 28th of March at 5 pm in the Aula. tugraz.at/fakultaeten/cs… #tugraz #csbme #cstalk #cybersecurity

English
0
2
3
751
Roderick Bloem retweetou
The Cultural Tutor
The Cultural Tutor@culturaltutor·
The Last Supper by Leonardo da Vinci is not in a frame. It's painted on the wall of a dining room for monks in Milan. And right above it Leonardo painted the coat of arms of the man who paid him to do it...
The Cultural Tutor tweet media
English
224
4.1K
37.5K
6.7M
Somesh Jha
Somesh Jha@jhasomesh·
@RoderickBloem The history goes as follows: Emerson-Lei had a paper where the complexity of computing a mu-calculus formula was O(n^d) (n: size of the domain d:alternation depth). Ours brought it down to O(n^{d/2}). They all use some sort of caching.
English
2
0
1
86
Somesh Jha
Somesh Jha@jhasomesh·
How you forget! This was one of my first papers on efficiently computing mu-calculus formula. This was the first paper to break the "alternating depth" barrier. Got a pointed question about the main proof from someone. Took me few hours to page in the proof that I had done.
English
2
1
11
2.8K

Descobrir

@JAldrichPL @lorisdanto @JoeyPrink @tugraz_csbme @KITKarlsruhe @tva_sns @EelcoVisser @richpaige