Meta tags:

Headings (most frequently used words):

2023, in, science, and, thursday, the, on, for, friday, computer, committee, october, 03, march, positions, at, gran, sasso, institute, lipics, international, open, access, of, formal, process, algebra, diary, program, steering, november, 16, tuesday, 24, 20, july, 07, june, 08, monday, april, 09, important, dates, publication, submission, invited, speakers, website, january, 12, pages, blog, archive, about, me, eleven, postdoc, week, interview, with, concur, test, time, award, recipients, affordable, high, quality, proceedings, conferences, summer, school, methods, cyber, physical, systems, workshop, synthesis, monitoring, learning, udine, theoretics, status, update, ten, fully, funded, phd, call, papers, fourteenth, symposium, games, automata, logics, verification, gandalf, 23, resources, how, to, apply, cs, job, academia, industry,

Text of the page (most frequently used words):
the (158), and (104), for (44), university (32), 2023 (31), science (30), with (30), share (30), #lipics (29), computer (26), this (26), are (26), that (26), june (23), september (22), open (21), november (20), april (20), papers (20), may (19), august (19), october (19), december (19), march (19), january (18), july (17), access (17), has (17), february (16), conferences (15), their (15), proceedings (15), italy (14), will (14), you (12), published (12), community (12), luca (11), aceto (11), quality (11), comments (11), have (11), board (11), formal (10), research (10), journal (10), conference (10), which (10), theoretics (9), pinterest (9), facebook (9), blogthis (9), email (9), posted (9), gandalf (9), best (9), international (8), methods (8), verification (8), its (8), publishing (8), positions (7), high (7), time (7), any (7), information (7), systems (7), from (7), editorial (7), 2022 (6), how (6), apply (6), udine (6), chair (6), authors (6), submission (6), theoretical (6), work (6), all (6), deadline (6), logics (6), group (6), process (6), encourage (6), volumes (6), academia (5), phd (5), concur (5), award (5), week (5), pages (5), post (5), available (5), here (5), not (5), software (5), automata (5), first (5), applications (5), also (5), opinion (5), one (5), gssi (5), see (5), can (5), very (5), publish (5), way (5), phase (5), support (5), dagstuhl (5), series (5), articles (5), article (5), 2017 (4), 2021 (4), job (4), call (4), affordable (4), blog (4), industry (4), might (4), some (4), thursday (4), institute (4), decision (4), games (4), theory (4), spread (4), admittedly (4), biased (4), was (4), more (4), site (4), list (4), our (4), whole (4), your (4), meena (4), informatics (4), theme (3), 2016 (3), resources (3), fourteenth (3), ten (3), fully (3), funded (3), status (3), summer (3), school (3), cyber (3), physical (3), interview (3), test (3), posts (3), grateful (3), could (3), make (3), students (3), https (3), martin (3), germany (3), reykjavik (3), iceland (3), france (3), israel (3), free (3), invited (3), results (3), format (3), following (3), submitted (3), computation (3), logical (3), submit (3), publication (3), paper (3), synthesis (3), run (3), learning (3), order (3), researchers (3), new (3), but (3), friday (3), news (3), been (3), gran (3), sasso (3), were (3), two (3), under (3), wanted (3), read (3), advisory (3), many (3), field (3), whether (3), hope (3), mahajan (3), foundation (3), happy (3), everyone (3), young (3), application (3), participation (3), course (3), those (3), events (3), leibniz (3), portfolio (3), related (3), acm (3), since (3), recipients (3), year (3), algebra (3), profile (2), about (2), 2008 (2), 2010 (2), 2011 (2), 2012 (2), 2013 (2), 2014 (2), 2015 (2), 2018 (2), 2019 (2), 2020 (2), update (2), eleven (2), postdoc (2), home (2), such (2), material (2), advice (2), coming (2), tuesday (2), gandalf23 (2), uniud (2), zimmermann (2), aalborg (2), denmark (2), jean (2), université (2), belgium (2), salerno (2), javier (2), esparza (2), steering (2), committee (2), irisa (2), state (2), long (2), gabriele (2), helsinki (2), finland (2), program (2), tel (2), aviv (2), easychair (2), org (2), original (2), use (2), provided (2), previous (2), already (2), special (2), issues (2), selected (2), dates (2), acceptance (2), finite (2), models (2), model (2), aspects (2), computational (2), game (2), hybrid (2), higher (2), procedures (2), working (2), idea (2), spectrum (2), welcome (2), relevant (2), topics (2), areas (2), early (2), covered (2), include (2), limited (2), symposium (2), held (2), provides (2), excellent (2), environment (2), recent (2), places (2), details (2), wish (2), present (2), project (2), find (2), there (2), healthy (2), month (2), called (2), possible (2), done (2), where (2), members (2), most (2), editors (2), eics (2), prestigious (2), help (2), become (2), top (2), journals (2), proofs (2), end (2), days (2), within (2), though (2), term (2), however (2), continue (2), thomas (2), schwentick (2), pascal (2), weil (2), respectively (2), secretary (2), treasurer (2), volume (2), attend (2), online (2), euro (2), vat (2), third (2), followed (2), workshop (2), monitoring (2), selection (2), form (2), schloss (2), center (2), developing (2), developed (2), growth (2), well (2), had (2), total (2), grown (2), involved (2), amongst (2), other (2), cooperation (2), readers (2), per (2), cost (2), least (2), costs (2), price (2), elsevier (2), usd (2), opinions (2), luck (2), she (2), over (2), impact (2), dialogue (2), external (2), event (2), life (2), approximately (2), interests (2), academic (2), specific (2), applicants (2), diary (2), awesome, inc, powered, blogger, view, complete, 2006, 109, 2007, 2009, 2024, 2025, 2026, archive, subscribe, atom, older, newer, thanks, advance, favourite, matt, collect, somewhere, department, asked, jobs, whatever, say, them, going, through, collected, website, françois, raskin, libre, bruxelles, mimmo, parente, angelo, montanari, salvatore, torre, munich, completed, jana, wagemaker, radboud, netherlands, patrick, totzke, liverpool, ocan, sankur, cnrs, joshua, sack, california, beach, usa, puppis, giovanni, pighizzini, milano, guillermo, pérez, antwerp, pawel, parys, warsaw, poland, shankara, narayanan, krishna, indian, technology, bombay, india, fabio, mogavero, napoli, leucker, lübeck, orna, kupferman, hebrew, naoki, kobayashi, tokyo, japan, miika, hannula, nicola, gigante, bozen, bolzano, dana, fisman, ben, gurion, fici, palermo, léo, exibard, gustave, eiffel, giorgio, delzanno, genova, valentina, castiglioni, christel, baier, technische, universität, dresden, parosh, aziz, abdulla, uppsala, sweden, antonis, achilleos, dario, della, monica, alexander, rabinovich, rennes, sophie, pinchinat, juha, kontinen, city, london, laure, daviaud, speakers, conf, unpublished, contain, reporting, experimental, encouraged, data, submissions, must, pdf, handled, via, address, should, exceed, excluding, references, clearly, marked, appendices, using, eptcs, please, latex, style, editions, led, foundations, acta, informatica, revised, version, issue, electronic, aoe, deadlines, camera, ready, notification, abstract, important, specification, infinite, testing, reinforcement, analysis, probabilistic, markov, processes, reactive, real, checking, modal, temporal, programs, complexity, semantics, biology, embedded, mobile, languages, deductive, compositional, abstraction, techniques, concurrency, distributed, automated, deduction, bring, together, who, actively, fields, cover, ample, themes, ranging, stimulate, cross, fertilization, focused, especially, tool, these, discussing, ideas, stage, development, aim, ranked, national, assessment, exercise, officially, launched, current, precise, right, away, five, near, review, every, intention, covers, reflected, operates, diamond, paradigm, means, charges, levied, nor, involves, much, establishing, majority, representatives, prominent, domain, pair, remarkable, chief, münchen, uri, zwick, then, worked, assemble, continues, meet, regularly, steer, innovate, reviewing, streamlining, without, compromising, aiming, typically, lasts, between, months, determines, caliber, expected, exposition, relatively, wide, interest, assumption, correct, when, concludes, positively, starts, objective, verifying, possibly, making, constructive, suggestions, better, result, shorter, response, being, rejected, average, reached, after, three, commitment, made, got, remains, progress, now, something, show, efforts, success, depend, scientific, wants, serve, precious, context, word, people, around, regards, sent, permission, submitting, monday, www, cism, activities, courses, j2303, 120, 250, offered, giving, possibility, remotely, microsoft, teams, platform, assigned, come, served, basis, registration, fees, edition, period, contributors, notch, univr, feel, drop, line, interested, applying, doing, great, strongly, consider, joining, family, team, sterling, specialized, improved, automatic, metadata, extraction, documents, supporting, manual, typesetting, server, praised, alike, give, limit, myself, mentioning, annual, biennial, 555, 1444, addition, increasingly, initiatives, sure, artifacts, archived, cited, appropriately, heritage, csl, disc, ecoop, esa, fsttcs, icalp, icdt, ipec, itcs, mfcs, socg, stacs, recognise, additions, knowledge, far, none, started, left, take, fact, mean, service, visibility, advances, financial, technologies, sat, itc, forc, founders, offer, venue, date, 262, kept, low, currently, subsidised, participants, comparison, want, peruse, page, example, 370, according, dated, 400, pricing, member, sigs, 1000, 700, springer, whose, web, portal, dblp, know, covering, just, saw, vincent, danos, krivine, repoted, 2004, recognised, someone, interviewed, enjoy, reversible, communicating, behalf, thank, reading, publishes, testimonial, experience, either, sending, piece, text, guest, mark, last, her, role, even, doesn, need, doubt, foster, commercialisation, increase, evaluates, carefully, maintains, providing, feedback, needed, try, contribute, developments, realises, each, knows, what, sometimes, identify, weaknesses, pointed, out, body, keyword, benefit, exchange, facets, 195, 261, 143, 000, steadily, 100, roughly, 450, still, room, committees, ask, communities, they, prefer, switch, mentioned, like, think, outlet, lipic, commercialization, goal, candid, conversation, approaches, scholarship, prioritize, public, aquila, advertised, postdoctoral, nine, projects, connected, algorithms, engineering, broadly, construed, benefits, requirements, italian, zone, potential, yourself, offers, welcoming, supportive, ages, place, researcher, thrive, official, interesting, mostly, solely, fun, stuff, mathematics, large, general, teaching,

