Meta tags:

Headings (most frequently used words):

2016, july, at, icalp, monday, process, algebra, diary, thursday, 21, tuesday, 19, 18, 04, pages, blog, archive, about, me, cav, award, report, on, the, eatcs, general, assembly, peek, in, rome, call, for, guest, bloggers,

Text of the page (most frequently used words):
the (336), and (110), for (71), that (50), eatcs (45), icalp (44), july (32), 2016 (27), was (27), papers (27), this (25), award (24), from (23), track (23), are (21), june (20), may (19), april (19), september (18), november (18), you (18), january (17), march (17), december (16), february (16), conference (16), talk (16), work (16), will (16), august (15), october (15), have (15), general (14), also (14), assembly (13), share (13), with (13), university (13), which (12), were (12), his (12), their (12), report (11), tcs (11), here (11), new (11), lipics (11), proceedings (11), rome (10), they (10), some (9), its (9), separation (9), logic (9), should (9), would (8), last (8), time (8), community (8), theory (8), very (8), presentation (8), best (8), out (8), 2017 (7), but (7), had (7), such (7), slides (7), awards (7), committee (7), president (7), years (7), post (7), accepted (7), colleagues (7), yuval (7), audience (7), about (6), comments (6), invited (6), presented (6), during (6), given (6), four (6), delivered (6), results (6), related (6), mentioned (6), seffi (6), who (6), marta (6), not (6), all (6), those (6), following (6), three (6), association (6), already (6), what (6), mikkel (6), suggested (6), luca (5), aceto (5), blog (5), facebook (5), posted (5), most (5), any (5), more (5), tiziana (5), thank (5), thursday (5), can (5), many (5), xavier (5), asked (5), two (5), role (5), game (5), available (5), synthesis (5), than (5), chairs (5), could (5), quality (5), gödel (5), prize (5), members (5), after (5), treasurer (5), support (5), leadership (5), computer (5), page (5), discussion (5), good (5), typesetting (5), guidelines (5), process (5), view (4), guest (4), 2018 (4), posts (4), pinterest (4), blogthis (4), email (4), like (4), interested (4), talks (4), took (4), italy (4), well (4), organizers (4), held (4), participants (4), usa (4), based (4), entitled (4), interesting (4), choice (4), verification (4), software (4), program (4), make (4), excellent (4), short (4), has (4), first (4), paper (4), right (4), despite (4), these (4), her (4), point (4), rather (4), did (4), received (4), annual (4), service (4), paul (4), serve (4), them (4), peter (4), hearn (4), science (4), large (4), there (4), authors (4), thanked (4), thorup (4), web (4), suggestions (4), council (4), current (4), cav (3), each (3), ceremony (3), myself (3), monday (3), place (3), week (3), making (3), behalf (3), registered (3), students (3), france (3), germany (3), oxford (3), recipients (3), devavrat (3), discussed (3), information (3), invite (3), model (3), questions (3), particular (3), social (3), proofs (3), mathematics (3), research (3), study (3), stated (3), checking (3), analysis (3), theoretic (3), indeed (3), programs (3), selected (3), even (3), doing (3), distinguished (3), dissertation (3), presburger (3), outstanding (3), giuseppe (3), persiano (3), concurrent (3), spirakis (3), leslie (3), ann (3), goldberg (3), dirk (3), left (3), our (3), does (3), thesis (3), carried (3), department (3), complexity (3), problems (3), one (3), rabani (3), version (3), files (3), secretary (3), thore (3), zoltán (3), ésik (3), memory (3), mikolaj (3), soon (3), prague (3), areas (3), devoted (3), coming (3), versions (3), life (3), polynomial (3), almost (3), development (3), algebra (3), blogger (2), 2015 (2), call (2), bloggers (2), peek (2), home (2), pages (2), welcome (2), other (2), try (2), till (2), calamoneri (2), whom (2), into (2), event (2), data (2), local (2), 239 (2), country (2), largest (2), attendees (2), let (2), passing (2), expected (2), number (2), contributed (2), mit (2), presentations (2), delivering (2), algorithmic (2), rankings (2), set (2), details (2), economics (2), second (2), wednesday (2), compilers (2), come (2), machine (2), proof (2), exactly (2), semantics (2), project (2), used (2), both (2), programming (2), said (2), pure (2), verifying (2), fundamental (2), argued (2), acceptance (2), correctness (2), stepped (2), whole (2), topic (2), started (2), learning (2), maximization (2), non (2), functions (2), algorithms (2), then (2), problem (2), refer (2), readers (2), accompanied (2), having (2), found (2), autonomous (2), vehicles (2), under (2), systems (2), games (2), volume (2), conferences (2), see (2), contains (2), pcs (2), because (2), thanks (2), young (2), scientists (2), chair (2), theses (2), terms (2), went (2), invention (2), might (2), attended (2), limit (2), saying (2), formally (2), liverpool (2), patras (2), supported (2), antonin (2), kucera (2), masaryk (2), salerno (2), vice (2), presidents (2), janssens (2), sterling (2), jean (2), francois (2), raskin (2), over (2), know (2), comment (2), suggestion (2), please (2), always (2), brookes (2), supervisor (2), counting (2), little (2), kwiatkowska (2), recent (2), naor (2), prove (2), compiler (2), leroy (2), shah (2), date (2), too (2), edition (2), ensuing (2), husfeldt (2), experience (2), staff (2), still (2), trying (2), part (2), high (2), instructions (2), how (2), help (2), don (2), publisher (2), felt (2), nice (2), automated (2), early (2), david (2), helmut (2), veith (2), apart (2), contributions (2), issue (2), bulletin (2), offer (2), vienna (2), building (2), workshops (2), year (2), submitted (2), student (2), congratulations (2), bojanczyk (2), gave (2), organizing (2), warsaw (2), poland (2), period (2), been (2), announced (2), jiří (2), bid (2), host (2), few (2), instance (2), cover (2), solely (2), final (2), consider (2), establishing (2), publication (2), regarding (2), informed (2), blood (2), your (2), input (2), describing (2), among (2), think (2), andreas (2), john (2), borderline (2), ended (2), between (2), same (2), applicability (2), diary (2), awesome, inc, theme, powered, complete, profile, 2006, 109, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2019, 2020, 2021, 2022, 2023, 2024, 2025, 2026, archive, subscribe, atom, older, newer, coverage, attending, blogging, drop, line, ideally, tracks, course, five, aspect, write, something, merrier, 12th, 15th, brought, fifth, organized, irene, finocchi, nicola, galesi, daniele, gorla, effort, put, memorable, according, contributing, followed, note, larger, size, italian, researchers, neighbouring, cities, ease, reached, featured, inria, technion, israel, kicked, off, relating, ranking, rank, aggregation, personalized, associating, intensity, partial, resulting, sparse, comparisons, excellently, paced, check, addresses, computational, challenges, decision, without, offered, glimpse, exciting, possibilities, inter, disciplinary, across, disciplines, context, investigates, formal, realistic, usable, critical, embedded, verified, mathematical, checked, generated, executable, code, behaves, prescribed, source, assistant, language, functional, shortest, path, writing, addressed, arising, ones, latter, question, detail, consensus, underlying, plays, accepting, unreasonable, effectiveness, supporting, moment, subhash, khot, unable, trip, him, notice, 1950s, 1960s, now, thriving, applications, welfare, combinatorial, optimization, surveyed, unconstrained, monotone, focus, approximation, constrained, friday, start, success, techniques, yet, modelling, abstractions, mobile, agents, robots, behave, reliably, uncertainty, require, quantitative, approaches, specification, cogently, fruitful, various, kinds, played, correct, specifications, beginning, models, abound, moshe, vardi, historical, remarks, overview, approach, attempting, summarize, strongly, encourage, read, accompanying, beautifully, summarizes, pointers, literature, core, scientific, programme, consisted, commitments, attend, liked, manage, listen, scientifically, wear, glasses, truly, great, job, saw, festive, occasion, celebrated, consisting, javier, esparza, michal, feldman, fedor, fomin, luke, ong, impressive, submissions, princeton, recipient, session, extremely, preceded, bus, tour, dinner, popular, restaurant, elsewhere, down, kindly, grateful, above, willingness, long, just, helped, criticism, sure, reach, working, improving, successful, provide, bird, eye, trastevere, piece, yorker, dexter, kozen, stephen, mark, braverman, georg, zetzsche, monoids, storage, mechanisms, kaiserslautern, roland, meyer, heng, guo, classification, exact, approximate, sciences, wisconsin, madison, advisor, jin, cai, radu, curticapean, simple, slow, things, count, parameterized, saarland, saarbrücken, markus, bläser, davide, sangiorgi, michael, mitzenmacher, strategy, stochastic, practice, wikipedia, maximatization, submodular, progress, labelled, transition, thing, coq, compcert, mean, dev, computing, meeting, apologizing, official, preliminary, form, per, hard, download, hotel, prepared, individual, accessed, late, associated, teething, ever, publish, far, responsible, promised, won, happen, again, editor, realized, theoretical, makes, editors, harder, needs, marc, herbstritt, pointed, flaws, resolve, publishing, noted, comply, huge, amount, additional, sticking, electronic, matter, gain, hacking, style, using, fonts, forbidden, counterpoint, bothered, strict, spend, worry, publishers, typesets, enough, interface, upload, whether, meet, helpful, contributors, take, account, discuss, cooperate, order, develop, preparing, efficiently, professionally, remembered, hartmuth, ehrig, johnson, obituaries, trust, honouring, appear, decided, small, donation, established, promising, usual, honour, aforementioned, disseminating, amongst, 205, registration, deadline, analyzed, reasons, lack, chaired, chairing, unexpectedly, pleasant, splendid, done, reporting, figures, described, selection, quoting, immediately, handed, receiving, organization, piotr, indyk, anca, muscholl, labri, fabian, kuhn, freiburg, speakers, confirmed, monika, henzinger, austria, diku, denmark, fourth, speaker, agreed, locate, workshop, contact, sgall, 45th, jiři, kind, beautiful, city, allow, celebrate, polish, czech, communities, discrete, several, lively, incarnation, efforts, brand, networking, fair, say, being, seen, less, competitive, opinion, aired, allowing, submit, reminded, meant, emerging, scope, therefore, regularly, considered, perhaps, summing, examine, future, meetings, led, further, discussions, imho, certainly, beneficial, site, arrive, establish, possibly, independent, fast, journal, idea, give, power, responsibilities, revise, definitely, light, outlet, sponsored, discussing, possible, establishment, open, access, ournal, test, researcher, reviewer, reader, send, theirs, listens, next, reports, financial, welcomed, rest, outgoing, viz, term, speech, objectives, hands, look, forward, seeing, influence, grow, close, asking, posed, useful, voice, heard, better, lot, achieve, probably, learned, much, membership, attractive, especially, younger, generations, activities, financially, otherwise, liaison, criticisms, kudos, rates, sufficiently, broadly, keerti, choudhary, optimal, dual, fault, tolerant, reachability, oracle, samuel, hetterich, analysing, survey, propagation, guided, decimation, random, formulas, olivier, bournez, daniel, graça, amaury, pouly, corresponds, solutions, ordinary, differential, equations, length, neeraj, kayal, chandan, saha, sébastien, tavenas, cubic, lower, bound, depth, arithmetic, circuits, galanis, göbel, lapinskas, richerby, amplifiers, moran, identified, around, choose, familiar, easychair, scores, rejected, choosing, half, difficult, made, assessing, added, value, chosen, slots, voting, alternatives, slot, area, thought, aside, attention, balancing, subareas, merit, judged, experts, indifference, came, balanced, presence, specialized, niche, natural, outcome, diverse, dedicated, tuesday, today, josh, berdine, cristiano, calcagno, dino, distefano, samin, ishtiaq, reynolds, hongseok, yang, demonstrating, mutate, structures, major, space, roughly, steve, retrospective, article, starts, honoured, includes, key, notion, separating, conjunction, showing, trivial, tool, culminated, consult, resources, enjoy, tutorial, primer, automatic, infer, find, mostly, fun, stuff, issues, teaching, academic,

