Meta tags:

Headings (most frequently used words):

2021, and, in, the, of, science, wednesday, august, friday, february, for, computer, at, university, interview, with, concur, tot, award, recipients, on, december, monday, june, reykjavik, research, tuesday, saturday, 24, thursday, 01, positions, to, phd, process, algebra, diary, 15, 14, 04, november, september, 16, 28, 23, 11, 06, 18, may, 26, april, 30, sunday, 21, 08, 05, pages, blog, archive, about, me, call, invited, talk, nominations, 7th, highlights, algorithms, conference, halg, 2022, faculty, near, optimal, distributed, degree, colouring, theoretics, new, open, access, journal, theoretical, inria, innovation, prize, mateescu, garavel, lang, serwe, scholarship, data, sustainability, david, janin, igor, walukiewicz, ahmed, bouajjani, javier, esparza, first, movie, uwe, nestmann, benjamin, pierce, detecter, runtime, verification, tool, erlang, programs, part, rajeev, alur, thomas, henzinger, orna, kupferman, moshe, vardi, frank, ramsey, publication, rates, course, ethics, accountability, polyconc, online, collaboration, improve, result, equational, theory, ccs, modulo, bisimilarity, article, by, sergey, kitaev, anthony, mendes, jeff, remmel, memory, whence, do, collaborations, tcs, arise, support, foundations, computing, leicester, two, department, model, driven, se, blockchain, smart, contracts,

