Meta tags:

Headings (most frequently used words):

2008, september, the, for, monday, in, computer, science, tcs, process, algebra, diary, thursday, 25, 15, wednesday, 10, tuesday, 09, 01, pages, blog, archive, about, me, vardi, receives, blaise, pascal, medal, concurrency, column, october, issue, of, beatcs, take, two, invited, speakers, first, day, bereavement, italian, theoretical,

Text of the page (most frequently used words):
the (92), and (41), for (26), september (24), that (21), june (19), april (19), may (18), november (18), tcs (18), 2008 (18), this (18), august (17), #october (17), january (17), march (17), july (16), december (16), february (16), share (15), his (15), computer (14), was (14), science (11), invited (11), has (11), luca (10), some (10), one (10), talk (10), with (8), language (8), not (7), conference (7), can (7), aceto (6), comments (6), posted (6), will (6), here (6), javier (6), logic (6), italian (5), pinterest (5), facebook (5), blogthis (5), email (5), presentation (5), least (5), also (5), they (5), theory (5), languages (5), many (5), talks (5), like (5), very (5), from (5), been (5), equations (5), interesting (5), process (5), speakers (4), first (4), take (4), concurrency (4), column (4), who (4), based (4), results (4), number (4), which (4), there (4), how (4), you (4), polynomial (4), notion (4), odes (4), two (3), issue (3), vardi (3), blaise (3), pascal (3), medal (3), home (3), posts (3), university (3), stefano (3), research (3), areas (3), work (3), after (3), theorem (3), had (3), their (3), paper (3), automata (3), milan (3), over (3), ifip (3), euros (3), just (3), are (3), delivered (3), entitled (3), have (3), but (3), rozenberg (3), technical (3), more (3), students (3), slides (3), monotonic (3), would (3), point (3), problem (3), restivo (3), recognizable (3), used (3), moshe (3), algebra (3), bereavement (2), theoretical (2), day (2), receives (2), told (2), classic (2), contributions (2), readers (2), varricchio (2), him (2), few (2), years (2), ago (2), during (2), aquila (2), time (2), out (2), presented (2), word (2), length (2), followed (2), ungaretti (2), gcd (2), fine (2), wilf (2), formal (2), monday (2), wcc (2), volume (2), features (2), three (2), such (2), part (2), event (2), attend (2), different (2), members (2), non (2), coffee (2), small (2), despite (2), models (2), classical (2), use (2), read (2), subject (2), natural (2), computing (2), vis (2), really (2), papers (2), see (2), excellent (2), problems (2), story (2), solution (2), particular (2), mspe (2), rational (2), might (2), using (2), try (2), european (2), soon (2), world (2), prime (2), community (2), basic (2), described (2), picture (2), right (2), pictures (2), cardelli (2), several (2), way (2), terms (2), article (2), feel (2), outstanding (2), diary (2), awesome, inc, theme, powered, blogger, view, complete, profile, about, 2006, 109, 2007, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2020, 2021, 2022, 2023, 2024, 2025, 2026, blog, archive, pages, subscribe, atom, older, newer, night, between, prematurely, lost, rome, tor, vergata, while, holiday, family, qualified, offer, assessment, hope, aforementioned, topics, post, met, once, visit, where, full, professor, recall, kindly, pointed, relevance, periods, then, period, relative, mine, wife, compilers, course, best, teachers, studies, quote, poem, sta, come, autunno, sugli, alberi, foglie, bosco, courton, luglio, 1918, soldati, giuseppe, 1965, famous, combinatorics, words, annual, organized, conjunction, aims, covering, both, year, seven, minute, days, imho, exceptional, short, being, events, professionals, makes, expensive, atmosphere, somewhat, typical, folks, tend, early, registration, fee, member, 525, late, 680, 800, does, include, lunches, breaks, get, surprisingly, attendance, departments, surrounding, preciously, locals, taking, guess, definite, lesson, learnt, limit, myself, discussing, kicked, off, discussed, computation, inspired, nature, differ, computational, found, line, views, honorary, degree, received, bologna, well, mean, written, topic, truly, remarkable, our, icalp, already, sang, praises, reykjavík, wish, deliver, lack, ten, minutes, because, example, good, telling, skills, easily, overcome, technological, failures, beginning, all, speaker, teacher, ancient, tellers, minstrels, gurus, reported, obtained, expect, completely, settled, mathematicians, long, instead, source, recent, developments, literature, key, obtain, strong, methods, solving, fixed, restricts, oneself, let, browse, through, since, nothing, could, write, justice, exciting, achieved, slide, list, open, consider, given, coefficients, decide, whether, component, system, most, above, pspace, unlikely, solvable, arithmetic, operations, according, proof, fact, sensational, result, sharpen, pencils, solve, again, pleased, room, listen, yet, another, inspiring, rapidly, becoming, favourite, conferences, report, other, heard, decision, esparza, acceptance, speech, grzegorz, congress, tc1, tuesday, attending, session, before, lunch, central, station, catch, train, back, town, today, were, scientists, last, movers, researchers, working, addressed, following, question, approach, developed, workers, notions, locality, projection, turns, coincide, class, definable, existential, monadic, second, order, leads, believe, offers, surprises, expert, instance, consisting, square, alphabet, contain, equal, whose, sides, needs, introduction, algebraic, describe, ordinary, differential, meets, bio, chemistry, showe, applications, investigate, discrete, continuous, modelling, dichotomy, usual, sure, appear, great, simple, calculus, stochastic, version, milner, ccs, specify, compositional, people, explain, why, form, showed, compilation, into, produces, exactly, known, examples, yesterday, gave, beautifully, algorithmic, game, greatest, hits, future, directions, tim, roughgarden, predator, prey, web, page, what, extending, recognizability, antonio, pescara, wednesday, instalment, bulletin, eatcs, contributed, strongly, recommend, only, standard, readership, those, normally, focus, programming, amongst, others, publishing, killing, birds, stone, enjoy, dale, miller, formalizing, operational, semantic, specifications, beatcs, learned, recipient, news, whole, motivation, prize, reads, contributes, development, activities, corner, sitting, advisory, board, congrats, somehow, even, prestigious, awards, store, ice, recognition, connected, underlying, methodology, fundamental, lasting, impact, automatic, verification, knowledge, database, finite, model, academy, sciences, thursday, find, mostly, solely, fun, stuff, mathematics, large, general, issues, related, teaching, academic, life,