Text of the page (random words):
tavenas an almost cubic lower bound for depth three arithmetic circuits track a olivier bournez daniel graça and amaury pouly polynomial time corresponds to solutions of polynomial ordinary differential equations of polynomial length track b the following papers received the best student paper awards samuel hetterich analysing survey propagation guided decimation on random formulas track a keerti choudhary an optimal dual fault tolerant reachability oracle track c congratulations to the authors of the award receiving papers mikolaj bojanczyk gave a short report on the organization of icalp 2017 on behalf the organizing committee icalp 2017 will be held in warsaw poland in the period 10 14 july 2017 the pc chairs will be piotr indyk mit usa for track a anca muscholl labri france for track b and fabian kuhn freiburg germany for track c three invited speakers have already been confirmed mikolaj bojanczyk warsaw poland monika henzinger vienna austria and mikkel thorup diku denmark a fourth invited speaker will be announced soon mikolaj mentioned that four workshops have already agreed to co locate with icalp 2017 if you are interested in organizing a workshop at icalp 2017 please contact the local organizers jiří sgall presented a bid to host icalp 2018 the 45th icalp in prague in the period july 9 13 2018 the slides for jiři s presentation are here the bid from prague was accepted by the general assembly thanks to jiří and his colleagues for their kind offer to host icalp in the beautiful city of prague icalp 2017 and 2018 will also allow us to celebrate the excellent contributions of the polish and czech research communities to tcs and discrete mathematics after the icalp related presentations i asked the audience the following questions does icalp cover tcs sufficiently broadly what do you think of the current acceptance rates at icalp what would you like to see at icalp that we don t do any criticisms kudos suggestions there were interesting suggestions from several colleagues in particular there was a lively discussion related to the role of the current incarnation of track c despite the best efforts of the pc chairs of the last few years to brand this track as a theory of networking track it is fair to say that despite the high quality of the contributed papers track c is still being seen by many as a less competitive version of track a this opinion was for instance aired by mikkel thorup in particular mikkel asked what is the role of the current track c rather than allowing pc members for track a to submit to the conference i reminded the audience that track c was meant to cover emerging areas and that its scope should therefore be regularly considered during the ensuing discussion paul spirakis suggested that perhaps track c could be solely devoted to algorithmic game theory summing up the eatcs council will examine the future of track c of icalp in its coming meetings mikkel thorup also suggested that the submitted versions of the accepted icalp papers should be posted on the conference web page as soon as they are accepted this suggestion led to further interesting discussions imho it would certainly be beneficial to post the final versions of the accepted papers on the conference web site as soon as they arrive thore husfeldt suggested that the eatcs establish an sc for the conference possibly independent of the council and that the eatcs consider establishing a fast track for the publication of journal versions of the best icalp papers regarding the first point i informed the audience that the eatcs already has an icalp liaison committee but that it would be a good idea to give more power and responsibilities to it that committee should also revise the current version of the guidelines for icalp organizers which are definitely out of date in the light of the new publication outlet for the proceedings and the new awards sponsored by the eatcs i also informed the audience that the eatcs council has been discussing the possible establishment of an open access ournal of the association for some time regarding awards the audience suggested that the eatcs consider establishing an icalp test of time award a young researcher even suggested that icalp should have a best reviewer award i thank the attendees for their many suggestions and invite any reader of this post to send theirs to the president of the eatcs or as comments to this post you are the life and blood of the association your input is always most welcome and the eatcs listens to you we are here to serve next the secretary and the treasurer of the eatcs delivered their annual reports the financial report is here and the report from the secretary is here we also thanked dirk janssens who left his post as treasurer of the eatcs after 27 years of sterling service to the association we welcomed jean francois raskin as the new treasurer of the eatcs the rest of the general assembly was devoted to a report from the outgoing president viz me i refer you to the slides for my presentation and to the eatcs annual report for the details here i will limit myself to saying that at the general assembly i announced the new leadership of our association for the coming two year term the new president of the eatcs will be paul spirakis university of liverpool and u patras he will be supported by leslie ann goldberg university of oxford antonin kucera masaryk university and giuseppe persiano university of salerno as vice presidents during the general assembly paul gave a short speech describing some if his objectives as president of the eatcs for the coming two years the eatcs is in very good hands and i look forward to seeing its influence grow under its new leadership let me close this report by asking my readers and the members of the tcs community at large the questions i posed to the colleagues who attended the general assembly what should the eatcs do for the tcs community what activities should the eatcs support financially or otherwise how can we make eatcs membership more attractive especially among the younger generations any input you might have will be useful for the new leadership of the eatcs make your voice heard so that the eatcs can serve the tcs community even better than it is already doing i thank all of you for the support i have received over the last four years in my role of president of the eatcs it was a lot of work to achieve probably very little but i learned much from many of you thank you you are the life and blood of the eatcs posted by luca aceto at 1 09 pm 7 comments email this blogthis share to x share to facebook share to pinterest monday july 18 2016 a peek at icalp 2016 in rome icalp 2016 took place last week in rome from the 12th till the 15th of july the conference which brought icalp to italy for the fifth time was well organized by tiziana calamoneri irene finocchi nicola galesi and daniele gorla whom i thank for the effort they put into making icalp 2016 a memorable event according to the data presented by tiziana on behalf of the local organizers during the general assembly of the eatcs held on thursday 14 july icalp 2016 had 239 registered participants 74 of which were students the usa was the country contributing the largest share of attendees 50 followed by france the uk germany and italy let me note in passing that i would have expected a larger number of participants from italy given the size of the italian tcs community the number of tcs researchers based in rome and in neighbouring cities and the ease with which rome can be reached from most of the country italy contributed 21 participants to the conference icalp 2016 featured four invited talks which were delivered by devavrat shah mit usa xavier leroy inria france seffi naor technion israel and marta z kwiatkowska oxford uk as well presentations by the recipients of the presburger award the gödel prize and the eatcs award devavrat shah kicked off the conference on monday 12 july by delivering a talk entitled computing choice in his talk devavrat discussed algorithmic results relating to ranking rank aggregation and personalized rankings associating intensity to rankings based on partial information resulting from a sparse set of comparisons the talk which was excellently paced and interesting presented many results and i invite you to check dev s work for the details this work addresses computational challenges for decision making without a choice model and offered a glimpse of the exciting possibilities for inter disciplinary work across disciplines such as cs ee or and economics xavier leroy delivered the second invited talk entitled formally verifying a compiler what does it mean exactly on wednesday 13 july in his talk xavier discussed the context for and the results of the compcert project which investigates the formal verification of realistic compilers usable for critical embedded software such verified compilers come with a mathematical machine checked proof that the generated executable code behaves exactly as prescribed by the semantics of the source program in this project coq is used both as a proof assistant and as a programming language in his talk xavier said that pure functional programming is the shortest path to writing and verifying software he also asked and addressed two fundamental questions arising from this work and related ones did we prove it the compiler right did we prove the right thing in particular xavier discussed the latter question in detail and argued that the social consensus underlying the acceptance of proofs in mathematics also plays a role in accepting proofs of software correctness he also mentioned the unreasonable effectiveness of labelled transition systems in semantics and in supporting such correctness proofs seffi naor s talk took place on thursday 14 july and was entitled maximatization of submodular functions recent progress seffi stepped in at the last moment for subhash khot who was unable to make the trip to rome on behalf of the eatcs and of the tcs community as a whole i thank him for delivering an excellent talk at such a short notice research on the topic of seffi s talk started in the 1950s 1960s and is now thriving it has applications in the study of social welfare economics game theory combinatorial optimization machine learning and information theory in his talk seffi first surveyed results on unconstrained maximization of non monotone functions with focus on approximation algorithms and then presented results for the constrained maximization problem i refer the readers to seffi s papers and to this wikipedia page for more information the last invited talk at icalp 2016 was delivered by marta z kwiatkowska on friday 15 july marta s talk was entitled model checking and strategy synthesis for stochastic games from theory to practice and is accompanied by a paper that is available here marta stated right at the start that despite the success that model checking and synthesis techniques have had and are having we have not found yet the right modelling abstractions for autonomous mobile agents such as robots and autonomous vehicles software for these vehicles is expected to behave reliably under uncertainty and its analysis and synthesis require quantitative approaches to specification and verification as marta argued cogently in her talk a game theoretic point of view is fruitful in the study of such systems indeed games of various kinds have played a fundamental role in the study of the synthesis of correct programs from specifications from the very beginning and papers on game theoretic models abound in volume b conferences see the slides for this talk by moshe vardi for historical remarks and an overview of the game theoretic approach to synthesis rather than attempting to summarize marta s talk i strongly encourage you to read her accompanying paper which beautifully summarizes her work on this topic and contains pointers to related literature the core of the scientific programme consisted of the papers that were selected for presentation by the pc chairs michael mitzenmacher yuval rabani and davide sangiorgi and their pcs because of eatcs commitments i could not attend as many talks as i would have liked but all those i did manage to listen to were excellent both scientifically and from the point of view of the quality of the presentation for one of the talks i even had to wear 3d glasses thanks to the pc chairs and their pcs for doing a truly great job the award ceremony was held on wednesday 13 july and saw the presentation of the eatcs distinguished dissertation awards of the presburger award to young scientists of the gödel prize and of the eatcs award the event was a festive occasion and celebrated some of the outstanding members of the tcs community the eatcs distinguished dissertation award committee consisting of javier esparza michal feldman fedor fomin luke ong and giuseppe persiano chair has selected the following three theses for the eatcs distinguished dissertation award for 2015 radu curticapean the simple little and slow things count on parameterized counting complexity thesis work carried out at the department of computer science at saarland university saarbrücken germany supervisor markus bläser heng guo complexity classification of exact and approximate counting problems thesis work carried out at the department of computer sciences in the university of wisconsin madison advisor jin yi cai georg zetzsche monoids as storage mechanisms thesis work carried out at the department of computer science at university of kaiserslautern supervisor roland meyer the award committee received an impressive set of submissions in terms of quality the three selected theses are outstanding the presburger award was presented to mark braverman princeton university usa the gödel prize went to stephen brookes and peter o hearn for their invention of concurrent separation logic and the eatcs award was given to dexter kozen the presentation of each of these three awards was accompanied by an excellent talk by the award recipient s as i mentioned during the award ceremony this might very well be the first time that the gödel prize is mentioned in a piece in the new yorker the award session was extremely well attended and preceded a short bus tour in rome and a social dinner in a popular restaurant in trastevere the annual general assembly of the eatcs took place on thursday 14 july i ll report on it elsewhere here i will limit myself to saying that at the general assembly i formally stepped down as president of the eatcs after two terms of service four years the new president of the eatcs will be paul spirakis university of liverpool and u patras he will be supported by leslie ann goldberg university of oxford antonin kucera masaryk university and giuseppe persiano university of salerno as vice presidents at icalp 2016 in rome dirk janssens also left his post as treasurer of the eatcs after 27 years of sterling servi...