Text of the page (most frequently used words):
the (654), and (412), that (204), for (158), with (107), this (89), was (88), you (85), #research (72), paper (68), share (60), are (57), your (57), have (55), systems (52), #science (50), university (49), luca (45), computer (45), our (45), time (43), 2021 (41), work (38), their (38), not (38), can (38), automata (37), one (36), from (36), model (35), award (31), which (31), some (31), may (30), will (30), logic (30), alternating (30), concur (29), email (29), has (29), had (29), all (28), also (28), problem (28), first (27), very (27), result (27), but (26), how (26), about (25), there (25), ahmed (25), calculus (25), journal (24), when (24), many (24), june (23), system (23), javier (23), igor (23), aceto (22), theoretics (22), comments (22), what (22), february (21), two (21), course (21), any (21), more (21), other (21), results (21), like (21), august (20), september (20), january (20), april (20), posted (20), they (20), november (19), december (19), collaboration (19), new (19), open (19), pinterest (19), facebook (19), blogthis (19), years (19), phd (18), data (18), been (18), community (18), theory (18), could (18), bisimulation (18), march (17), interview (17), its (17), theoretical (17), papers (17), his (17), refinement (17), july (16), reykjavik (16), who (16), would (16), see (16), over (16), did (16), were (16), now (16), transition (16), checking (16), nathalie (16), david (16), verification (15), based (15), students (15), conference (15), setting (15), pushdown (15), october (14), invited (14), later (14), second (14), most (14), between (14), field (14), logics (14), collaborations (13), interested (13), than (13), well (13), where (13), after (13), much (13), young (13), researchers (13), number (13), then (13), such (13), concurrency (13), recipients (12), start (12), analysis (12), only (12), interesting (12), ctl (12), fixed (12), invariant (12), department (11), tot (11), 2022 (11), applications (11), information (11), while (11), find (11), think (11), post (11), colleague (11), working (11), related (11), those (11), question (11), even (11), came (11), context (11), relations (11), techniques (11), used (11), configurations (11), positions (10), project (10), both (10), colleagues (10), might (10), good (10), make (10), state (10), right (10), answer (10), important (10), game (10), algorithms (10), multi (10), developed (10), environment (10), oded (10), equivalent (10), quality (10), tcs (9), article (9), inria (9), talk (9), topics (9), high (9), academic (9), into (9), student (9), reading (9), led (9), asked (9), started (9), eventually (9), different (9), problems (9), readers (9), tell (9), board (9), properties (9), winning (9), expressive (9), complexity (9), programs (9), frank (8), full (8), development (8), example (8), here (8), within (8), wrote (8), above (8), should (8), out (8), last (8), thanks (8), team (8), people (8), interest (8), having (8), using (8), algebra (8), particular (8), together (8), being (8), known (8), models (8), reachability (8), these (8), use (8), still (8), agents (8), component (8), same (8), trace (8), simulation (8), called (8), actions (8), monadic (8), order (8), van (8), hard (8), authors (8), brics (8), halg (8), support (7), ramsey (7), theoretic (7), nominations (7), each (7), apply (7), leicester (7), her (7), world (7), class (7), large (7), institute (7), let (7), others (7), least (7), previous (7), way (7), topic (7), him (7), point (7), solved (7), general (7), process (7), consider (7), however (7), year (7), found (7), natural (7), temporal (7), foundation (7), done (7), build (7), surprising (7), them (7), power (7), ltl (7), containment (7), because (7), esparza (7), test (7), great (7), represent (7), compute (7), predecessors (7), fragment (7), proof (7), paris (7), cadp (7), foundations (6), computing (6), tool (6), access (6), distributed (6), strongly (6), https (6), need (6), following (6), funding (6), approach (6), software (6), application (6), principles (6), without (6), published (6), best (6), receive (6), thought (6), life (6), under (6), researcher (6), she (6), long (6), another (6), applied (6), several (6), career (6), help (6), look (6), own (6), ago (6), future (6), jeff (6), remmel (6), version (6), details (6), teaching (6), impact (6), recommend (6), vardi (6), moshe (6), france (6), value (6), formal (6), methods (6), graph (6), trees (6), tree (6), games (6), already (6), branching (6), linear (6), must (6), thomas (6), sets (6), beautiful (6), modal (6), whole (6), bordeaux (6), yet (6), equivalence (6), editors (6), ethics (5), detecter (5), erlang (5), movie (5), colouring (5), call (5), position (5), before (5), three (5), driven (5), given (5), mention (5), read (5), joint (5), group (5), lucky (5), conferences (5), successful (5), whether (5), similar (5), solving (5), extended (5), away (5), role (5), words (5), again (5), mentioned (5), finite (5), rodrigo (5), excellent (5), learning (5), indeed (5), advisory (5), level (5), structure (5), specific (5), fundamental (5), alternation (5), multiple (5), questions (5), synthesis (5), design (5), main (5), points (5), various (5), subsequent (5), components (5), logical (5), formula (5), know (5), abstraction (5), respect (5), global (5), pspace (5), atss (5), composite (5), among (5), corresponds (5), contribution (5), study (5), answers (5), enjoy (5), chair (5), nobuko (5), late (5), maler (5), programming (5), viganò (5), case (5), develop (5), infinite (5), automaton (5), too (5), difficult (5), cav (5), showed (5), worked (5), believe (5), technique (5), grenoble (5), around (5), concurrent (5), lics (5), approaches (5), msol (5), imagination (5), food (5), complete (4), arise (4), sergey (4), improve (4), publication (4), scholarship (4), sustainability (4), optimal (4), faculty (4), blog (4), home (4), welcome (4), http (4), starting (4), below (4), iceland (4), focus (4), engineering (4), strong (4), technology (4), building (4), computational (4), modelling (4), existing (4), mathematics (4), academics (4), shown (4), areas (4), staff (4), past (4), proposed (4), comes (4), making (4), especially (4), substantial (4), friday (4), add (4), friendship (4), beyond (4), scientific (4), learnt (4), day (4), give (4), advice (4), orna (4), kupferman (4), coffee (4), during (4), presentation (4), hope (4), never (4), written (4), prove (4), felt (4), involved (4), played (4), gave (4), variety (4), just (4), memory (4), equational (4), finitely (4), assumptions (4), adding (4), namely (4), justice (4), ferreira (4), made (4), studied (4), learn (4), met (4), amount (4), better (4), mind (4), line (4), sense (4), technical (4), wednesday (4), importance (4), seems (4), current (4), take (4), reactive (4), specifications (4), players (4), turns (4), aims (4), modeling (4), agent (4), say (4), explicitly (4), obtained (4), distinguishing (4), specification (4), implementation (4), traditional (4), matter (4), states (4), nondeterminism (4), appeared (4), yoshida (4), bertrand (4), bouajjani (4), uwe (4), benjamin (4), walukiewicz (4), completeness (4), part (4), national (4), symbolic (4), set (4), ideas (4), saturation (4), algorithm (4), quite (4), procedures (4), become (4), yes (4), regular (4), stefan (4), moped (4), tayssir (4), oxford (4), method (4), finding (4), recent (4), benthem (4), area (4), cnrs (4), challenges (4), fields (4), essential (4), lang (4), news (4), journals (4), editorial (4), org (4), view (3), 2017 (3), kitaev (3), anthony (3), mendes (3), polyconc (3), online (3), accountability (3), runtime (3), innovation (3), prize (3), mateescu (3), garavel (3), degree (3), 7th (3), highlights (3), posts (3), continue (3), until (3), filled (3), encourage (3), applicants (3), send (3), possible (3), statement (3), please (3), per (3), particularly (3), fully (3), close (3), domain (3), looking (3), monday (3), hearing (3), biased (3), programme (3), join (3), little (3), school (3), highly (3), opportunity (3), whose (3), enough (3), actually (3), reduce (3), top (3), communities (3), bring (3), quote (3), sure (3), contributions (3), put (3), write (3), companion (3), ing (3), sent (3), visit (3), meeting (3), breaks (3), visits (3), country (3), ask (3), offer (3), via (3), imho (3), back (3), scientists (3), record (3), discuss (3), feel (3), ten (3), days (3), ice (3), larger (3), short (3), picture (3), professor (3), single (3), certain (3), operator (3), obtain (3), free (3), aim (3), try (3), social (3), taught (3), received (3), experience (3), philosophy (3), amongst (3), material (3), fresh (3), always (3), bridge (3), greatest (3), despite (3), issue (3), webinar (3), series (3), since (3), remarkable (3), diligence (3), remember (3), next (3), produce (3), proper (3), spend (3), don (3), want (3), everyone (3), every (3), cheryl (3), misak (3), step (3), bigger (3), established (3), true (3), weighted (3), spanning (3), networks (3), vertex (3), player (3), network (3), reinforcement (3), promising (3), leads (3), international (3), autonomous (3), generally (3), formalisms (3), form (3), objectives (3), builds (3), move (3), closed (3), representing (3), wish (3), distinguish (3), able (3), characterizations (3), refines (3), terms (3), classic (3), teach (3), preorders (3), carried (3), behaviors (3), check (3), deterministic (3), often (3), meet (3), briefly (3), explain (3), challenging (3), henzinger (3), rajeev (3), alur (3), kind (3), nestmann (3), pierce (3), propositional (3), 1997 (3), tutorial (3), inspiring (3), tools (3), members (3), gallery (3), idea (3), immediate (3), fact (3), few (3), seen (3), big (3), uniform (3), didn (3), somehow (3), framework (3), exptime (3), program (3), restaurants (3), proved (3), munich (3), popl (3), accelerations (3), peter (3), works (3), uppsala (3), created (3), contributed (3), moment (3), implementing (3), matthew (3), büchi (3), almost (3), arbitrary (3), efficient (3), took (3), delighted (3), levels (3), hierarchy (3), aarhus (3), lot (3), developments (3), alternations (3), effort (3), consumption (3), ftp (3), presentations (3), rers (3), pdf (3), history (3), evaluation (3), guiding (3), chief (3), tel (3), aviv (3), review (3), publishing (3), york (3), launch (3), leading (3), association (3), profile (2), 2008 (2), 2009 (2), 2015 (2), 2019 (2), 2020 (2), whence (2), rates (2), near (2), pages (2), subscribe (2), conditions (2), soon (2), gísli (2), hjálmtýsson (2), gisli (2), mohammad (2), hamdaqa (2), mhamdaqa (2), collaborators (2), intended (2), date (2), page (2), plans (2), copy (2), addresses (2), month (2), tuition (2), salary (2), polytechnique (2), generation (2), contract (2), candidates (2), ongoing (2), methodologies (2), blockchain (2), smart (2), contracts (2), skills (2), sign (2), upon (2), tells (2), itself (2), foot (2), change (2), proposes (2), informatics (2), digitalisation (2), directly (2), fit (2), direction (2), plan (2), deemed (2), strategic (2), pandemic (2), stated (2), surprise (2), reputation (2), institutions (2), ideal (2), institution (2), funds (2), note (2), gran (2), sasso (2), serendipity (2), aspects (2), pleasant (2), apologise (2), whom (2), means (2), involve (2), arose (2), fellow (2), 1991 (2), lasted (2), mine (2), pisa (2), groups (2), attend (2), told (2), knew (2), produced (2), forward (2), deliver (2), small (2), break (2), conversations (2), dealing (2), jointly (2), got (2), grant (2), provided (2), involving (2), resulted (2), availability (2), collabo (2), universities (2), visited (2), myself (2), anyone (2), term (2), prompted (2), ourselves (2), subsequently (2), thinking (2), hit (2), once (2), mutual (2), reflection (2), isn (2), crucial (2), off (2), head (2), present (2), pleasure (2), thoroughly (2), enjoyed (2), truly (2), biography (2), personality (2), age (2), happen (2), shared (2), begin (2), positive (2), extending (2), universal (2), anna (2), solution (2), simplifying (2), described (2), detail (2), member (2), arxiv (2), csl (2), parallel (2), composition (2), semantics (2), binary (2), ccs (2), processes (2), posed (2), belief (2), required (2), run (2), cooperation (2), constant (2), dream (2), unfolding (2), denmark (2), kept (2), strive (2), gap (2), technologists (2), humanists (2), thing (2), cultures (2), underlying (2), tenet (2), rice (2), master (2), language (2), gssi (2), designed (2), appears (2), deep (2), attention (2), proceedings (2), academia (2), times (2), citations (2), makes (2), cleverer (2), articles (2), swell (2), discoveries (2), conduct (2), vienna (2), suppose (2), seem (2), against (2), six (2), months (2), ready (2), arthur (2), tried (2), going (2), trouble (2), letter (2), book (2), publications (2), radio (2), tuesday (2), everything (2), ways (2), really (2), keen (2), realization (2), extensive (2), added (2), basic (2), moving (2), recently (2), flows (2), outcome (2), flow (2), cover (2), whereas (2), strategy (2), beneficial (2), strategies (2), polynomial (2), including (2), learned (2), potentially (2), adversarial (2), interaction (2), ifaamas (2), aamas (2), presented (2), twenty (2), chosen (2), multiagent (2), subsets (2), directions (2), remains (2), inputs (2), accepted (2), studying (2), behavior (2), quickly (2), probabilistic (2), decisions (2), non (2), active (2), algorithmic (2), limited (2), provide (2), principled (2), naturally (2), stories (2), characterization (2), something (2), formalism (2), useful (2), relation (2), preserved (2), characterisations (2), fragments (2), courses (2), preorder (2), complex (2), respectively (2), doubly (2), exponential (2), opposed (2), earlier (2), introduced (2), specify (2), 1998 (2), allow (2), achieve (2), enable (2), fewer (2), behaves (2), restrict (2), admit (2), meaning (2), addressed (2), why (2), devoted (2), conducted (2), interviewed (2), ilaria (2), castellani (2), thank (2), interviews (2), choice (2), janin (2), 1996 (2), 1999 (2), catuscia (2), palamidessi (2), product (2), real (2), machine (2), links (2), duncan (2), thursday (2), conducting (2), splendid (2), vision (2), concepts (2), watch (2), ali (2), hossaini (2), conversation (2), born (2), broader (2), define (2), control (2), representation (2), converge (2), original (2), guarantees (2), intersections (2), early (2), structures (2), investigate (2), pierre (2), wolper (2), although (2), queues (2), etc (2), heap (2), manipulating (2), instance (2), precise (2), lower (2), cracked (2), fsttcs (2), parity (2), understand (2), allows (2), fun (2), place (2), wife (2), arrived (2), easy (2), implement (2), schwoon (2), saclay (2), touili (2), visiting (2), authored (2), steps (2), habermehl (2), communicating (2), effective (2), shaz (2), qadeer (2), rehof (2), bounded (2), said (2), kucera (2), mihalis (2), yannakakis (2), tom (2), extension (2), security (2), luke (2), built (2), automatically (2), proving (2), correct (2), understood (2), getting (2), table (2), somebody (2), answered (2), rich (2), realized (2), looks (2), colloquium (2), park (2), venue (2), elaborated (2), notion (2), nondeterministic (2), incidentally (2), mso (2), surely (2), mfcs (2), bit (2), across (2), far (2), warsaw (2), niwinski (2), european (2), bentham (2), relies (2), cannot (2), unranked (2), property (2), giacomo (2), considered (2), grädel (2), guarded (2), probably (2), play (2), stay (2), wide (2), excellence (2), ones (2), fairly (2), congruence (2), funny (2), relevant (2), prominent (2), xpath (2), controller (2), self (2), loops (2), typed (2), designing (2), sub (2), activity (2), solve (2), evaluate (2), curiosity (2), considerable (2), passionate (2), option (2), johan (2), node (2), clarity (2), typos (2), saturday (2), com (2), waste (2), grocery (2), stores (2), expertise (2), predicting (2), congratulations (2), practice (2), convecs (2), serwe (2), virtuous (2), rapidly (2), reference (2), publish (2), significant (2), audience (2), par (2), charge (2), münchen (2), uri (2), zwick (2), entire (2), organization (2), council (2), representatives (2), profit (2), german (2), managing (2), efforts (2), london (2), google (2), eth (2), zürich (2), università (2), stanford (2), carnegie (2), mellon (2), tokyo (2), université (2), reach (2), establishment (2), jos (2), baeten (2), deadline (2), rank (2), benefits (2), potential (2), keren (2), censor (2), hillel (2), speaker (2), diary (2), awesome, inc, theme, powered, blogger, 2006, 109, 2007, 2010, 2011, 2012, 2013, 2014, 2016, 2018, jef, res, 2023, 2024, 2025, 2026, archive, atom, older, newer, informal, inquiries, reviewing, arrive, accept, fintech, icetcs, cress, hesitate, enquiries, visa, maximum, sample, transcripts, interests, documents, taxes, minimum, fund, guidelines, covering, stipend, 383, 000, isk, include, waiver, accordance, icelandic, funded, validation, directed, montréal, canada, code, concerned, safety, validity, requires, knowledge, technologies, abstractions, require, familiarity, emerging, lab, kudos, fba, returning, honorary, doctorate, isobel, armstrong, petition, inconceivable, strengths, crystal, ball, affected, planned, restructuring, elsewhere, shooting, enticed, consideration, strength, job, danger, buzzwords, jour, undoubtedly, college, union, merge, combined, focussed, exclusively, includes, proposal, cease, foco, linked, retaining, aligns, desired, alter, priorities, redundant, middle, latest, unfortunately, administrations, repeatedly, structural, changes, affect, eyes, administrators, employed, attract, standing, competitive, valuable, currency, isidor, isaac, rabi, anything, guess, provides, intending, benefit, reader, conclude, saying, actual, extends, confines, key, enduring, former, postdocs, prime, movers, thesis, supervisors, gordon, plotkin, famous, companionship, heard, tongue, cheek, twin, sister, notes, exhibits, heading, belongs, geologic, era, cmu, tackling, radar, independently, exchanges, chat, turned, coauthors, fast, rome, follow, approached, draft, content, friendships, mailbox, alerted, ration, locat, norway, lichtenstein, enticing, conceivably, mulling, recalled, spotted, imprecision, coauthored, available, mistakes, succeeded, aalborg, marked, frustrated, remembered, describing, attempts, brick, wall, importantly, approaching, dodged, rations, rest, quick, dirty, list, meant, exhausti, won, shaping, presenta, tion, engage, mathematicians, clear, unconvinc, avoid, answering, basically, knock, door, recipe, guaranteed, introducing, personal, admittedly, acquaintance, talking, subjects, paints, vivid, inspiration, hiring, assistant, san, diego, officially, finishing, fluke, distinguished, mathematician, combinatorics, sunday, ever, progress, author, resulting, suggestions, guaranteeing, reduct, conversely, expansion, valentina, castiglioni, wan, fokkink, ingólfsdóttir, bas, luttik, partial, negative, historical, section, relax, remove, axiomatisation, signature, recursion, restriction, relabelling, survey, 2003, modulo, bisimilarity, reinforced, blueprint, twelve, weeks, varied, eight, lived, tale, managed, cultural, backgrounds, extremely, refresh, italy, modern, moral, press, broaden, horizons, intellectual, germany, netherlands, toes, stimulated, keep, philippa, elisabeth, anscombe, claudio, pedica, foolhardy, decision, reasons, believed, 21st, century, renaissance, men, women, snow, freely, ought, commitments, offering, edward, lee, smitten, confronting, today, digital, undertake, therefore, decided, experiment, spring, semester, became, aware, goals, informative, thoughtful, reporting, assignments, practising, artist, jenny, odell, 52nd, acm, symposium, education, sigcse, changed, someone, hirings, promotions, conditional, whatever, average, persuasive, psychoanalysis, prescient, numbers, perfectly, analysed, likely, inquisition, guard, end, trivial, literature, bounds, shall, hurry, ill, unintelligible, unconvincing, tack, suggesting, wasting, rather, left, 169, 170, describes, views, father, spurred, 1978, fwiw, podcast, bites, ludwig, wittgenstein, mellor, stars, piece, orthodoxy, sometimes, necessary, reexamine, behind, incremental, improvement, fits, stand, chance, satisfy, environments, relating, contexts, graphs, amounts, shift, covers, extensions, generating, maximizing, maximize, weight, travels, size, minimizing, lost, greedy, fractional, maximizer, assumes, emerged, policies, scenarios, exploration, intersection, cooperative, interactions, planning, 2002, formed, annual, launched, influence, coincidentally, influential, differences, contact, pursued, further, examples, nature, outputs, providing, semantic, interface, randomized, equilibria, complementary, auctions, resources, aided, collaborating, common, interact, occur, partly, unknown, decomposed, openness, citizens, systematic, ages, satisfied, moreover, compare, care, specified, according, satisfaction, perform, satisfying, motivate, usefulness, sales, pitch, nice, price, efficiency, local, maintained, checked, implies, counterparts, nicely, correspond, central, intuitively, inappropriate, constraining, defined, abstracts, successors, taken, responds, ats, choose, successor, deterministically, determined, consequently, collaborative, relationships, typically, viewed, adversarially, introduction, focused, masterclass, trust, thoughts, outgoing, ifip, batch, awardees, passing, decoding, encodings, inaugurated, purpose, recognise, achievements, stood, awards, periods, 1994, jury, consisting, rob, glabbeek, alfaro, four, asynchronous, supports, monitoring, execute, outside, evm, traces, formatted, parsable, five, practical, massively, scalable, soft, requirements, virtual, huge, download, videos, delivered, discotec, web, adrian, francalanza, paul, attard, pleased, pearls, wisdom, pepper, artistic, public, technological, artifacts, live, increasingly, playwright, paving, connecting, worth, director, possibly, enjoying, viewing, gnirut, human, released, coproduction, keynote, trustworthy, trusting, machines, rusi, ukri, tas, hub, honored, manipulate, coined, pre, initial, nothing, operation, grow, transitions, termination, kicks, 80s, 90s, compactly, bbds, hot, dominated, bdds, acyclic, joined, blown, contrast, treats, objective, reason, tiny, undecidable, stuck, precisely, versions, word, encoded, vectors, stacks, parametrized, architectures, cases, leaves, establish, less, popular, mistake, totally, liege, french, foreign, professors, verimag, fantastic, liked, cinema, alps, went, matching, bound, modest, checker, theoretician, builder, 2000, implemented, moved, liafa, kids, flowers, touch, permitting, influenced, classes, reachable, iterative, operations, instead, function, repeated, iteration, jump, faster, implicitly, bernard, boigelot, irif, through, presburger, constraints, aurore, annichini, parosh, abdulla, bengt, jonsson, continuation, tomas, vojnar, adam, rogalewicz, brno, abstract, suitable, jakob, switch, bug, detection, mohamed, faouzi, atig, jmoped, java, dejvuth, suwimonteerabuth, tony, richard, mayr, extend, kousha, etessami, brilliant, recursive, markov, chains, triggered, newtonian

