Meta tags:

Headings (most frequently used words):

2011, may, accepted, papers, for, award, to, process, algebra, diary, monday, 30, thursday, 19, wednesday, 18, friday, 06, tuesday, 03, pages, blog, archive, about, me, concur, hubert, garavel, received, the, gay, lussac, humboldt, research, presburger, patricia, bouyer, decitre, erc, advanced, grant, glynn, winskel, calco, and, tark,

Text of the page (most frequently used words):
the (36), may (24), june (19), april (19), september (18), november (18), january (17), march (17), for (17), and (17), july (16), december (16), february (16), august (15), 2011 (15), share (15), october (14), that (10), hubert (9), this (9), papers (8), award (8), patricia (8), research (8), luca (6), aceto (6), accepted (6), glynn (6), has (6), grant (5), pinterest (5), facebook (5), blogthis (5), email (5), posted (5), here (5), presburger (4), bouyer (4), received (4), comments (4), theory (4), work (4), calco (3), tark (3), advanced (3), winskel (3), decitre (3), garavel (3), gay (3), lussac (3), humboldt (3), concur (3), posts (3), list (3), just (3), awarded (3), had (3), congratulations (3), systems (3), very (3), strength (3), computer (3), holger (3), process (3), algebra (3), about (2), 2007 (2), erc (2), 2016 (2), home (2), also (2), available (2), been (2), from (2), key (2), concurrency (2), over (2), years (2), influence (2), community (2), good (2), see (2), model (2), tcs (2), will (2), time (2), she (2), some (2), her (2), are (2), verification (2), awards (2), now (2), french (2), science (2), who (2), not (2), his (2), development (2), cadp (2), interesting (2), diary (2), awesome, inc, theme, powered, blogger, view, complete, profile, 2006, 109, 2008, 2009, 2010, 2012, 2013, 2014, 2015, 2017, 2018, 2019, 2020, 2021, 2022, 2023, 2024, 2025, 2026, blog, archive, pages, subscribe, atom, older, newer, paper, selected, xiii, tuesday, saw, european, council, period, project, recognized, one, players, last, event, structures, amongst, other, things, lot, within, plays, role, funded, proposal, was, director, centre, enormous, europe, beyond, brics, extended, synopsis, events, causality, symmetry, next, generation, semantics, friday, contributed, important, results, applications, timed, automata, fundamental, real, cnrs, bronze, medal, outstanding, achievements, junior, researcher, happy, went, pleasure, doing, together, with, beginning, career, gone, details, wednesday, comment, these, days, aided, least, judging, bestowed, members, our, yesterday, mentioned, made, aware, fact, recently, thanks, fourth, scientist, field, prize, you, can, read, more, few, readers, might, know, limit, myself, mentioning, pioneer, formal, methods, tools, critical, industrial, perhaps, best, known, being, prime, mover, behind, which, toolbox, design, communication, protocols, distributed, developed, twenty, reflecting, strong, commitment, tool, based, elegant, useful, underlies, host, germany, note, passing, offer, further, albeit, circumstantial, support, popular, hermanns, 2011will, thursday, noticed, usual, there, several, look, hope, have, someone, said, once, fermate, mondo, voglio, scendere, stop, world, want, get, off, monday, find, mostly, but, solely, fun, stuff, mathematics, large, general, issues, related, teaching, academic, life,

