Meta tags:

Headings (most frequently used words):

2014, and, of, for, the, icalp, july, october, eatcs, guest, post, by, friday, in, nominations, day, wednesday, 11, 2015, call, andrew, winslow, 17, thursday, september, award, invited, talk, december, sunday, november, 08, 04, monday, 10, from, issue, bulletin, cfp, two, recap, networks, with, local, model, clément, canonne, amir, lewenstein, on, time, testing, conference, process, algebra, diary, 30, tuesday, 31, saturday, 03, august, 29, 13, 09, 07, pages, blog, archive, about, me, pc, chairs, 2016, reminder, deadline, several, awards, is, approaching, neat, problem, 1989, maths, olympiads, fellows, first, ccc, 15, posted, letter, president, presburger, distinguished, dissertation, report, trends, ilaria, castellani, mohammadreza, mousavi, recent, events, reykjavik, crossroads, art, science, 10th, ice, tcs, theory, george, mertzios, sotiris, nikoletseas, christoforos, raptopoulos, paul, spirakis, determining, majority, interactions, very, small, memory, karl, bringmann, fabian, kuhn, konstantinos, panagiotou, ueli, peter, henning, thomas, internal, dla, efficient, simulation, physical, growth, sanjeev, arora, abboud, virginia, vassilevska, williams, oren, weimann, consequences, faster, alignment, sequences, amihood, timothy, chan, moshe, noa, hardness, jumbled, indexing, john, iacono, özgür, özkan, why, some, heaps, support, constant, amortized, decrease, key, operations, others, do, not, victor, kuncak, andreas, björklund, thore, husfeldt, shortest, disjoint, paths, polynomial, mitsuru, kusumoto, yuichi, yoshida, forest, isomorphism, adjacency, list, rom, aschner, matthew, katz, bounded, angle, spanning, tree, modeling, angular, constraints, canal, tour, dinner, review, dnf, approximators, monotone, boolean, functions, eric, blais, welcome, claire, matthieu, györgy, dósa, jiří, sgall, optimal, analysis, best, fit, bin, packing, hossein, esfandiari, mohammadtaghi, hajiaghayi, reza, khani, vahid, liaghat, hamid, mahini, harald, räcke, online, stochastic, reordering, buffer, scheduling, erik, demaine, yamming, huang, chung, shou, liao, kunihiko, sadakane, canadians, should, travel, randomly, dmitry, gavinsky, shachar, lovett, en, route, to, log, rank, conjecture, new, reductions, equivalent, formulations, general, assembly, copenhagen, music, composed, gödel, prize, ceremony, gets, coverage, nature, fast, algorithms, constructing, maximum, entropy, summary, trees, howard, karloff, equivalence, polynomials, under, shifts, rafael, mendes, de, oliveira,