Text of the page (random words):
plicitly on the results and the techniques you developed in your award winning paper which of your subsequent results on alternating transition systems and their refinement relations do you like best is there any result obtained by other researchers that builds on your work and that you like in particular or found surprising answer various subsets of us pursued multiple research directions that developed the game theoretic setting for modeling and verification further and much remains to be done here are two examples first the game theoretic setting and the alternating nature of inputs and outputs are now generally accepted as providing the proper semantic foundation for interface and contract formalisms for component based design second studying strategic behavior in multi player games quickly leads to the importance of probabilistic behavior say in the form of randomized decisions and strategies of equilibria when players have non complementary objectives and of auctions when players need to spend resources for decisions all of these are still very active topics of research in computer aided verification and they also form a bridge to the algorithmic game theory community luca one can view your work as a bridge between concurrency theory and multi agent systems what impact do you think that your work has had on the multi agent system community and what has our community learnt from the work done in the field of multi agent systems to your mind what are the main differences and points of contact in the work done within those communities answer modeling interaction in multi agent systems is of natural interest to planning problems studied in the ai community in 2002 the international foundation for autonomous agents and multiagent systems ifaamas was formed and the annual international conference on autonomous agents and multiagent systems aamas was launched the models logics and algorithms developed in the concurrency and formal methods communities have had a strong influence on research presented at aamas conferences over the past twenty years coincidentally this year our paper on alternating time temporal logic was chosen for the ifaamas influential paper award luca what are the research topics that you find most interesting right now is there any specific problem in your current field of interest that you d like to see solved answer research on formal verification and synthesis including our paper assumes that the model of the system is known reinforcement learning has emerged as a promising approach to the design of policies in scenarios where the model is not known and has to be learned by agents by exploration this leads to an opportunity for research at the intersection of reactive synthesis and reinforcement learning a potentially promising direction is to consider reinforcement learning for systems with multiple agents with both cooperative and adversarial interactions the realization that reactive systems have to satisfy their specifications in all environments has led to extensive research relating formal methods with game theory our paper added alternation to refinement relations the transition from one to multiple players has been studied in computer science in several other contexts for the basic problem of reachability in graphs it amounts to moving from reachability to alternating reachability we recently studied this shift in other fundamental graph problems like the generation of weighted spanning trees flows in networks vertex covers and more in all these extensions we consider a game between two players that take turns in jointly generating the outcome one player aims at maximizing the value of the outcome e g maximize the weight of the spanning tree the amount of flow that travels in the network or the size of the vertex cover whereas the second aims at minimizing the value it is interesting to see how some fundamental properties of graph algorithms are lost in the alternating setting for example following a greedy strategy is not beneficial in alternating spanning trees optimal strategies in alternating flow networks may use fractional flows and while the vertex cover problem is np complete an optimal strategy for the maximizer player can be found in polynomial time many more questions in this setting are still open luca what advice would you give to a young researcher who is keen to start working on topics related to alternating transition systems and logics answer one important piece of advice to young researchers is to question the orthodoxy sometimes it is necessary to learn everything that is known about a topic but then take a step back look at the bigger picture reexamine some of the fundamental assumptions behind the established ways of thinking change the models that everyone has been using and go beyond the incremental improvement of previous results this is particularly true in formal methods where no single model or approach fits everything and young researchers stand a much better chance of having a really fresh new thought than those who have been at it for many years posted by luca aceto at 4 37 pm no comments email this blogthis share to x share to facebook share to pinterest tuesday june 01 2021 frank p ramsey on research and publication rates spurred by the excellent 1978 radio programme better than the stars by d h mellor about frank ramsey and by the philosophy bites interview with cheryl misak on frank ramsey and ludwig wittgenstein i started reading cheryl misak s biography of frank ramsey fwiw i strongly recommend the radio programme the podcast and the book the following quote from pages 169 170 of cheryl misak s book describes ramsey s views on publications and research as stated in a letter to his father arthur arthur tried a different tack suggesting that frank was going to be in trouble for wasting all this time on analysis rather than on his career on 24 september in what seems to be his last letter home before he left vienna frank wrote i don t see how there can be any such inquisition into my conduct in vienna as you suppose seem to want to guard against no one can suppose that you can t research for six months without having a paper ready by the end if everyone wrote a paper every six months the amount of trivial literature would swell beyond all bounds given time i shall produce a good paper but if i hurry it will be ill written and unintelligible and unconvincing it seems to me perfectly proper to spend a scholarship being analysed as it is likely to make me cleverer in the future and discoveries of importance are made by remarkable people not by remarkable diligence while it may not be persuasive that psychoanalysis makes one cleverer frank was prescient that the numbers of journal articles would eventually swell and he was right that diligence isn t enough to produce discoveries of importance of course academia has changed since those times and i do value remarkable diligence however i will try to remember ramsey s words next time someone proposes to make academic hirings and promotions conditional to having a certain number of papers or citations or whatever per year on average posted by luca aceto at 9 42 pm no comments email this blogthis share to x share to facebook share to pinterest wednesday may 26 2021 course on ethics and accountability in computer science about one year ago i became aware of the course ethics and accountability in computer science designed and taught by rodrigo ferreira and moshe y vardi at rice university the goals and high level structure of the course as well as its context are described in an informative and thoughtful paper by moshe and rodrigo that appears in the proceedings of the 52nd acm technical symposium on computer science education sigcse 21 which i strongly recommend you can also read a journal paper reporting on one of their course assignments which was designed to make students focus on practising deep attention in the sense of artist and academic jenny odell i was smitten by the underlying tenet for their course namely that social justice is the single most important issue confronting computer science students today that tenet is also very much in line with a reflection on the impact that digital technology has on social justice that the scientific advisory board of the gran sasso science institute asked the computer science group at that institute to undertake therefore after having invited rodrigo to deliver a webinar on the course at the ice tcs gssi webinar series i decided that as an experiment i would offer a version of the rice university course to master students in computer science language technology and software engineering at reykjavik university during our spring semester 2021 mine was a foolhardy decision for a variety of reasons however i have always believed that computer scientists should strive to be the 21st century renaissance men and women and bridge the gap between c p snow s two cultures indeed to quote edward a lee freely to my mind technologists ought to be amongst the greatest humanists of our age despite my other commitments offering a version of the ferreira vardi course at reykjavik university felt like the right thing to do at this time i taught the course over twelve weeks to a varied group of eight students in cooperation with claudio pedica thanks to the constant support i received from rodrigo ferreira i lived to tell the tale and i hope that i managed to do some justice to the truly excellent course that moshe and rodrigo put together having a dream team of students with a variety of cultural backgrounds made the course extremely interesting and a learning experience for me i had to refresh my memory of the philosophy i studied at high school in italy in a previous life learn some modern moral philosophy i had not met at school such as the work by elisabeth anscombe and philippa foot amongst others read a substantial amount of new material some of it fresh off the press as the course was unfolding and broaden my horizons i could not have asked for a better intellectual experience and the students in the course from denmark france germany iceland and the netherlands taught me well kept me on my toes and stimulated me to keep reading material related to ethics even now that the course is over teaching the course reinforced my belief that a course on ethics and on the impact that our field has on social justice should be required for all students in computer science if you plan to run such a course i strongly recommend that you consider the ferreira vardi course as a blueprint posted by luca aceto at 7 04 pm 2 comments email this blogthis share to x share to facebook share to pinterest friday april 30 2021 polyconc online collaboration to improve on a result on the equational theory of ccs modulo bisimilarity the aim of this post is to try and start an online collaboration to improve the solution to a problem in the equational logic of processes that i posed in a survey paper in 2003 namely can one obtain a finite axiomatisation of the parallel composition operator in bisimulation semantics by adding only one binary operator to the signature of recursion restriction and relabelling free ccs valentina castiglioni wan fokkink anna ingólfsdóttir bas luttik and i published a partial negative answer to the above question in a paper at csl 2021 see the arxiv version for details and for the historical context for the above question our solution is based on three simplifying assumptions that are described in detail in section 3 of the above mentioned paper we d be very interested in hearing whether any member of the research community in process algebra universal algebra and equational logic can relax or remove any of our simplifying assumptions in particular one can start with assumptions 3 and 2 we would also welcome any comments and suggestions on whether some version of that problem can be solved using existing results from equational logic and universal algebra in particular are there any general results guaranteeing that under certain conditions the reduct of a finitely based algebra is also finitely based or conversely that if some algebra is not finitely based then so its expansion with a new operator to start with add any contributions you might have as comments to this post if ever we make substantial enough progress on the above question anyone who has played a positive role in extending our results will be a co author of the resulting paper let polyconc begin posted by luca aceto at 8 41 pm no comments email this blogthis share to x share to facebook share to pinterest sunday february 21 2021 article by sergey kitaev and anthony mendes in jeff remmel s memory sergey kitaev just shared with me an article he wrote with anthony mendes in jeff remmel s memory jeff remmel was a distinguished mathematician with a very successful career in both logic and combinatorics the short biography at the start of the article paints a vivid picture of jeff remmel s personality and will be of interest and inspiration to many readers his hiring as an assistant professor in the department of mathematics at uc san diego at age 25 without officially finishing his ph d and without having published a single paper was in jeff remmel s own words a fluke that will never happen again i had the pleasure of making jeff remmel s acquaintance when he visited sergey in reykjavik and thoroughly enjoyed talking to him about a variety of subjects he was truly a larger than life academic posted by luca aceto at 11 47 am no comments email this blogthis share to x share to facebook share to pinterest monday february 08 2021 whence do research collaborations in tcs arise about ten days ago i gave a talk to my colleagues at the department of computer science at reykjavik university introducing my personal and admittedly very biased view of the past present and future of ice tcs after my presenta tion a colleague asked me how she could engage mathematicians and theoretical computer scientists in joint research i gave her an answer off the top of my head but it was clear that she was unconvinc ed and felt that i was avoid ing answering her question for the record i basically told her that she should knock on our door discuss with us the problems she was interested in solving and hope that they are of interest to us i feel that many research collaborations arise from serendipity and that there is no recipe that is guaranteed to work the thought that she felt that i might have dodged her question prompted me to look back at my own research collabo rations and how they came about the rest of this post is the result of that quick and dirty reflection let me state right away that my list isn t meant to be exhausti ve and that i won t mention many of the collaborations in which i have been lucky to be involved and that i have played a crucial role in shaping my academic development reading papers one of my long term resear...