Meta tags:

Headings (most frequently used words):

june, 2016, computer, science, in, phd, at, process, algebra, diary, tuesday, 21, monday, 06, friday, 03, wednesday, 01, pages, blog, archive, about, me, eatcs, bulletin, issue, 119, is, available, online, one, or, post, doctoral, position, the, school, of, reykjavik, university, 10, funded, positions, for, studies, gssi, aquila, views, on, work, theoretical, by, wolfgang, thomas,

Text of the page (most frequently used words):
the (128), and (64), for (39), june (25), may (20), september (20), phd (20), april (19), november (18), january (17), march (17), one (17), that (17), july (16), december (16), february (16), this (16), with (16), august (15), science (15), october (14), computer (14), research (14), position (12), share (12), from (12), will (12), are (11), work (10), 2016 (10), their (10), eatcs (9), have (9), gssi (9), luca (8), bulletin (8), email (8), interested (8), http (8), aceto (7), about (7), infinite (7), where (7), can (7), when (7), some (7), project (7), university (7), 2015 (6), theoretical (6), school (6), words (6), also (6), just (6), was (6), but (6), advice (6), www (6), paper (6), you (6), monitorability (6), studies (5), issue (5), automata (5), theory (5), been (5), alphabet (5), other (5), years (5), postdoctoral (5), tcs (5), systems (5), applications (5), reykjavik (5), logic (5), funded (4), positions (4), available (4), pinterest (4), facebook (4), blogthis (4), comments (4), posted (4), two (4), well (4), there (4), which (4), not (4), own (4), times (4), good (4), time (4), possible (4), members (4), should (4), fellows (4), program (4), students (4), group (4), infn (4), adrian (4), francalanza (4), applicants (4), process (4), online (3), home (3), posts (3), more (3), has (3), over (3), general (3), mathematics (3), results (3), asked (3), say (3), experience (3), young (3), whether (3), means (3), people (3), researcher (3), than (3), büchi (3), all (3), pdf (3), ten (3), institute (3), distributed (3), information (3), application (3), runtime (3), related (3), starting (3), algebra (3), view (2), views (2), post (2), doctoral (2), 119 (2), moment (2), find (2), interesting (2), extend (2), finite (2), done (2), already (2), know (2), space (2), states (2), letter (2), natural (2), model (2), hundred (2), they (2), set (2), here (2), something (2), phase (2), enter (2), later (2), first (2), many (2), last (2), would (2), prepared (2), teacher (2), scientific (2), said (2), how (2), don (2), your (2), luck (2), point (2), member (2), actively (2), open (2), important (2), necessary (2), cooperate (2), mas (2), together (2), different (2), had (2), continue (2), mutual (2), back (2), started (2), study (2), interest (2), successor (2), still (2), reading (2), old (2), org (2), rota (2), way (2), historical (2), used (2), try (2), write (2), papers (2), great (2), start (2), contribute (2), provide (2), wolfgang (2), thomas (2), gran (2), sasso (2), international (2), aquila (2), italy (2), tools (2), use (2), efficient (2), networks (2), analysis (2), software (2), successful (2), candidates (2), activities (2), three (2), moreover (2), statement (2), outlining (2), see (2), excellent (2), distribute (2), icelandic (2), malta (2), anna (2), ingolfsdottir (2), foundations (2), hennessy (2), milner (2), recursion (2), during (2), previous (2), verification (2), tool (2), detecter (2), degree (2), closely (2), fields (2), concurrency (2), desirable (2), 000 (2), isk (2), roughly (2), exchange (2), rate (2), per (2), month (2), before (2), taxes (2), year (2), another (2), send (2), least (2), soon (2), edu (2), benefit (2), ice (2), investigate (2), notions (2), real (2), thanks (2), learn (2), diary (2), awesome, inc, theme, powered, blogger, complete, profile, 2006, 109, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2017, 2018, 2019, 2020, 2021, 2022, 2023, 2024, 2025, 2026, blog, archive, pages, subscribe, atom, older, newer, finally, comment, topic, excites, chapters, intensively, ways, state, pushdown, combined, control, stack, contents, sequences, symbols, presently, trees, objects, example, number, given, theoretic, structure, known, since, called, points, baire, algorithmic, focus, classical, much, principles, takes, determination, devotion, things, person, happens, postdocs, case, unclear, very, get, permanent, end, lucky, strain, gymnasium, career, party, spoke, saharon, shelah, giants, worries, competition, true, give, away, hopes, observation, faculty, supported, respective, department, want, brilliant, colleague, advantage, prove, field, participate, new, topics, anyway, job, lasts, decades, beyond, postdoc, look, balance, between, others, teams, cooperation, next, variation, motto, learnt, warning, join, too, small, communities, cite, each, 1977, seen, dissertation, encouraged, beware, becoming, explained, admiration, society, think, his, 1970, wanted, relevant, meant, deeper, problems, involved, subject, long, term, attracted, works, rabin, because, demanding, treated, structures, numbers, tree, functions, represent, attachment, letters, mathematician, worth, delightful, like, addressed, lesson, age, ams, notices, 199701, comm, blackboards, projectors, were, posed, entertaining, clearly, wise, gian, carlo, lessons, wish, taught, judge, experiences, help, then, add, what, influenced, master, did, read, masters, even, index, low, short, sentences, regarding, student, personal, younger, interests, best, fifth, installment, series, budding, posting, contribution, happy, wednesday, recently, established, center, advanced, offers, mainly, concerned, heterogeneous, interactions, perspectives, offered, design, implementation, management, main, areas, algorithms, communication, social, formal, methods, correctness, engineering, resilient, apart, pursuing, opportunity, board, frequent, guests, detailed, found, fellowships, awarded, yearly, amount, 159, gross, free, accommodation, facilities, canteen, tuition, fees, waived, covered, insurance, against, accident, injury, must, submitted, through, form, accompanied, curriculum, vitae, describing, brief, challenges, consider, thesis, reasons, choosing, deadline, 1st, italian, zone, call, 0862, 428026, info, opportunities, advertisement, fully, close, heart, located, abruzzo, region, grateful, could, announcement, potentially, friday, invited, part, fund, under, direction, aim, develop, further, fragments, variants, modal, calculus, build, proposers, developed, goals, fellowship, msc, background, mathematical, competence, provides, stipend, 290, 2080, current, early, wage, 400, 2870, present, dates, renewable, based, performance, satisfaction, including, list, publications, addresses, below, suitability, names, referees, reviewing, arrive, accept, until, filled, however, strongly, encourage, annai, details, hold, knowledge, calculi, highly, remuneration, semantics, operational, structural, qualification, requirements, she, visit, within, environment, centre, excellence, its, icetcs, apply, construction, prototype, extensions, incorporate, enforceability, understand, existing, relate, formulated, thereby, consolidating, disparate, concepts, our, setting, modelled, timed, variant, respect, instrumentation, ups, explore, stringent, conditions, detection, ones, considered, any, effect, monitorable, subset, svrg, doi, 1007, 978, 319, 23820, 3_5, monday, now, prefer, download, printed, version, usual, support, access, features, following, columns, might, researchers, interviews, recipients, kazuo, iwama, editor, chief, secretary, office, alonzo, church, award, gödel, prize, michael, yuri, gurevich, vladimir, vovk, fundamentals, values, introduction, matthias, hauswirth, laurent, feuilloley, pierre, fraigniaud, survey, decision, line, tuesday, mostly, solely, fun, stuff, large, issues, teaching, academic, life,