Text of the page (random words):
process algebra diary may 2011 process algebra diary papers i find interesting mostly but not solely in process algebra and some fun stuff in mathematics and computer science at large and on general issues related to research teaching and academic life monday may 30 2011 accepted papers for concur 2011 i noticed that the list of accepted papers for concur 2011 is available here as usual there are several interesting papers to look at i just hope to have the time to do so as someone said once fermate il mondo voglio scendere stop the world i want to get off posted by luca aceto at 9 29 am no comments email this blogthis share to x share to facebook share to pinterest thursday may 19 2011 hubert garavel received the gay lussac humboldt research award these are good days for concurrency theory and computer aided verification at least judging by the awards bestowed on members of our community yesterday i mentioned that the presburger award 2011will go to patricia bouyer holger hermanns has now made me aware of the fact that hubert garavel recently received the gay lussac humboldt research award thanks holger hubert is the fourth french scientist in the field of computer science to be awarded this prize you can read more about the award to hubert here for the few readers who might not know his work here i just limit myself to mentioning that hubert is a pioneer in formal methods and verification tools for critical industrial systems he is perhaps best known for being the prime mover behind the development of cadp which is a popular toolbox for the design of communication protocols and distributed systems cadp has been developed now for over twenty years reflecting the very strong commitment to tool development based on elegant and useful theory that underlies hubert s work congratulations to hubert and to holger who will be his host in germany i note in passing that the awards to hubert and patricia offer further albeit circumstantial support on the strength of french tcs research posted by luca aceto at 10 01 am 1 comment email this blogthis share to x share to facebook share to pinterest wednesday may 18 2011 presburger award 2011 to patricia bouyer decitre the presburger award 2011 will go to patricia bouyer decitre see here for the details patricia has contributed important results to the theory and applications of timed automata a fundamental model of real time systems in 2007 she received cnrs bronze medal awarded for outstanding achievements by a junior researcher i am very happy that this award went to patricia i had the pleasure of doing some work together with her at the very beginning of her career and she has gone from strength to strength congratulations to patricia posted by luca aceto at 3 59 pm no comments email this blogthis share to x share to facebook share to pinterest friday may 06 2011 erc advanced grant to glynn winskel i just saw that glynn winskel has been awarded an advanced grant from the european research council for the period 1 05 2011 30 4 2016 the grant is for the project events causality and symmetry the next generation semantics extended synopsis this grant recognized one of the key players in the theory of concurrency over the last 20 years glynn s work on event structures amongst other things has had a lot of influence within my research community and it is good to see that this model plays a key role in the funded proposal glynn was also the director of brics a research centre that had an enormous influence on tcs research in europe and beyond congratulations to glynn posted by luca aceto at 4 11 pm no comments email this blogthis share to x share to facebook share to pinterest tuesday may 03 2011 accepted papers for calco and tark the list of accepted paper for calco 2011 is here the list of selected papers for tark xiii is also available posted by luca aceto at 1 18 pm no comments email this blogthis share to x share to facebook share to pinterest newer posts older posts home subscribe to posts atom pages home blog archive 2026 11 september 1 august 2 may 1 april 2 march 3 january 2 2025 9 june 1 may 1 april 4 march 1 february 2 2024 9 december 1 september 1 may 1 april 1 march 2 february 1 january 2 2023 9 november 1 october 2 july 1 june 1 april 1 march 2 january 1 2022 15 december 2 november 2 september 1 august 2 july 2 june 1 may 2 march 3 2021 20 december 4 november 1 september 1 august 4 june 3 may 1 april 1 february 4 january 1 2020 9 november 1 august 1 june 2 may 1 april 4 2019 25 december 1 november 1 october 2 september 1 july 1 june 3 may 2 april 5 march 3 february 4 january 2 2018 23 december 3 november 1 october 2 september 4 august 2 july 1 june 1 april 3 february 2 january 4 2017 35 december 3 november 1 september 2 august 2 july 2 june 4 may 3 april 4 march 5 february 3 january 6 2016 50 december 4 november 3 october 3 september 4 august 1 july 4 june 4 may 10 april 3 march 3 february 7 january 4 2015 48 december 6 november 3 october 6 september 5 august 1 july 9 june 2 may 2 april 3 march 3 february 4 january 4 2014 47 december 2 november 2 october 5 september 3 august 1 july 8 june 5 may 5 april 4 march 7 february 1 january 4 2013 47 december 2 november 1 october 2 september 8 august 3 july 6 june 4 may 1 april 6 march 5 february 4 january 5 2012 41 december 3 november 3 october 6 september 1 august 1 july 6 june 2 may 1 april 7 march 4 february 5 january 2 2011 42 december 3 november 3 october 2 september 3 august 1 july 1 june 8 may 5 accepted papers for concur 2011 hubert garavel received the gay lussac humboldt re presburger award 2011 to patricia bouyer decitre erc advanced grant to glynn winskel accepted papers for calco and tark april 8 march 2 february 3 january 3 2010 37 december 1 november 1 october 3 september 7 august 2 july 2 june 2 may 7 april 2 march 6 february 1 january 3 2009 33 december 1 november 3 october 5 september 3 july 1 june 5 april 2 march 4 february 6 january 3 2008 72 november 5 october 2 september 5 july 15 june 3 may 7 april 9 march 9 february 6 january 11 2007 109 december 13 november 8 october 11 september 8 august 12 july 5 june 12 may 12 april 4 march 6 february 8 january 10 2006 84 december 14 november 12 october 7 september 11 august 8 july 5 june 15 may 12 about me luca aceto view my complete profile awesome inc theme powered by blogger