Text of the page (most frequently used words):
the (873), and (361), for (206), that (146), this (111), with (94), eatcs (78), 2014 (77), are (66), share (63), time (60), icalp (54), from (51), work (49), one (47), can (46), some (46), was (45), not (45), award (44), will (43), have (41), also (39), you (37), all (36), problem (35), but (35), #science (34), two (33), 2015 (33), talk (33), about (32), july (31), first (31), number (31), algorithm (31), email (29), they (27), has (27), research (26), october (25), december (25), posted (25), given (25), nominations (24), their (24), our (24), computer (24), luca (23), aceto (23), may (23), guest (23), post (23), comments (23), many (23), day (22), facebook (22), conference (22), algorithms (22), september (21), november (21), pinterest (21), blogthis (21), which (21), new (21), where (21), here (21), his (21), call (20), any (20), each (20), members (20), june (19), august (19), april (19), problems (19), tree (19), heaps (19), community (19), january (18), march (18), art (18), university (18), what (18), set (18), then (18), using (18), how (18), into (18), every (18), size (18), polynomial (18), theory (18), very (17), most (17), tcs (17), only (17), best (17), erik (17), must (17), february (16), presburger (16), good (16), graph (16), these (16), students (16), both (16), gave (16), known (16), boolean (16), computing (16), prove (15), had (15), paper (15), log (15), dnf (15), issue (14), other (14), there (14), nodes (14), well (14), function (14), pair (14), theoretical (14), andrew (13), people (13), committee (13), presented (13), out (13), process (13), used (13), case (13), learning (13), fellows (12), invited (12), model (12), such (12), after (12), bound (12), year (12), input (12), find (12), make (12), functions (12), who (12), more (12), monotone (12), http (12), like (12), field (12), org (12), winslow (11), bulletin (11), when (11), edges (11), three (11), over (11), them (11), possible (11), least (11), related (11), were (11), rank (11), protocol (11), track (11), mst (11), outstanding (11), prize (10), copenhagen (10), several (10), enjoy (10), networks (10), expected (10), total (10), fit (10), would (10), paths (10), between (10), been (10), theorem (10), testing (10), points (10), its (10), dissertation (10), candidate (10), microsoft (10), event (9), done (9), effect (9), scientists (9), data (9), results (9), large (9), including (9), graphs (9), ratio (9), use (9), achieve (9), lower (9), compute (9), conjecture (9), way (9), should (9), being (9), question (9), think (9), papers (9), node (9), 3sum (9), trees (9), look (9), key (9), equivalence (9), hope (9), scientific (9), mathematics (9), her (9), young (9), researchers (9), your (9), gödel (8), events (8), deadline (8), see (8), much (8), ceiling (8), local (8), few (8), properties (8), degree (8), considered (8), analysis (8), place (8), having (8), shortest (8), randomized (8), ideas (8), list (8), matrix (8), same (8), part (8), general (8), point (8), high (8), majority (8), linear (8), simple (8), hard (8), whether (8), might (8), even (8), following (8), summary (8), pit (8), ice (8), address (8), nomination (8), index (8), php (8), trends (7), distinguished (7), letter (7), 2016 (7), friday (7), read (7), colleagues (7), claire (7), glass (7), social (7), last (7), she (7), form (7), does (7), than (7), natural (7), bin (7), items (7), loglog (7), edge (7), while (7), demaine (7), none (7), within (7), constant (7), held (7), non (7), probability (7), too (7), approximation (7), writing (7), great (7), approach (7), takes (7), group (7), amir (7), important (7), thesis (7), dissertations (7), view (6), crossroads (6), cfp (6), technical (6), started (6), network (6), random (6), system (6), study (6), bins (6), item (6), instance (6), optimal (6), upper (6), type (6), randomly (6), uses (6), path (6), information (6), blocked (6), version (6), sqrt (6), selection (6), complexity (6), amount (6), japan (6), previous (6), end (6), working (6), dnfs (6), now (6), approximate (6), again (6), quite (6), whole (6), proof (6), rooted (6), different (6), www (6), available (6), program (6), did (6), whose (6), contributions (6), queries (6), others (6), decrease (6), academic (6), rule (6), please (6), colors (6), shape (6), speakers (6), future (6), concurrency (6), published (6), awards (6), access (6), 2013 (5), clément (5), recent (5), reykjavik (5), forward (5), thank (5), talks (5), chair (5), entitled (5), joint (5), why (5), incoming (5), according (5), above (5), better (5), giving (5), gap (5), fixed (5), take (5), either (5), times (5), comes (5), bounds (5), communication (5), inputs (5), bits (5), provide (5), assembly (5), kyoto (5), start (5), get (5), page (5), kindly (5), those (5), amongst (5), eric (5), computation (5), almost (5), open (5), blais (5), world (5), area (5), course (5), constraint (5), programming (5), next (5), example (5), just (5), long (5), spanning (5), additional (5), angle (5), give (5), tour (5), fellow (5), received (5), articles (5), interesting (5), modelling (5), string (5), alignment (5), since (5), preprocessing (5), query (5), result (5), fibonacci (5), roots (5), thursday (5), draw (5), entropy (5), decide (5), population (5), during (5), particle (5), peter (5), artistic (5), featured (5), presentation (5), association (5), lics (5), silicon (5), valley (5), 2010 (4), president (4), ccc (4), neat (4), maths (4), chairs (4), posts (4), danish (4), thanks (4), thore (4), husfeldt (4), looking (4), nature (4), homophily (4), week (4), david (4), scientist (4), authors (4), chosen (4), goes (4), class (4), final (4), really (4), online (4), opt (4), exist (4), instances (4), competitive (4), put (4), types (4), buffer (4), title (4), goal (4), tight (4), achieves (4), pseudo (4), until (4), main (4), combined (4), consider (4), minimum (4), value (4), proving (4), implies (4), rome (4), italy (4), submissions (4), years (4), far (4), issues (4), advisor (4), formulas (4), hypercube (4), written (4), subcubes (4), property (4), indeed (4), namely (4), computed (4), efficiently (4), approximated (4), strings (4), game (4), level (4), term (4), html (4), exists (4), tan (4), together (4), parity (4), requires (4), pdf (4), canonne (4), wednesday (4), specification (4), meets (4), job (4), four (4), programs (4), code (4), red (4), constraints (4), five (4), along (4), examples (4), vertices (4), disjoint (4), maximum (4), solving (4), cycle (4), andreas (4), leading (4), try (4), small (4), checking (4), omega (4), another (4), line (4), weight (4), hardness (4), common (4), through (4), second (4), unsupervised (4), topics (4), assuming (4), distribution (4), sanjeev (4), included (4), dictionary (4), substrings (4), quadratic (4), showed (4), histogram (4), lewenstein (4), mentioned (4), fast (4), pairing (4), sort (4), because (4), support (4), clique (4), third (4), named (4), rafael (4), efficient (4), state (4), shift (4), candidates (4), solve (4), before (4), karloff (4), include (4), applied (4), subject (4), scheduler (4), walk (4), thomas (4), organized (4), teaching (4), icelandic (4), attended (4), life (4), society (4), introduction (4), computational (4), message (4), excellent (4), robot (4), selected (4), behavioural (4), current (4), particular (4), automata (4), algebra (4), name (4), international (4), 31st (4), nominate (4), harvard (4), calls (4), reading (4), theme (3), complete (3), 2008 (3), 2011 (3), 2012 (3), music (3), composed (3), recap (3), report (3), ilaria (3), 1989 (3), olympiads (3), home (3), piece (3), ceremony (3), video (3), sub (3), further (3), twist (3), host (3), welcome (3), paris (3), monday (3), located (3), universities (3), hosting (3), female (3), entries (3), gives (3), men (3), top (3), 1000 (3), respectively (3), developed (3), formal (3), growing (3), means (3), added (3), repeatedly (3), advisors (3), attachment (3), defined (3), seems (3), sgall (3), standard (3), collection (3), placing (3), existing (3), otherwise (3), solution (3), old (3), sequence (3), steps (3), block (3), operation (3), adversarial (3), worst (3), models (3), regarding (3), solutions (3), attracted (3), compared (3), deterministic (3), improve (3), lead (3), difference (3), party (3), called (3), found (3), bit (3), bounded (3), equivalent (3), show (3), break (3), areas (3), representations (3), nice (3), yet (3), notion (3), furthermore (3), works (3), min (3), argument (3), cover (3), needed (3), help (3), concluded (3), approximating (3), someone (3), rocco (3), servedio (3), ever (3), probabilistic (3), via (3), needs (3), responsibility (3), victor (3), covered (3), performance (3), applications (3), structures (3), finally (3), based (3), major (3), run (3), vertex (3), self (3), permanent (3), running (3), asked (3), adjacent (3), isomorphic (3), visual (3), smallest (3), largest (3), family (3), distance (3), groups (3), dinner (3), author (3), role (3), turn (3), around (3), boundary (3), meeting (3), check (3), himself (3), develop (3), something (3), words (3), tractable (3), made (3), making (3), techniques (3), deep (3), human (3), pointed (3), learn (3), successfully (3), cases (3), abboud (3), williams (3), weimann (3), similar (3), usual (3), faster (3), clean (3), indexing (3), chan (3), positive (3), slides (3), audience (3), operations (3), pointer (3), build (3), children (3), john (3), moshe (3), max (3), standing (3), improving (3), big (3), mathematical (3), allow (3), combine (3), could (3), idea (3), vector (3), questions (3), correct (3), polynomials (3), prime (3), howard (3), distributed (3), rules (3), color (3), consisting (3), usually (3), containing (3), origin (3), idla (3), empty (3), location (3), session (3), paul (3), took (3), origami (3), cooperation (3), mit (3), systems (3), replicators (3), programme (3), instructions (3), impact (3), christian (3), robots (3), practice (3), protocols (3), challenges (3), authentication (3), established (3), recognize (3), phd (3), eligible (3), fields (3), sent (3), supervisor (3), letters (3), today (3), nominated (3), widmayer (3), supporting (3), encourage (3), submit (3), proceedings (3), importantly (3), kurt (3), position (3), sadoway (3), laboratory (3), usa (3), engineering (3), phone (3), journal (3), vicente (3), profile (2), 2006 (2), 2007 (2), 2009 (2), review (2), reminder (2), blog (2), archive (2), pages (2), gets (2), coverage (2), presenting (2), things (2), remember (2), opportunity (2), organizing (2), created (2), off (2), gmt (2), ens (2), watch (2), space (2), reports (2), mathieu (2), itu (2), separate (2), famous (2), database (2), authorship (2), subgraphs (2), women (2), assumptions (2), sufficient (2), imply (2), preferential (2), infinity (2), male (2), removing (2), dblp (2), intrinsically (2), hypothesis (2), meta (2), directly (2), formally (2), dösa (2), classic (2), packing (2), fewest (2), newly (2), room (2), placed (2), previously (2), shown (2), jiří (2), felt (2), vahid (2), liaghat (2), scheduling (2), enter (2), cost (2), processing (2), changes (2), esfandiari (2), designs (2), various (2), sizes (2), threshold (2), soon (2), specific (2), occurrences (2), traveler (2), partial (2), cannot (2), visited (2), parameterized (2), huang (2), liao (2), sadakane (2), ways (2), careful (2), yields (2), exactly (2), short (2), factor (2), dmitry (2), parties (2), blocks (2), below (2), polylog (2), gavinsky (2), lovett (2), led (2), involved (2), travel (2), kazuo (2), iwama (2), thought (2), matthieu (2), reductions (2), student (2), rich (2), wikipedia (2), faculty (2), mostly (2), 1999 (2), answered (2), bloggers (2), simplest (2), little (2), background (2), recall (2), arguably (2), everything (2), presence (2), hint (2), representation (2), fraction (2), order (2), negations (2), buy (2), surprising (2), asks (2), considering (2), clearly (2), shouldn (2), intuition (2), understand (2), huge (2), exponential (2), mind (2), exact (2), hastad (2), sampling (2), approximator (2), folklore (2), yang (2), typo (2), typesetting (2), synthesizing (2), focused (2), breaking (2), easier (2), doesn (2), briefly (2), arithmetic (2), algebraic (2), sat (2), integer (2), seconds (2), correctness (2), lines (2), black (2), combination (2), plus (2), fact (2), stressed (2), test (2), etc (2), trick (2), lists (2), especially (2), mention (2), length (2), minimizing (2), except (2), obstacle (2), relate (2), perhaps (2), already (2), probably (2), mitsuru (2), answering (2), setting (2), adjacency (2), matters (2), kusumoto (2), yoshida (2), forests (2), special (2), partitioning (2), ensures (2), aschner (2), katz (2), reduction (2), hamiltonian (2), square (2), step (2), larger (2), potential (2), connecting (2), resulting (2), ratios (2), awarded (2), moni (2), ronald (2), fagin (2), spoke (2), michael (2), successful (2), consecutive (2), rom (2), isomorphism (2), carry (2), execution (2), always (2), itself (2), intractability (2), statistical (2), right (2), starting (2), determining (2), realistic (2), subset (2), described (2), article (2), geometric (2), convex (2), polytope (2), obtained (2), contained (2), machine (2), approaches (2), evidence (2), matching (2), score (2), longest (2), subsequence (2), improvements (2), say (2), hugely (2), allowed (2), character (2), follow (2), produce (2), jumbled (2), alphabet (2), answer (2), occurrence (2), counts (2), naive (2), contribution (2), achieving (2), simultaneously (2), alphabets (2), timothy (2), mixing (2), kept (2), array (2), recommended (2), patrascu (2), left (2), note (2), iacono (2), özkan (2), without (2), pay (2), costs (2), distinct (2), elmasry (2), chain (2), remains (2), solvable (2), opening (2), refuting (2), strong (2), though (2), matter (2), task (2), project (2), instead (2), sure (2), anyway (2), went (2), weights (2), intuitive (2), prefixes (2), don (2), him (2), generalization (2), zero (2), improvement (2), matches (2), subroutine (2), parts (2), know (2), dvir (2), oliveira (2), shpilka (2), under (2), shifts (2), shirley (2), constructing (2), nlog (2), interaction (2), thing (2), seen (2), blue (2), endpoints (2), appear (2), basic (2), requirements (2), finite (2), mertzios (2), nikoletseas (2), christoforos (2), spirakis (2), fair (2), strictly (2), robust (2), karl (2), circles (2), radius (2), theta (2), bringmann (2), kuhn (2), panagiotou (2), jumps (2), leave (2), attending (2), lattice (2), internal (2), sunday (2), scs (2), centre (2), stage (2), however (2), showcasing (2), period (2), sciences (2), undergraduate (2), keynote (2), often (2), antithetic (2), artists (2), methods (2), intellectual (2), figures (2), renaissance (2), past (2), benefits (2), readers (2), artist (2), inspirational (2), anna (2), hrund (2), listening (2), interview (2), inspiration (2), fiction (2), answers (2), recently (2), swarms (2), multi (2), highlights (2), language (2), fun (2), masterclass (2), 2005 (2), whatever (2), eth (2), universidad (2), complutense (2), madrid (2), zoltan (2), esik (2), szeged (2), van (2), kim (2), larsen (2), aalborg (2), wang (2), mass (2), transformers (2), 10th (2), thinking (2), ccp (2), want (2), sense (2), school (2), edition (2), series (2), ifip (2), workshop (2), participants (2), passport (2), abstract (2), equivalences (2), verify (2), security (2), devised (2), associates (2), application (2), overview (2), link (2), logic (2), minimization (2), respect (2), notions (2), lts (2), motto (2), alexandra (2), mohammadreza (2), mousavi (2), castellani (2), defended (2), respective (2), euro (2), receiving (2), web (2), submitted (2), addition (2), endorsement (2), opinion (2), theses (2), fedor (2), fomin (2), date (2), department (2), european (2), conferred (2), annually (2), member (2), later (2), consists (2), justification (2), mail (2), woodruff (2), heart (2), favourite (2), researcher (2), truly (2), recipients (2), courses (2), enrollments (2), institutions (2), signed (2), substantial (2), let (2), enjoyed (2), willingness (2), publication (2), outlet (2), springer (2), hearing (2), publications (2), strongly (2), acm (2), prizes (2), achievement (2), spotlight (2), younger (2), worth (2), announce (2), distant (2), happy (2), institute (2), fundamental (2), staff (2), loss (2), positions (2), prestigious (2), honours (2), vladimiro (2), sassone (2), whet (2), appetite (2), anca (2), muscholl (2), bordeaux (2), france (2), individual (2), service (2), news (2), provides (2), leda (2), book (2), accept (2), desk (2), geometry (2), citizens (2), secretary (2), achievements (2), affiliation (2), postal (2), nominator (2), accomplishments (2), characteristics (2), reality (2), diary (2), awesome, inc, powered, blogger, 109, cere, andre, castel, disserta, oct, 2017, 2018, 2019, 2020, 2021, 2022, 2023, 2024, 2025, 2026, subscribe, atom, older, newer, composition, english, titles, adding, back, lovely, breathe, atmosphere, capital, city, saw, arriving, kongens, nytorv, smiling, guy, showing, sign, cyclists, car, drivers, husk, smuk, beautiful, trio, opened, legendary, 150, lunch, concert, launch, reception, meet, preparing, band, jazzy, relaxed, ambience, kicks, tomorrow, 30am, plenary, streamed, live, græd, recording, jazzhus, montmartre, jazz, festival, carsten, dahl, kicked, mentioning, stats, noted, conferences, month, denmark, emergence, chen, avin, zvi, lotker, barbara, keller, peleg, yvonne, ann, pignolet, asking, listed, rare, similarly, bleak, induced, shows, connected, disconnected, sparse, proved, minimal, iteratively, chosing, examining, said, parameters, able, verified, experimentally, modifying, account, capture, rather, proven, cause, struck, ness, isn, impacts, ability, specified, numbers, assign, permanently, differ, criteria, oldest, remaining, ceil, improved, dropping, completing, commented, deserved, agree, air, finality, rest, universe, sized, flushing, causing, processed, studies, sitation, sampled, average, adversary, permuted, lemmas, exceeded, curious, canandian, introduced, papadimitriou, yannakakis, 1991, intense, canadian, snowfall, traversed, endpoint, avoids, implied, nearly, traverse, repeating, reaching, destination, whereas, finds, reviewing, passing, entry, rectangles, partition, rectangular, versions, progress, low, ended, appearances, accomodations, statistics, elias, koutsoupias, acceptance, rate, steady, vast, bulk, organization, notch, sessions, sound, projection, existent, food, drink, tasty, rotates, shachar, route, formulations, yamming, chung, shou, kunihiko, canadians, hossein, mohammadtaghi, hajiaghayi, reza, khani, hamid, mahini, harald, räcke, stochastic, reordering, györgy, dósa, stick, gender, minority, richer, choose, proportional, inge, lehmann, swat, sea, building, parlance, 2000, concerned, precisely, disjunctive, normal, eactly, taking, union, prefers, argue, depth, nightmare, extensively, studied, amidst, facts, mere, auditorium, clear, settled, turns, picture, understood, required, allows, error, leads, brings, coordinate, wise, starter, intuitively, anything, suppose, approximations, gist, drastic, savings, maj, counting, concentration, measure, middle, belt, subcube, thus, lot, allowing, yep, currently, additionally, separation, boggling, changing, quantifiers, independent, fix, broken, columbia, edu, icalp14, upshot, independently, stitching, regularity, lemma, simpler, reduce, quine, friend, korshunov, kuznetsov, lupanov, johan, håstad, approximators, verifying, software, recursive, phillipe, suter, turning, scala, implemented, indicated, row, table, mean, easy, induction, reasoning, solvers, empirical, 100, counterexamples, incorrect, tress, insertion, encoded, elements, inserted, although, prototyping, generation, cool, counterexample, negation, reducing, verification, extreme, generating, converting, dates, sorted, impressed, floating, avoided, rounding, errors, winner, undirected, pairs, minimized, near, lengths, thrust, entirely, focusing, loops, journey, eliminated, certain, ring, necessary, replaced, determinant, computations, technique, followup, slide, prepared, conclusion, posed, direction, undireced, covers, cycles, divisible, introducing, correctly, 3rds, present, repesentation, performing, subgraph, significantly, away, partitions, nicely, wireless, design, plane, output, euclidean, equilateral, triangle, require, interior, simply, collinearly, apart, shared, causes, trivial, interval, finding, hexagonal, grid, greater, shorter, collections, enough, actually, reduced, pigeonhole, shofting, groupings, canals, odd, palace, historical, franklin, missing, fourth, facilitating, collaboration, naor, amnon, lotem, canal, connect, decompose, matthew, modeling, angular, yuichi, forest, björklund, leon, synthesis, create, assertion, compile, andrej, spielmann, ettienne, kneuss, eva, darulova, ruzica, piskac, kuncak, survey, provable, across, overcoming, refers, loosely, pile, raw, extra, relevant, newspaper, foothold, unknown, explanation, overcome, explained, lie, topic, corpus, text, york, describe, advance, separable, hull, removed, complex, objects, built, neutral, cortex, barrier, effective, effectively, trying, ouch, accuracy, rates, corpora, conditional, defining, symbols, maximizes, resisted, exponent, quick, genomic, heuristics, popular, slow, billion, edit, penalties, commen, wildcards, wildcard, characters, match, proofs, flavor, preprocess, pattern, suffix, arrays, yield, scanning, window, sum, precompute, histograms, unpublished, structure, motivation, details, convolution, indices, proves, hand, drawn, caught, beginning, deadpan, delivery, promise, keep, light, quiet, chuckling, chat, insert, extract, families, bigger, distingushes, augmentation, root, augmented, fredman, classes, assumption, values, requirement, restriction, says, nothing, cheat, height, actual, considers, grow, contradiction, recursively, repeat, attention, özgür, amortized, unlike, amihood, noa, resolving, cnf, solved, weak, blast, virginia, vassilevska, oren, consequences, sequences, arora, revolved, gigantic, tiny, sheet, screen, magnificent, weighted, parameter, genealogy, descendants, obscure, mathematician, gauss, hell, carefully, dismiss, subsets, naturally, assigning, straightforward, fashion, original, subtree, balanced, phrased, differently, arbitrary, metanode, slight, exponentially, possibilities, pretty, bad, decreasing, sadly, counter, managed, additive, came, kill, albeit, provably, greedy, crux, alright, sorting, merging, merge, yes, device, blackbox, variate, devices, coauthors, infamous, identity, affairs, ramifications, difficult, generalizes, explicit, witness, represented, coefficients, spite, harder, randomness, translates, corresponding, roughly, speaking, successively, coming, longer, alas, plug, collapse, forth, simplifications, trickles, down, calling, lets, hold, hop, graphics, forum, thumb, write, trap, cole, morally, zeev, mendes, voilà