Text of the page (random words):
process algebra diary june 2016 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 tuesday june 21 2016 eatcs bulletin issue 119 is available online the june 2016 issue of the bulletin of the eatcs is now available on line if you prefer you can download a pdf with the printed version of the bulletin as usual thanks to the support of the members of the eatcs the bulletin is open access this issue of the bulletin features the following columns survey of distributed decision by laurent feuilloley and pierre fraigniaud learn to program program to learn by matthias hauswirth and fundamentals of p values introduction by yuri gurevich and vladimir vovk some of you might also be interested in advice to young researchers from michael fellows and other fellows of the eatcs and in interviews with the recipients of the gödel prize 2016 and of the first alonzo church award thanks to kazuo iwama the editor in chief of the bulletin and the eatcs secretary office for their work on another excellent issue of the bulletin posted by luca aceto at 10 43 pm no comments email this blogthis share to x share to facebook share to pinterest monday june 06 2016 one phd or post doctoral position at the school of computer science reykjavik university theoretical foundations for monitorability school of computer science reykjavik university one phd or postdoctoral position applications are invited for one phd or postdoctoral position at the school of computer science reykjavik university the position is part of a research project funded by the icelandic research fund under the direction of luca aceto reykjavik university adrian francalanza university of malta and anna ingolfsdottir reykjavik university the general aim of the project is to develop further the theoretical foundations of monitorability for fragments of variants of hennessy milner logic with recursion modal mu calculus the project work will build on the rv 2015 paper by the co proposers http dx doi org 10 1007 978 3 319 23820 3_5 and on the experience developed during their previous work on runtime verification and on the tool detecter http www cs um edu mt svrg tools detecter the goals of the project will be to explore more stringent conditions for detection than the ones considered in the rv 2015 paper and study whether this has any effect on the monitorable subset of the logic to investigate the monitorability of the logic with respect to instrumentation set ups other than the one used in the rv 2015 paper to extend our results from the rv 2015 paper to the setting of real time systems modelled as timed automata and to a real time variant of hennessy milner logic with recursion to understand how existing notions of monitorability relate to the one formulated in the rv 2015 paper thereby consolidating disparate concepts of monitorability to investigate extensions to monitorability that incorporate notions of enforceability and to apply the results of the theoretical work in the construction of a prototype software tool for the runtime analysis of systems the successful candidates will benefit from and contribute to the research environment at the icelandic centre of excellence in theoretical computer science ice tcs for information about ice tcs and its activities see http www icetcs ru is moreover she he will visit adrian francalanza s group at the university of malta during the project work and will benefit from the research experience on runtime verification within that group qualification requirements applicants for the phd fellowship should have an msc degree in computer science or closely related fields some background in concurrency theory and mathematical competence are desirable applicants for the postdoctoral position should have or be about to hold a phd degree in computer science or closely related fields previous knowledge of at least one of concurrency theory process calculi structural operational semantics and logic in computer science is highly desirable remuneration the phd position provides a stipend of 290 000 isk roughly 2080 at the current exchange rate per month before taxes for three years starting as early as possible the wage for the postdoctoral position is 400 000 isk roughly 2870 at the present exchange rate per month before taxes the position is for one year starting on september 1 2016 later starting dates are possible and is renewable for another year based on good performance and mutual satisfaction application details interested applicants should send their cv including a list of publications in pdf to all addresses below together with a statement outlining their suitability for the project and the names of at least two referees luca aceto email luca ru is adrian francalanza email adrian francalanza um edu mt anna ingolfsdottir email annai ru is we will start reviewing applications as soon as they arrive and will continue to accept applications until the position is filled however we strongly encourage interested applicants to send in their applications as soon as possible posted by luca aceto at 10 54 am no comments email this blogthis share to x share to facebook share to pinterest friday june 03 2016 10 funded positions for phd studies in computer science at gssi in l aquila i have been asked to distribute this advertisement of ten fully funded phd positions at the gran sasso science institute an international phd school that is close to my heart and that is located in abruzzo my home region in italy i d be grateful if you could distribute this announcement to potentially interested students there are excellent opportunities for students interested in tcs the gran sasso science institute gssi http www gssi infn it a recently established international phd school and a center for advanced studies in l aquila italy offers 10 phd positions in computer science cs the phd program in cs is mainly concerned with heterogeneous distributed systems and their interactions different perspectives are offered to provide students with the necessary tools for the design the implementation the management and the use of distributed systems the main research areas of interest are efficient algorithms for communication networks and social networks formal methods for systems correctness and analysis software engineering for efficient and resilient applications apart from pursuing their own research studies the successful candidates will have the opportunity to cooperate with members of the research group and of the scientific board as well as with the frequent guests of the institute detailed information about the cs research group and about the activities for the phd program in cs can be found at http cs gssi infn it the fellowships are awarded for three years and their yearly amount is 16 159 91 gross moreover all phd students will have free accommodation at the gssi facilities and use of the canteen will have tuition fees waived will be covered by insurance against accident and or injury the application must be submitted through the online form available at http www gssi it phd and have to be accompanied by the curriculum vitae and by a statement letter describing a brief research project outlining the research challenges to consider for the phd thesis the reasons for choosing gssi for the phd studies the deadline for application is 1st september 2016 at 18 00 italian time zone for information see http www gssi infn it phd or write an email to info gssi infn it or call 39 0862 428026 posted by luca aceto at 2 07 pm no comments email this blogthis share to x share to facebook share to pinterest wednesday june 01 2016 views on work in theoretical computer science by wolfgang thomas in the fifth installment of the series in which fellows of the eatcs provide their advice to the budding tcs researcher i am posting the contribution by wolfgang thomas happy reading as one of the eatcs fellows i have been asked to contribute some personal words of advice for younger people and on my research interests well i try my best regarding advice to a student and young researcher interested in tcs i start with two short sentences read the great masters even when their h index is low don t try to write ten times as many papers as a great master did and then i add some words on what influenced me when i started research you may judge whether my own experiences that go back to historical times would still help you by the way advice from historical times where blackboards and no projectors were used posed in an entertaining but clearly wise way is gian carlo rota s paper ten lessons i wish i had been taught http www ams org notices 199701 comm rota pdf this is a view of a mathematician but still worth reading and delightful for eatcs members people like me 68 years old are also addressed in the last lesson be prepared for old age back in the 1970 s when i started i wanted to do something relevant for me this meant that there should be some deeper problems involved and that the subject of study is of long term interest i was attracted by the works of büchi and rabin just because of this that was demanding and it treated structures that will be important also in hundred years the natural numbers with successor and the tree of all words over some alphabet with successor functions that represent the attachment of letters the next point is a variation of this it is a motto i learnt from büchi and it is a warning not to join too small communities where the members just cite each other in 1977 when he had seen my dissertation work büchi encouraged me to continue but also said beware of becoming member of an mas and he explained that this means mutual admiration society i think that his advice was good i am also asked to say something about principles for the postdoctoral phase it takes determination and devotion to enter it i can say just two things from my own experience as a young person and from later times first as it happens with many postdocs in my case it was unclear up to the very last moment whether i would get a permanent position in the end i was lucky but it was a strain i already prepared for a gymnasium teacher s career and when on a scientific party i spoke to saharon shelah one of the giants of model theory about my worries he said well there is competition how true so here i just say don t give away your hopes and good luck the other point is an observation from my time as a faculty member and it means that good luck may be actively supported when a position is open the people in the respective department do not just want a brilliant researcher and teacher but also a colleague so it is an important advantage when one can prove that one has more than just one field where one can actively participate that one can enter new topics which anyway is necessary in a job which lasts for decades and that one can cooperate beyond an mas so for the postdoc phase this means to look for a balance between work on your own and work together with others and if possible in different teams of cooperation finally a comment on a research topic that excites me at this moment i find it interesting to extend more chapters of finite automata theory to the infinite this has been done intensively in two ways already we know automata with infinite state space e g pushdown automata where states are combined from control states and stack contents and we know automata over infinite words infinite sequences of symbols from a finite alphabet presently i am interested in words or trees or other objects where the alphabet is infinite for example where a letter is a natural number and in general where the alphabet is given by an infinite model theoretic structure infinite words over the alphabet n are well known in mathematics since hundred years they are called points of the baire space there in computer science one is interested in algorithmic results which have not been the focus in classical set theory and mathematics so much is to be done here posted by luca aceto at 6 28 pm no comments email this blogthis share to x share to facebook share to pinterest newer posts older posts home subscribe to posts atom pages home blog archive 2026 11 september 1 august 2 may 1 april 2 march 3 january 2 2025 9 june 1 may 1 april 4 march 1 february 2 2024 9 december 1 september 1 may 1 april 1 march 2 february 1 january 2 2023 9 november 1 october 2 july 1 june 1 april 1 march 2 january 1 2022 15 december 2 november 2 september 1 august 2 july 2 june 1 may 2 march 3 2021 20 december 4 november 1 september 1 august 4 june 3 may 1 april 1 february 4 january 1 2020 9 november 1 august 1 june 2 may 1 april 4 2019 25 december 1 november 1 october 2 september 1 july 1 june 3 may 2 april 5 march 3 february 4 january 2 2018 23 december 3 november 1 october 2 september 4 august 2 july 1 june 1 april 3 february 2 january 4 2017 35 december 3 november 1 september 2 august 2 july 2 june 4 may 3 april 4 march 5 february 3 january 6 2016 50 december 4 november 3 october 3 september 4 august 1 july 4 june 4 eatcs bulletin issue 119 is available online one phd or post doctoral position at the school of 10 funded positions for phd studies in computer sc views on work in theoretical computer science by may 10 april 3 march 3 february 7 january 4 2015 48 december 6 november 3 october 6 september 5 august 1 july 9 june 2 may 2 april 3 march 3 february 4 january 4 2014 47 december 2 november 2 october 5 september 3 august 1 july 8 june 5 may 5 april 4 march 7 february 1 january 4 2013 47 december 2 november 1 october 2 september 8 august 3 july 6 june 4 may 1 april 6 march 5 february 4 january 5 2012 41 december 3 november 3 october 6 september 1 august 1 july 6 june 2 may 1 april 7 march 4 february 5 january 2 2011 42 december 3 november 3 october 2 september 3 august 1 july 1 june 8 may 5 april 8 march 2 february 3 january 3 2010 37 december 1 november 1 october 3 september 7 august 2 july 2 june 2 may 7 april 2 march 6 february 1 january 3 2009 33 december 1 november 3 october 5 september 3 july 1 june 5 april 2 march 4 february 6 january 3 2008 72 november 5 october 2 september 5 july 15 june 3 may 7 april 9 march 9 february 6 january 11 2007 109 december 13 november 8 october 11 september 8 august 12 july 5 june 12 may 12 april 4 march 6 february 8 january 10 2006 84 december 14 november 12 october 7 september 11 august 8 july 5 june 15 may 12 about me luca aceto view my complete profile awesome inc theme powered by blogger