I hope that this call for expressions of interest for faculty positions in Computer Science at the Gran Sasso Science Institute (GSSI) will entice some of the readers of this blog to "express interest", possibly for a direct call.  In my, admittedly biased, opinion, the GSSI and its Computer Science group offer motivated academics an excellent environment to achieve their career goals and carry out the best work of which they are capable. L'Aquila and the Abruzzo region offer a good quality of life, as well as excellent food and wine.  Spread the news! Gran Sasso Science Institute ..read more

The Computer Science Department of the Gran Sasso Science institute (see https://gssi.it), which has recently been ranked among the best computer science departments in the Italian research evaluation exercise, offers 10 fully-funded PhD scholarships in Computer Science. The scholarships include several other benefits, apart from the monthly salary. See below for details. Successful candidates will have the opportunity to carry out cutting-edge research in algorithms, formal methods, or software engineering (see https://cs.gssi.it for current research activities in those fields). In particula ..read more

 GandALF 2024: Call for papers Abstract submission deadline: 7 April 2024 Paper submission deadline: 10 April 2024 Website: https://scool24.github.io/GandALF/ The Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 24) will be held in Reykjavik (Iceland) on June 19-21, 2024. This year, GandALF is part of the Reykjavik Summer of Cool Logic 2024 (SCooL 2024) and is co-located with the Twelfth Scandinavian Logic Symposium (SLSS 2024) and the Fifth Nordic Logic Summer School (NLS 2024). See https://scool24.github.io/ for information all t ..read more

The call for nominations for EATCS Fellows 2024 is out. I strongly encourage members of the EATCS to submit nominations for some of the many members of the association who would deserve this recognition. The deadline for submitting your nominations is March 7, 2024.  The submission of a nomination is easy and lightweight, but it does require the writing of a strong letter of nomination (preferably two separate ones, if my previous experience as nominator is anything to go by) co-signed by several EATCS members. Note that the nominee and the nominators must be members of the EATCS. (I ..read more

Catia Trubiani has one postdoctoral position funded by the Italian PRIN project "DREAM, modular software design to reduce uncertainty in ethics-based cyber-physical systems" at the Gran Sasso Science Institute - Computer Science Group. The call is available at the following link: https://applications.gssi.it/postdoc/  The firm deadline for application is 31 January 2024 at 3pm (Italian time).  The Computer Science Group at the Gran Sasso Science Institute has already received excellent results in the latest national evaluation exercise in Italy. Most importantly, it provides a nurtur ..read more

The Computer Science group at the Gran Sasso Science Institute (GSSI) in L'Aquila, Italy, has advertised 11 postdoctoral positions, nine of which are related to specific projects and two are open to applicants with a research profile connected to any of the research areas covered by the group (algorithms, formal methods and software engineering, broadly construed). See pages 3-6 of the official call for details on the specific positions and pages 8-9 for information on benefits, requirements, and the application and selection procedures. The deadline for applications is December 14, 2023 at 15 ..read more

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 ..read more

A ..read more

A ..read more

A ..read more