Text of the page (random words):
y 2014 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 wednesday december 17 2014 pc chairs for icalp 2016 i am happy to inform you that the pc chairs for icalp 2016 will be track a yuval rabani hebrew university jerusalem israel track b davide sangiorgi university of bologna italy track c michael mitzenmacher harvard university usa many thanks to these colleagues for their willingness to serve as pc chairs for the conference which will be held in rome posted by luca aceto at 1 31 pm no comments email this blogthis share to x share to facebook share to pinterest thursday december 11 2014 reminder the deadline for nominations for several eatcs awards is approaching this is to remind you that the deadline for nominations for the following awards is the 31st of december 2014 eatcs award http eatcs org index php eatcs award eatcs distinguished dissertation award http www eatcs org index php dissertation award eatcs fellows http www eatcs org index php eatcs fellows presburger award http eatcs org index php presburger i strongly encourage members of the tcs community to nominate eligible colleagues for these accolades writing a good letter of nominations takes a little work but this is time well spent as it puts some of the many outstanding members of our community and their research areas in the spotlight and provides role models for the younger members of the tcs community the deadline for nominations for the gödel prize http eatcs org index php goedel prize is january 31 2015 the award committees for the above mentioned prizes and honours look forward to receiving your nominations posted by luca aceto at 3 55 pm no comments email this blogthis share to x share to facebook share to pinterest sunday november 30 2014 a neat problem from the 1989 maths olympiads a few days ago universidad complutense de madrid hosted a celebration of the 50th anniversary of the spanish maths olympiads the programme involved three talks the first was on other number systems quaternions and octonions and the second dealt with the roots of random polynomials in the third talk vicente muñoz velázquez presented his personal views on the nature of mathematics before discussing some of the highlights of his research area leading to yang mills and mass gap according to vicente mathematics is a human product and its characteristics are the rules of logic modelling of reality beauty transversality relations between apparently distant fields generalization and abstraction social activity applicability i could not help but think that those characteristics apply equally well to computer science with the added twist that computer scientists are not only modelling reality but also inventing and breathing life into new realities during his talk vicente presented a problem from the 1989 international maths olympiad in which he took part the problem was prove that for each positive integer n there exist n consecutive positive integers none of which is a prime or a prime power this is a neat problem that perhaps some of you might like to try and solve posted by luca aceto at 9 59 am 2 comments email this blogthis share to x share to facebook share to pinterest tuesday november 11 2014 eatcs fellows 2015 call for nominations in case you have not seen it before here is the call for nominations for eatcs fellows 2015 do nominate strong candidates for this accolade call for nominations for eatcs fellows 2015 instructions please note all nominees and nominators must be eatcs members submit by december 31 of the current year for fellow consideration by email to the eatcs secretary secretary eatcs org the subject line of the email should read eatcs fellow nomination requirements for eatcs nomination the eatcs fellows program is established by the association to recognize outstanding eatcs members for their scientific achievements in the field of theoretical computer science the fellow status is conferred by the eatcs fellows selection committee upon a person having a track record of intellectual and organizational leadership within the eatcs community fellows are expected to be model citizens of the tcs community helping to develop the standing of tcs beyond the frontiers of the community in order to be considered by the eatcs fellows selection committee candidates must be nominated by at least four eatcs members please verify your membership at http www eatcs org the eatcs fellows selection committee consists of rocco de nicola imt lucca italy paul goldberg oxford uk anca muscholl bordeaux france dorothea wagner karlsruhe germany chair roger wattenhofer eth zurich ch instructions a nomination should consist of answers to the questions below it can be co signed by several eatcs members at least two nomination letters per candidate are recommended if you are supporting the nomination from within the candidate s field of expertise it is expected that you will be specific about the individual s technical contributions to be considered nominations for 2015 must be received by december 31 2014 1 name of candidate candidate s current affiliation and position candidate s email address postal address and phone number nominator s relationship to the candidate 2 short summary of candidate s accomplishments citation 25 words or less 3 candidate s accomplishments identify the most important contributions that qualify the candidate for the rank of eatcs fellow according to the following two categories a technical achievements b outstanding service to the tcs community please limit your comments to at most three pages 4 nominator s name s affiliation s email and postal address es phone number s posted by luca aceto at 9 34 am no comments email this blogthis share to x share to facebook share to pinterest friday october 31 2014 october 2014 issue of the bulletin of the eatcs the october issue of the eatcs bulletin is now available online at http bulletin eatcs org index php beatcs issue view 16 from where you can access the individual contributions separately you can download a pdf with the printed version of the whole issue from http www eatcs org images bulletin beatcs114 pdf the bulletin of the eatcs is open access so people who are not members of the eatcs can read it let me thank the members of the association who make this service of the community possible with their support eatcs members have access to the member area which contains news and related articles and provides access to the springer reading room young researchers can find announcements of open positions news and related articles this issue of the bulletin is brimming with interesting content with five eatcs columns and a piece by david woodruff surveying the work for which he had received the eatcs presburger award 2014 amongst others you might also enjoy reading the transcript of a dialogue between christian calude and kurt mehlhorn about theory leda and algorithm engineering i find it inspiring to read christian s dialogues with famous members of our community and i always learn something useful from them unfortunately the lessons i think i learn do not make it often into my work practices that s the theory practice divide i guess here are a couple of excerpts to whet your appetite kurt s motto even definition for algorithm engineering is treat programs as first class citizens in algorithms research and not as an afterthought he also adds that algorithm engineering is not only a sub discipline of algorithms research more importantly it is a mind set cc how do you manage to juggle between so many jobs in di fferent countries km i try to follow some simple principles i avoid multi tasking i set aside time for particular tasks and then concentrate on them for example when i was writing my 1984 books and the leda book i would work on the book every work day from 8 00 am to 12 00 pm i would not accept phone calls or interruptions by students during this time now the 8am to 12pm slot is reserved for reading thinking and writing the no interruption rule still holds i clean my desk completely every evening when i leave my o ffice so that i can start with an empty desk the next morning when i accept a new responsibility i decide what i am going to give up for it for example when i became vice president of the max planck society in 2002 for a 6 year term i resigned as editor of algorithmica information and computation siam journal of computing journal of discrete and computational geometry international journal of computational geometry and applications and computing and most importantly i am supported by many people in what i do in particular my co workers my students and then administrative staff in the institute and the department cooperation and delegation are very important enjoy the issue and consider contributing to future ones posted by luca aceto at 9 05 am no comments email this blogthis share to x share to facebook share to pinterest friday october 17 2014 first cfp for icalp 2015 the first call for papers for icalp 2015 which will be held in kyoto in the period 6 10 july 2015 is available here i hope that you will consider submitting your best work to the conference the event will be rich of scientific events and will be co located with lics 2015 to whet your appetite here is the list of invited speakers and invited tutorials invited speakers ken kawarabayashi nii japan valerie king university of victoria canada thomas moscibroda msr asia china anca muscholl university of bordeaux france joint with lics peter o hearn facebook uk joint with lics invited tutorial speakers joint with lics piotr indyk mit usa andrew pitts university of cambridge uk geoffrey smith florida international university usa masterclass speaker ryuhei uehara jaist japan posted by luca aceto at 10 37 am no comments email this blogthis share to x share to facebook share to pinterest wednesday october 08 2014 cfp for ccc 15 posted dieter van melkebeek has informed me that the cfp for ccc 15 has just been posted the direct link is http computationalcomplexity org archive 2015 cfp html the deadline for submissions is november 26 2014 i hope that members of the ccc community will submit some of their best work to the first edition of the conference with open access proceedings published in lipics posted by luca aceto at 3 28 pm no comments email this blogthis share to x share to facebook share to pinterest saturday october 04 2014 call for nominations eatcs award 2015 please consider nominating outstanding theoretical computer scientists for the eatcs award 2015 the eatcs award 2015 call for nominations deadline december 31st 2014 the european association for theoretical computer science eatcs annually honours a respected scientist from our community with the prestigious eatcs distinguished achievement award the award is given to acknowledge extensive and widely recognized contributions to theoretical computer science over a life long scientific career for the eatcs award 2015 candidates may be nominated to the award committee consisting of fedor fomin university of bergen kim guldstrand larsen aalborg university and vladimiro sassone university of southampton nominations will be kept strictly confidential they should include supporting justification and be sent by e mail to the chair of the eatcs award committee vladimiro sassone email vsassone soton ac uk the list of previous recipients of the eatcs award is at http eatcs org index php eatcs award the next award will be presented during icalp 2015 in kyoto japan posted by luca aceto at 10 00 pm no comments email this blogthis share to x share to facebook share to pinterest friday october 03 2014 letter from the president of the eatcs for the october issue of the bulletin in case any of my two readers is interested in having a look here is the letter from the president that will appear in the october issue of the bulletin of the eatcs dear colleagues first of all i hope that you had a good summer break and that you have recharged your batteries for whatever challenges await you in the new academic year for many of us the start of each academic year is accompanied by teaching courses to new cohorts of students computer science enrollments seem to be increasing all over the world and several institutions including mine will have to decide how to handle the large number of students who are eager to enter our degree courses i encourage you to have a look at the slides available here for an american perspective on computer science enrollments look also at this harvard crimson article course cs 50 at harvard has over 800 undergraduates and over 850 total signed up making it now the largest class at harvard having many students is of course a substantial amount of work but the popularity of computer science also gives us a very good opportunity to entice some of these students to study the theory of computing let s make the most of it i enjoyed meeting several of you at icalp 2014 in copenhagen it was a pleasure to see many young researchers and students at the conference and i really appreciated the good attendance we had at the event thanks to all of you who made the trip to copenhagen the 41st icalp was an excellent conference both scientifically and socially the organizers did their very best to make it a memorable event and i like to think that all the participants felt welcome and enjoyed the conference on behalf of the eatcs i warmly thank thore husfeldt and his team for doing an outstanding job you can read my report on icalp 2014 in this issue of the bulletin the recordings of the invited talks and of the award session are available from the conference web page i hope that you will watch them icalp 2015 will be held in kyoto japan and will be co located with lics 2015 kazuo iwama is the icalp 2015 general chair after 42 years this will be the first ever icalp outside europe and i am very excited at the prospect of holding icalp in japan i hope that you will make plans to submit your best papers to the conference the call for papers for the conference will be ready for distribution soon the general assembly of the eatcs decided that icalp 2016 will be held in rome italy i thank tiziana calamoneri and her collaborators for their willingness to host us in rome one of the important decisions that the council of the eatcs will have to make over the next few months is related to the future publication outlet for the proceedings of icalp from 2016 our current contract with springer will expire at the end of 2015 but we only have until march 2015 to negotiate any changes to it or to decide whether to move to a different publication outlet i look forward to hearing any opinion you might have on this matter regarding publications i strongly encourage all the members of the eatcs to make all their publications freely accessi...