Text of the page (random words):
2023 the theme of this year s event is community over commercialization and its goal is to encourage a candid conversation about which approaches to open scholarship prioritize the best interests of the public and the academic community and which do not you can read more here as i mentioned in a previous post i like to think that lipic s has followed the theme of this year s open access week well since its foundation and has provided an affordable and high quality open access publication outlet to conferences in computer science since october 2017 lipics has published 195 volumes with a total of 8 261 articles and approximately 143 000 pages the lipics series has grown steadily from 25 published volumes with approximately 1 100 articles in 2017 to 36 published volumes with roughly 1 450 articles in 2022 however there is still room for some growth and i encourage the steering committees of high quality conferences in any field of computer science that do not publish their proceedings in open access form to ask their communities whether that s in their best interests and whether they d prefer to switch to lipics in my admittedly very biased opinion the editorial board of lipics evaluates all applications to publish in the series carefully and maintains a dialogue with the conferences in the lipics community providing feedback as needed in order to try and contribute to the healthy developments of those events of course the editorial board realises that each conference knows what is best for its community but sometimes an external opinion can help to identify weaknesses that might be developing in the way a conference is run and that are best pointed out by an external body in any event the keyword is dialogue and we all benefit from an open exchange of opinions in all facets of our work and life this coming october 31 will mark the end of my third and last two year term as chair of the editorial board of lipics from november 1 meena mahajan will be the chair of that board i wish meena the best of luck for her new role even though she doesn t need any luck i have no doubt that with the support of the editorial board she will continue to foster community over commercialisation and increase the impact that lipics has on the computer science community if you are reading this blog post and your conference publishes its proceedings with lipics i d be very grateful if you could post your opinions on lipics and a testimonial with your experience of working with lipics either as comments to this article or by sending me a piece of text that i can use as a guest post on this blog on behalf of everyone involved in lipics i thank the computer science community for its support posted by luca aceto at 8 07 am no comments email this blogthis share to x share to facebook share to pinterest friday october 20 2023 interview with the concur 2023 test of time award recipients i just saw that an interview with the recipients of the concur 2023 test of time award is available here i am very happy to see the work by vincent danos and jean krivine repoted in their article reversible communicating systems published at concur 2004 recognised with this prestigious award and that someone interviewed the award recipients enjoy posted by luca aceto at 2 15 pm 3 comments email this blogthis share to x share to facebook share to pinterest friday july 07 2023 lipics affordable high quality and open access proceedings of conferences in computer science as i hope many members of the theoretical computer science community know lipics leibniz international proceedings in informatics is a series of high quality conference proceedings covering the whole spectrum of research in informatics which has been run since 2008 in cooperation with schloss dagstuhl leibniz center for informatics the founders of lipics wanted to offer high quality conferences in computer science a venue for publishing their proceedings open access in an affordable way to date lipics has published 262 volumes see dblp and the lipics web portal that are free to read for everyone and whose publication costs are kept as low as possible currently 60 per paper and are subsidised by the participants in the relevant conferences by way of comparison readers might want to peruse the cost of publishing open access in springer conference proceedings at least 30 per page or in an elsevier journal by way of example publishing an open access article in theoretical computer science costs 2 370 according to the price list dated 19 june 2023 that is available from the elsevier site the price for an open access article in information and computation is 2 400 information on the acm open access pricing is here if at least one of the authors is a member of the acm or of one of its sigs the cost of publishing an article open access is 1000 usd for acm journals and 700 usd for conference proceedings conferences that publish their proceedings with lipics include concur csl disc ecoop esa fsttcs icalp icdt ipec itcs mfcs socg stacs and many other events readers of this blog will recognise conferences such as forc itc sat and advances in financial technologies were recent additions to the lipics portfolio to the best of my knowledge so far none of the conferences that have started publishing their proceedings with lipics have left the series i take this fact to mean that those conferences are happy with the service and visibility that lipics provides to give you an idea of the growth of lipics as well as of dagstuhl publishing as a whole i will limit myself to mentioning that in 2016 the lipics conference proceedings series had 27 annual and biennial conferences in its portfolio and published 16 conference proceedings volumes with a total of 555 articles by 2022 the lipics portfolio had grown to 40 conferences 36 volumes and 1444 published articles in addition dagstuhl publishing and lipics have become increasingly involved in open science and amongst other initiatives have developed a cooperation with the software heritage project to make sure that research related software artifacts are archived and cited appropriately the dagstuhl publishing team has done sterling work on developing specialized software which has improved the automatic metadata extraction from documents or supporting the manual typesetting it has also developed a new submission server that has been praised by authors and editors alike in my admittedly biased opinion lipics and schloss dagstuhl leibniz center for informatics are doing a great job for the computer science community i strongly encourage high quality conferences in any field of computer science to consider joining the lipics family and to publish their proceedings in open access form feel free to drop me a line if you are interested in applying see here for information on how to apply and on the selection process posted by luca aceto at 11 06 am no comments email this blogthis share to x share to facebook share to pinterest thursday june 08 2023 summer school on formal methods for cyber physical systems and workshop on synthesis monitoring and learning in udine the third edition of the univr uniud summer school on formal methods for cyber physical systems will be held in udine italy in the period august 28 31 it will be followed by the workshop on synthesis monitoring and learning on august 31 and september 1 the list of contributors to those events is top notch the course is offered in a hybrid format giving the possibility to remotely attend the course on the microsoft teams platform on site places are limited and assigned on first come first served basis the registration fees are on site participation 250 00 euro vat 22 online participation 120 00 euro vat 22 the deadline for online application is august 18 2023 participation application is available at https www cism it en activities courses j2303 spread the news and encourage students and young researchers to attend posted by luca aceto at 9 21 am no comments email this blogthis share to x share to facebook share to pinterest monday april 03 2023 theoretics status update thomas schwentick meena mahajan and pascal weil chair secretary and treasurer of the theoretics foundation respectively sent me the following information on theoretics which i am happy to share with our community with their permission i encourage everyone to support the journal by submitting their best work to it theoretics was officially launched in december 2021 and we wish to present you with the current status of the project you can find more precise information on the journal s site theoretics journal org the first papers were submitted right away in december 2021 and some were published in 2022 volume 1 2022 has two papers volume 2 2023 already has five published papers more are very near acceptance and there is a healthy list of papers under review with more papers submitted every month our intention was to have a journal that covers the whole of theoretical computer science and this is reflected in the list of published papers we also wanted to have an open access journal it operates under the so called diamond open access paradigm which means that no charges are levied to read it nor to publish in it and one that involves the theoretical computer science community as much as possible this was done by first establishing an advisory board where the majority of the members are representatives of many of the most prominent conferences of the domain the advisory board selected a pair of remarkable editors in chief javier esparza tu münchen and uri zwick tel aviv university and then worked with the eics to assemble a prestigious editorial board the advisory board continues to meet regularly with the eics to help steer the journal we also wanted to innovate in the reviewing process streamlining it without compromising in any way the quality of the papers as we are aiming to become one of the very top journals in the field the editorial board has a so called phase 1 process which typically lasts between 2 and 3 months which determines whether the paper is of the caliber expected for the journal quality of the results and quality of the exposition relatively wide interest under the assumption that the proofs are correct when this phase 1 concludes positively phase 2 starts with the objective of verifying the proofs and possibly making constructive suggestions to the authors as to how to better present their results the result we hope is a higher quality for the papers published and also a shorter response time for most of the papers which will end up being rejected as of early 2023 on average a decision for phase 1 was reached 64 days after submission within the three month commitment the editorial board made 85 of the papers got a phase 1 decision within 94 days theoretics remains a work in progress though we now have something to show for our efforts the long term success of the journal will however continue to depend on the support of the scientific community it wants to serve your support is precious in this context and we hope you will spread the word and encourage people around you to submit their best papers to theoretics with best regards thomas schwentick meena mahajan and pascal weil respectively chair secretary and treasurer of the theoretics foundation posted by luca aceto at 10 33 am no comments email this blogthis share to x share to facebook share to pinterest thursday march 09 2023 ten fully funded phd positions in computer science at the gran sasso science institute the computer science group at the gssi has ten fully funded phd positions see the call for applications for details the deadline for applications is 30 may 2023 the computer science group at the gssi provides an excellent environment for phd students and its group has been ranked as excellent by a recent national research assessment exercise in my admittedly biased opinion it is one of the places to be for research in computer science in italy spread the news posted by luca aceto at 1 49 pm no comments email this blogthis share to x share to facebook share to pinterest friday march 03 2023 call for papers for the fourteenth international symposium on games automata logics and formal verification gandalf 23 the fourteenth international symposium on games automata logics and formal verification gandalf 23 will be held in udine italy on september 18 20 2023 the aim of gandalf 2023 is to bring together researchers from academia and industry who are actively working in the fields of games automata logics and formal verification the idea is to cover an ample spectrum of themes ranging from theory to applications and stimulate cross fertilization papers focused on formal methods are especially welcome authors are invited to submit original research or tool papers on all relevant topics in these areas papers discussing new ideas that are at an early stage of development are also welcome the topics covered by the conference include but are not limited to the following automata theory automated deduction computational aspects of game theory concurrency and distributed computation decision procedures deductive compositional and abstraction techniques for verification finite model theory first order and higher order logics formal languages formal methods for systems biology hybrid embedded and mobile systems game semantics games and automata for verification logical aspects of computational complexity logics of programs modal and temporal logics model checking models of reactive and real time systems probabilistic models markov decision processes program analysis and software verification reinforcement learning run time verification and testing specification and verification of finite and infinite state systems synthesis important dates abstract submission deadline 23 june 2023 paper submission deadline 30 june 2023 acceptance notification 7 august 2023 camera ready deadline 6 september 2023 conference dates 18 20 september 2023 all deadlines are aoe publication the proceedings will be published by electronic proceedings in theoretical computer science authors of selected papers will be invited to submit a revised version of their work to a special issue of logical methods in computer science the previous editions of gandalf already led to special issues of the international journal of foundations of computer science gandalf 2010 theoretical computer science gandalf 2011 and 2012 information and computation gandalf 2013 2014 2016 2017 2018 2019 and 2020 acta informatica gandalf 2015 and logical methods in computer science gandalf 2021 and 2022 submission submitted papers should not exceed 14 pages excluding references and clearly marked appendices using eptcs format please use the latex style provided here be unpublished and contain original research for papers reporting experimental results authors are encouraged to make their data available with their submission submissions must be ...