Informatica Unicam

Si è resa disponibile una #borsa di #studio per la "Progettazione e Sviluppo di Soluzioni Software in ambito BPM" con scadenza ⏰ 11 Marzo. Requisito minimo Laurea Triennale in Informatica 👨🎓 👩🎓 Scopri di più 👉 https://lnkd.in/d5BvNuUV

#iot , #ai , #blockchain . Sono ambiti fondamentali nell'ict, e il nuovo Master "Digital Solutions Manager" li affronta, per formare nuovi manager dell'innovazione. La seconda edizione del Master di I livello parte oggi, realizzato da Informatica Unicam di #unicam in seno al progetto #vitality, finanziato negli #ecosistemidellinnovazione #pnrr dal Ministero dell'Università e della Ricerca. Fondazione VITALITY Il nostro approfondimento ➡urly.it/314qy6

In questi giorni i nostri colleghi Flavio Corradini, Barbara Re e Fabrizio Fornari sono all'Università di #Zagabria presso FER, per il kickoff meeting del progetto CUL.T. (Culture & Technology). Per rispondere alla crescente pervasività delle tecnologie digitali nel mondo della valorizzazione dei beni culturali, il progetto CUL.T. mira a favorire l'accesso delle #donne con un background umanistico verso le discipline #STEM nell'#istruzione superiore europea, aumentando le loro possibilità di occupazione in un mercato del lavoro che soffre di forti #squilibri di #genere.

Lezione di Game Design presso Informatica Unicam. #ilprofdelledutainment #gamedesign #università #informatica #gamedev #videogiochi #gaming #studenti

Vi aspettiamo il 14 e 15 Febbraio a Porte aperte in Unicam per scoprire i nostri corsi di laurea triennale in Informatica e Informatica per la Comunicazione Digitale. Potrete visitare le nostre strutture, parlare con i nostri studenti, toccare con mano i nostri progetti e tanto altro. Iscriviti ora all'evento 👉https://lnkd.in/dRc9TG-C

📖What's in SoSyM Volume 23, Issue 6? 🎉 👑 The following 𝐓𝐡𝐞𝐦𝐞 𝐒𝐞𝐜𝐭𝐢𝐨𝐧 on "Requirements formalisation" was edited by Kevin Lano, Shekoufeh Rahimi, Dr Sobhan Y. Tehrani, Lola Burgueño, Mohammad Aminu Umar https://lnkd.in/dkgPQ42T 💎"Completion of SysML state machines from Given–When–Then requirements" by Maria Stella de Biase, Simona Bernardi, Stefano Marrone, José Merseguer, Angelo Palladino https://lnkd.in/d7DmWiZS 💎"Generating domain models from natural language text using NLP: a benchmark dataset and experimental comparison of tools" by Fatma Bozyiğit, Tolgahan Bardakcı, Alireza Khalili Pour, Moharram Challenger, Guus Ramackers, Önder Babur, Michel R. V. Chaudron https://lnkd.in/dXV3Zrne 💎"Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements" by Thuy Nguyen, Imen Sayar, Sophie Ebersold - Marcaillou, Jean-Michel Bruel https://lnkd.in/dtdHJhvy 👑 𝐑𝐞𝐠𝐮𝐥𝐚𝐫 𝐩𝐚𝐩𝐞𝐫𝐬 💎"Improving repair of semantic ATL errors using a social diversity metric" by Zahra VaraminyBahnemiry, Jessie Galasso, Bentley Oakes, Houari Sahraoui https://lnkd.in/djSz57ts 💎"Gamification of business process modeling education: an experimental analysis" by Giacomo Garaccione, Riccardo Coppola, Luca Ardito, Marco Torchiano https://lnkd.in/d2_Mfnmi (that was posting part 2, because there is sooo much in this issue that it does not fit the character limits 😅) Find the full issue here: https://lnkd.in/dQgrufSN We wish you a happy reading! 🌟

🎓Tantissimi complimenti al nostro Nicola Del Giudice che oggi ha conseguito il titolo di Doctor in Philosophy con la tesi "A Framework for Simulating and Analysing Multi-Agent Systems in YODA"! Un grandissimo in bocca al lupo!🎉 #phd #dottorato #università #unicam #informatica #computerscience

🎮👾 Ecco qualche scatto del seminario "CyberChallenge: formare la nuova generazione di professionisti della sicurezza informatica...giocando!" tenuto dai nostri dottorandi Mattia Paccamiccio e Francesco Moschella, con l'introduzione del nostro docente di Internet, Reti e Sicurezza Fausto Marcantoni #cyberchallenge #unicam #phd

🎓🎓Tantissimi complimenti ad Aniqa che ha conseguito il titolo di dottorato in Computer Science and Mathematics! ➡️Nella sua tesi, intitolata "Specification and Verification of Local and Global Properties of Collective Systems", Aniqa ha sviluppato un formalismo per descrivere e verificare le proprietà dei Collective Adaptive Systems. Questi sono sistemi composti da un grandissimo numero di attori che, interagendo tra loro, cooperano per svolgere attività complesse. Esempi di tale categoria di sistemi sono gli sciami di Robot Collaborativi ed i sistemi epidemiologici. Gli strumenti sviluppati da Aniqa consentono di verificare sia il comportamento complessivo del sistema che quelle del singolo agente. #collectivesystems #phd #unicam