Text of the page (random words):
process algebra diary september 2008 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 thursday september 25 2008 vardi receives the blaise pascal medal in computer science for 2008 i just learned that moshe vardi is the recipient of the blaise pascal medal in computer science for 2008 of the european academy of sciences this is outstanding news for tcs as a whole and for the logic in computer science community in particular the motivation for the prize reads in recognition of his outstanding contributions in several areas of computer science connected by their use of logic as an underlying methodology his work has had fundamental and lasting impact on automatic verification logic of knowledge database theory and finite model theory moshe also contributes to the development of activities in tcs in my small corner of the world by sitting on the advisory board of ice tcs congrats to moshe somehow i feel that there will be more and even more prestigious awards in store for him posted by luca aceto at 9 29 am no comments email this blogthis share to x share to facebook share to pinterest monday september 15 2008 concurrency column for the october issue of the beatcs i just posted the instalment of the concurrency column for the october issue of the bulletin of the eatcs the article entitled formalizing operational semantic specifications in logic has been contributed by dale miller i strongly recommend this article not only to the standard readership of the concurrency column but also to those readers who normally focus on logic in computer science and on programming languages amongst others by publishing it i feel like i am killing at least three birds with a stone enjoy posted by luca aceto at 2 14 pm 9 comments email this blogthis share to x share to facebook share to pinterest wednesday september 10 2008 tcs 2008 take two i am attending the session before lunch of tcs 2008 after which i will go to milan central station to catch a train back to pescara my home town today s invited talks were delivered by two italian computer scientists antonio restivo and luca cardelli over the last 35 years or so restivo has been one of the prime movers in the italian community of researchers working on automata and formal language theory in his talk he addressed the following basic question what is the right way of extending the notion of recognizability from word languages to picture languages he described the approach he has developed with his co workers which is based on the notions of locality and projection this notion turns out to coincide with the class of picture languages that are definable using existential monadic second order logic this leads restivo to believe that it is the right notion of recognizable 2d language the notion of recognizable 2d language offers some surprises at least for a non expert like me for instance the language consisting of the square pictures over alphabet a b that contain an equal number of a s and b s is recognizable and so is the language of pictures of a s whose sides have prime length luca cardelli needs no introduction in his talk which was based on this paper luca presented a basic process algebraic language that can be used to describe the ordinary differential equations that one meets in bio chemistry he showe several interesting applications of this language and how it can be used to investigate the discrete vs continuous modelling dichotomy the talk was excellent as usual and i am sure that the slides will appear very soon on this web page it was great to see that a simple process calculus based on a stochastic version of milner s ccs can be used to specify odes in a compositional way for tcs people like us the automata described by terms in the language explain the odes and why they take they form they take luca also showed us that his compilation of terms into odes produces exactly the known odes for some classic examples such as the predator prey one yesterday tim roughgarden gave a very interesting and beautifully delivered invited talk entitled algorithmic game theory some greatest hits and future directions you can read the paper here posted by luca aceto at 10 52 am no comments email this blogthis share to x share to facebook share to pinterest tuesday september 09 2008 tcs 2008 invited speakers for the first day i am in milan for tcs 2008 the bi annual conference organized by ifip tc1 in conjunction with the world computer congress wcc tcs 2008 aims at covering both volume a and volume b tcs and this year features as many as seven 45 minute invited talks over three days imho this is an exceptional number of invited talks for such a short conference being part of an event like the wcc which features many events for it professionals makes tcs a very expensive tcs conference to attend and the atmosphere is somewhat different from that of the typical conference tcs folks tend to attend the early registration fee for an ifip member was 525 euros the late one is 680 euros for ifip members and 800 euros for non members it does not include lunches and at the coffee breaks we get just coffee not surprisingly attendance at the conference is small and despite the number of cs departments in milan and surrounding areas there are preciously few locals taking part in the event i guess that there is a definite lesson to be learnt here here i will limit myself to discussing some of the invited talks at the conference tcs 2008 was kicked off by a presentation delivered by grzegorz rozenberg entitled natural computing in his talk he discussed models of computation inspired by nature and how they differ from classical computational models we use in computer science i have not found his presentation on line but you can read rozenberg s views on the subject of natural computing vis a vis classical computer science in his acceptance speech for a honorary degree he received from the university of bologna as well as in the many and i really mean many technical papers he has written on the topic rozenberg s invited talk was followed by a truly remarkable presentation by javier esparza javier was one of our invited speakers at icalp 2008 and i already sang the praises for his presentation in reykjavík i really wish that more students had been there to see how to deliver an excellent talk despite a lack of slides for the first ten minutes or so because of technical problems this was an example of how very good story telling skills can easily overcome technological failures at least at the beginning of a technical talk after all a conference speaker or a teacher are not so different from ancient story tellers minstrels or gurus javier s talk reported on results that he has obtained with his students on the solution of monotonic polynomial equations a subject that one would expect to have been completely settled by mathematicians a long time ago and that instead has been the source of interesting recent developments in the computer science literature the key point here is that one can obtain very strong results on methods for solving polynomial fixed point equations if one restricts oneself to monotonic equations i let you browse through javier s slides since nothing i could write here would do justice to the many exciting results he has achieved with his students the slide also list some interesting open problems in particular consider the problem mspe decision given an mspe x f x with rational coefficients and k rational decide whether the first component of the least solution of that system of monotonic polynomial equations is at most k the above problem is in pspace and unlikely to be in p it might be solvable using a polynomial number of arithmetic operations according to javier a proof of this fact would be a sensational result some of you might like to sharpen their pencils and try to solve this problem i was again pleased to be in the room to listen to yet another inspiring talk by javier who is rapidly becoming one of the favourite invited speakers at european tcs conferences i will try to report on the other invited talks i heard at some point soon posted by luca aceto at 8 33 pm no comments email this blogthis share to x share to facebook share to pinterest monday september 01 2008 bereavement in italian theoretical computer science on the night between august 19 and august 20 italian tcs prematurely lost stefano varricchio university of rome tor vergata while he was on holiday with his family he was 48 or so i am told stefano s research was in the classic areas combinatorics on words automata theory and formal languages i am not qualified to offer an assessment of his research contributions and i hope that some of my readers who work on the aforementioned topics will post comments on varricchio s work i met him once a few years ago during a visit to the university of l aquila where he was a full professor at the time i recall that after my presentation based on this paper he kindly pointed out the relevance of a famous theorem by fine and wilf for some of the results i presented here is the theorem theorem fine and wilf 1965 if a word x has periods p and q and has length at least p q gcd p q then x has also a period gcd p q a relative of mine and his wife who followed stefano s compilers course in l aquila told me that he was one of the best teachers they had during their studies to quote a poem by giuseppe ungaretti si sta come d autunno sugli alberi le foglie g ungaretti soldati bosco di courton luglio 1918 posted by luca aceto at 7 19 am 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 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 vardi receives the blaise pascal medal in computer concurrency column for the october issue of the be tcs 2008 take two tcs 2008 invited speakers for the first day bereavement in italian theoretical computer science 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