| 12.11.2021, 12:00 | SCIAVICCO Guido, Professor, PhD, STAN Eduard Ionel, PhD | Modal Symbolic Learning |
| 16.04.2021, 12:00 | GAVRILUT Dragos, Conf.univ., PhD | The anatomy of a supply chain attack. SolarWind case. |
| 10.01.2020, 12:00 | ANDRICI Cezar | Verification of I/O behavior of programs in F* |
| 01.11.2019, 12:00 | CACHIA Ernest, Associate Professor, PhD | Saying hello, getting to know each other while helping you understand, track and plan your research and your career in today's ICT landscape. |
| 25.10.2019, 12:00 | GUPTA Anurag | Next-generation DevOps - An Introduction to Shoreline |
| 29.03.2019, 12:00 | Seminar stiintific aniversar | |
| 01.03.2019, 12:00 | Extensie workshop 2FII | |
| 07.12.2018, 12:00 | Sesiune de comunicari stiintifice | |
| 23.11.2018, 12:15 | JAIMAN Vikas | Taming Tail Latencies in Key-Value Stores under Heterogeneous Workloads |
| 23.11.2018, 11:00 | BARBI Roberta | Erasure Coding for Distributed Storage Systems |
| 22.11.2018, 13:15 | DULONG Rémi | Uncore Frequency Impact on Performances and Energy Consumption |
| 22.11.2018, 12:00 | SCHIAVONI Valerio, PhD | PubSub-SGX: Exploiting Trusted Execution Environments for Privacy-Preserving Publish/Subscribe Systems |
| 28.06.2018, 9:00 | SIMOVICI Dan, Professor, PhD | Clustering - Special Aspects |
| 27.06.2018, 9:00 | SIMOVICI Dan, Professor, PhD | Clustering - Main Issues |
| 21.06.2018, 10:00 | ROSU Grigore, Professor, PhD | Formal Design, Implementation and Verification of Blockchain Languages and Virtual Machines |
| 21.05.2018, 16:00 | FELBER Pascal, Prof., PhD | Trusted Execution Environments for Privacy-preserving Cloud Applications |
| 09.05.2018, 12:00 | RIVIERE Etienne, Prof., PhD | Measuring the impact of indirect WAN routing for geo-replicated storage on European micro-clouds |
| 22.03.2018, 12:00 | NOWACK Martin | Symbolic Execution: Revisiting the Solver Chain |
| 09.03.2018, 12:00 | OLARIU Florin, PLUGARU Bogdan | Angular & React JS & Vue JS - Quickstart & Comparison |
| 19.12.2017, 12:00 | HRITCU Catalin | Formally Secure Compilation |
| 08.12.2017, 12:00 | CARPEN-AMARIE Maria, PhD | Exploiting HTM for Improved C++ Smart Pointers |
| 24.11.2017, 13:15 | NOWACK Martin | Next Generation of Memory Management for Symbolic Execution |
| 24.11.2017, 12:00 | MERCIER Hugues, PhD | Optimal Epidemic Dissemination |
| 09.06.2017, 12:00 | ANDREI Stefan, Associate Professor, PhD | Effective and innovative pedagogical strategies based on designing and modeling 3D printed artifacts |
| 26.05.2017, 12:00 | APETREI Ionut | Workshop tehnic Java: Building microservices using Spring Boot |
| 05.05.2017, 12:00 | MARTIN André, PhD | Real-time social network graph analysis using StreamMine3G |
| 02.05.2017, 14:00 | RIVIERE Etienne, PhD | CRESON: Callable and Replicated Shared Objects over NoSQL |
| 25.04.2017, 14:00 | MERCIER Hugues, PhD | Judging the judges: Evaluating the performance of international gymnastics judges |
| 31.03.2017, 12:00 | KÖPSELL Stefan, PhD | AN.ON – Lessons learned from developing and operating an anonymous communication service |
| 09.12.2016, 10:00 | CRAINIC Teodor Gabriel, Professor, PhD | Transport intermodal. Logistica oraselor. |
| 04.11.2016, 12:00 | PIRES Rafael | Secure Content Based Routing and further directions on Intel SGX (Secure Guard Extensions) |
| 28.10.2016, 12:00 | ANTALUT Rares, ONOFREI Marius | Prezentare competitie tehnica studenteasca Electro-Mobility |
| 21.10.2016, 12:00 | CIOBANU Gabriel, Prof.univ., PhD, IFTENE Sorin, Lect.univ., PhD | Evolutia revistei facultatii in ultimii 11 ani |
| 19.05.2016, 14:00 | FELBER Pascal, Prof., PhD | Read-Log-Update: A Lightweight Synchronization Mechanism for Concurrent Programming |
| 13.05.2016, 12:00 | MARTIN André, PhD | Adaptive Fault Tolerance for Data Streaming Systems |
| 28.04.2016, 14:00 | Dr. Ing. Elke FRANZ | Resilient and Efficient Communication in Many-Core Systems using Network Coding |
| 26.04.2016, 14:00 | RAVAGNANI Alberto | Codes Endowed with the Rank Metric |
| 01.03.2016, 14:00 | MERCIER Hugues, PhD | EpTO: An Epidemic Total Order Algorithm for Large-Scale Distributed Systems |
| 19.02.2016, 12:00 | PRUTEANU Andrei | Research Intelligence Tools - UberResearch & FigShare |
| 11.12.2015, 12:00 | LOZNEANU Florin-Constantin | Scoala Spatelui - Mens Sana in Corpore sano |
| 04.12.2015, 12:00 | APETRE Madalina, COGEAN Dragos | Company presentation @FII - Centric IT Solutions |
| 06.11.2015, 12:00 | Continental Technical Show, second edition | |
| 30.10.2015, 12:00 | GODINA Filip | Understanding Big Data using Hadoop |
| 23.10.2015, 12:00 | Workshopul stiintific al Facultatii de Informatica | |
| 23.10.2015, 10:00 | Simpozionul tinerilor cercetatori din Facultatea de Informatica | |
| 25.05.2015, 12:30 | OLTEANU Vlad-Gabriel | European Satellite Navigation Competition 2015 |
| 22.05.2015, 12:00 | Prezentare InternshipProgramme @ Endava Iasi oportunitate pentru studenti | |
| 13.03.2015, 12:00 | MANOLE Gabriel, MERLUSCA Tudor, RABINSCHI Andrada | Continental Technical Show @ University |
| 06.03.2015, 12:00 | Centric IT Solutions | |
| 23.01.2015, 12:00 | STEFANESCU Gheorghe, Prof.univ., PhD | Self-assembling interactive modules: A research programme |
| 12.12.2014, 12:00 | POSTOLACHE Ionela | Implementarea de software pentru productie |
| 24.10.2014, 10:00 | Simpozionul tinerilor cercetatori din Facultatea de Informatica | |
| 30.05.2014, 12:00 | Workshop RoPython #1 - Python pentru dezvoltarea aplicatiilor web | |
| 23.05.2014, 12:00 | BOIAN Rares, Conf.univ., PhD | Robotica si Realitate Virtuala Aplicata in Medicina |
| 16.05.2014, 13:00 | AIONITOAIE Corina, MUNTEANU Stefana | Prezentare Internship Programme @ Endava Iasi - oportunitate pentru studenti |
| 16.05.2014, 12:00 | MAZILU Liviu, PINTILIE Radu | Metrics in software |
| 09.05.2014, 12:00 | HRAB Andreea | OSF Global Services wants to meet you ! |
| 28.03.2014, 13:00 | MIRON Cristian | Software Development for Infotainment Systems |
| 21.02.2014, 12:00 | Prezentare Graduates Programme @ Endava Iasi - oportunitate pentru studenti | |
| 22.11.2013, 11:15 | CRISTEA Dan, Prof.univ., PhD | Perspectivele cercetarii europene in 2014-2020 (conf. Horizon 2020, The New EU Framework Programme for Research and Innovation) |
| 04.10.2013, 12:00 | POPESCU Adrian, Researcher, PhD | Semantic text processing and applications |
| 17.06.2013, 12:00 | BAELDE David, Assistant Professor, PhD | Combining Deduction Modulo and Logics of Fixed-Point Definitions |
| 31.05.2013, 12:00 | BANFI Serenella, BARNABEI Samanta, CATTANE Nicola, SANDU Alexandru | Prezentare UniCredit Business Integrated Solutions |
| 12.04.2013, 12:00 | TOADER Mihai Claudiu | Growing Twitter (from the inside) |
| 26.02.2013, 12:00 | CHIN Wei-Ngan, Associate Professor, PhD | From Verification to Specification Inference |
| 21.01.2013, 14:00 | DESVILLETTES Laurent, Professor, PhD | Presentation of master and Phd studies in mathematics at the ENS
Cachan. PDEs applied to life sciences: morphogenesis. |
| 21.01.2013, 9:30 | COMON Hubert, Professor, PhD | Presentation of research, master
and PhD studies in Computer Science. Security and how to fill holes in a proof. |
| 30.11.2012, 12:00 | GRIGORIU Bogdan, Conf.univ., PhD, VITCU Anca, Lect.univ., PhD | Prezentare teme de cercetare |
| 16.11.2012, 12:00 | ARUSOAIEI Andrei, BOGDANAS Denis, Asist.univ., CIOBACA Stefan, PhD, GRIGORAS Gheorghe, Prof.univ., PhD, LUCANU Dorel, Prof.univ., PhD, MEREUTA Radu, SERBANUTA Traian Florin, PhD | Programming Language Design and Analysis using the K Framework |
| 09.11.2012, 12:00 | NADAS Mihai, PERENI Remus | Major Trends in the European IT Industry |
| 03.07.2012, 12:00 | ANDREI Stefan, Associate Professor, PhD | Implementing an American Sign Language Avatar for Enhancing Learning of Computer Science Concepts for Deaf or Hard-of-Hearing Students and Implementing an American Sign Language Avatar for Enhancing Learning of Computer Science Concepts for Deaf or Hard-of-Hearing Students and Deaf Interpreters |
| 10.02.2012, 12:00 | CIOBANU Gabriel, Prof.univ., PhD | From motion to mobility. The power of mobility. |
| 27.05.2011, 12:00 | ANDREI Stefan, Associate Professor, PhD | Translation of Computer Science and Mathematics Courses into American Sign Language for Deaf or Hard of Hearing Students |
| 17.05.2011, 12:00 | BIRGEGARD Ulla, Professor Emerita | Johan Gabriel Sparwenfeld's Lexicon Slavonicum |
| 24.09.2010, 12:00 | CIOBACA Stefan, PhD, CORTIER Veronique, PhD | Protocol composition for arbitrary primitives |
| 12.04.2010, 12:00 | DIMA Catalin, Prof.univ., PhD | Satisfiability and model-checking for a variant of the Computational Tree Logic of Knowledge (CTLK) |
| 23.03.2010, 14:00 | GURNY Christian | BearingPoint. To get there. Together. |
| 22.01.2010, 12:00 | RUSU Vlad, PhD | Specifying and Verifying Semantics-Preserving Model Transformations |
| 25.09.2009, 12:00 | MOGOS Gabriela | Quantum Cryptography (Teza de Doctorat, coordonator: prof.dr. Ferucio Laurentiu Tiplea) |
| 05.06.2009, 13:00 | AMAN Bogdan | Membrane Mobile. Putere de expresie si modelare. |
| 20.03.2009, 12:00 | GADIOI Lucian | Posibilitati de finantare a activitatilor de cercetare |
| 17.03.2009, 17:00 | BERWANGER Dietmar, PhD | Games in Verification and Control, and a Glimpse Beyond |
| 17.03.2009, 16:00 | BERWANGER Dietmar, PhD, NEUVILLE Bogdana | Scalability and Trust - Current Challanges in Computing |
| 16.03.2009, 12:00 | PRISECARU Oana Otilia, Asist.univ., PhD | Petri Nets-based Approaches for the Modelling and Verification of Workflow Processes (Teza de Doctorat, coordonator: prof.dr. Toader Jucan) |
| 13.03.2009, 12:00 | IFTENE Adrian, Asist.univ., PhD | Textual Entailment (Teza de Doctorat, coordonator: prof.dr. Dan Cristea) |
| 06.03.2009, 12:00 | ALBOAIE Lenuta, Lect.univ., PhD | Studii asupra modelarii increderii si a calculului reputatiei in comunitatile online (Teza de Doctorat, coordonator: prof.dr. Toader Jucan) |
| 27.02.2009, 12:00 | LOGOFATU Doina | Abordari evolutive pentru aplicatii din VLSI-CAD (Teza de Doctorat, coordonator: prof.dr. Henri Luchian) |
| 16.01.2009, 11:00 | GOREA Diana, Asist.univ., PhD | Interoperability and Integration of Processes of Knowledge Discovery in Databases (Teza de Doctorat, coordonator: prof.dr. Toader Jucan) |
| 19.12.2008, 12:00 | IFTENE Adrian, Asist.univ., PhD | Textual Entailment (Teza de Doctorat, coordonator: prof.dr. Dan Cristea) |
| 05.12.2008, 12:00 | VOICU Razvan, PhD | A Search-Based Approach to Induction Automation in Dependently Typed Proof Assistants |
| 07.11.2008, 14:00 | LUCA Alina | Editia a 3-a a competitiei studentesti Ziua Portilor Deschise |
| 07.11.2008, 12:00 | DEMANGE Marc, PhD | On the online track assignment problem (joint work with G. Di Stefano and B. Leroy-Beaulieu) |
| 22.10.2008, 14:00 | TARAN Gil, PhD | Masters of Software Engineering |
| 23.09.2008, 11:00 | BRUT Mihaela, Lect.univ., PhD | Ontology-Based Modeling and Recommendation Techniques for Adaptive Hypermedia Systems (Teza de Doctorat, coordonator: prof.dr. Toader Jucan) |
| 11.04.2008, 12:00 | GRIGORAS Romulus, Prof.univ., PhD, SALLE Patrick, Prof.univ., PhD | Prezentare a directiilor de cercetare INP Toulouse; Stagii interne INP Toulouse si Siemens VDO Toulouse |
| 18.01.2008, 12:00 | MACOVEI Geanina | Time Constraints in Workflow Net Theory (Teza de doctorat) |
| 21.12.2007, 12:00 | MAGARIU Nicolae, Conf.univ., PhD | Automatizarea proiectarii produselor software |
| 30.11.2007, 10:00 | UNTERBERGER Rolf | Cooperation between Industry and Academic Community |
| 09.11.2007, 12:00 | CUIR Lionel, LADUNCA Andrei Gabriel, LEAHU Ioana, Asist.univ. | Alize: Entreprise Security and Asset Management |
| 02.11.2007, 12:00 | BLAJUT Iulian, DAMIAN Sorin, DELIU Gabriel, GHICIUC Ilie, HOLMANU Bogdan, IACOB Andrei, PATALIU Raluca, POLICIUC Gabriel, TANASA Bogdan, VRANESCU Alexandru, VUZA Ionel | Using Microsoft Academic Program |
| 26.10.2007, 13:00 | STEFANESCU Gheorghe, Prof.univ., PhD | Models for interactive systems based on space-time duality; Agapia programming language |
| 19.10.2007, 12:00 | CRISAN Gloria Cerasela, Lect.univ. | Metode euristice Ant in Inteligenta Artificiala (Teza de Doctorat) |
| 05.10.2007, 12:00 | ANDREI Stefan, Conf.univ., PhD | Approximate Satisfiability Counting |
| 29.06.2007, 10:00 | UNTERBERGER Rolf | Software Development in Distributed Surroundings |
| 11.05.2007, 13:00 | PACE Gordon, PhD | Monadic Compositional Parsing with Context for Natural Languages |
| 11.05.2007, 12:00 | PACE Gordon, PhD | Model Checking Hardware Compilers (joint work with Koen Claessen) |
| 04.05.2007, 9:00 | Windows : Tehnologii de stocare de date si sisteme distribuite | |
| 20.04.2007, 12:00 | Microsoft Academic Tour 3.0 | |
| 20.01.2007, 13:00 | ATANASIU Adrian, Prof.univ., PhD | Binary Amiable Words |
| 19.01.2007, 12:00 | ALLOCCA Carlo | From OWL to Logic Programming: a case study inspired from Italian Culture |
| 12.01.2007, 12:00 | NEGARA Gabriel, Asist.univ. | The Protein Folding Problem. Algorithms for solving the Protein Folding Problem in the HP 2D model. |
| 21.12.2006, 12:00 | GATU Cristian, PhD | Branch-and-bound strategies for deriving the best-subset regression models |
| 19.12.2006, 14:00 | GORDAN Raluca | Informative priors based on transcription factor structural class improve de novo motif discovery |
| 15.12.2006, 12:00 | ALAIBA Vasile, POSTOLACHE Andrei | Lightweight Service Oriented Architectures - An Enterprise Java Approach |
| 08.12.2006, 12:00 | HALLETT Catalina, PhD | Tehnologii de generare de limbaj cu aplicatii in bio-informatica in proiectul CLEF |
| 24.11.2006, 12:00 | LUPU Marius | Embedded systems |
| 10.11.2006, 13:00 | ANDREI Adrian | Embarcadero Technologies SRL, Deschiderea centrului de R&D in Iasi, noiembrie 2006 |
| 10.11.2006, 12:00 | LAHAYE Jo | Open standards in IT and open source software are a necessity for Europe's economy. Subtitle: Especially for Western Europe? |
| 27.10.2006, 12:00 | DRAGAN Irinel, PhD | Average per capita formulas for Shapley values and semivalues |
| 06.10.2006, 12:00 | ANDREI Stefan, Conf.univ., PhD | Incremental Deterministic Planning |
| 16.06.2006, 12:00 | SIMOVICI Dan, Professor, PhD | Metric Methods In Data Mining |
| 06.06.2006, 12:00 | DEJONG Kenneth, Professor, PhD | Understanding Complex Adaptive Systems: An Evolutionary Agent-based Approach |
| 26.05.2006, 12:00 | RUDEANU Sergiu, Prof.univ., PhD | Comportarea automatelor |
| 05.05.2006, 12:00 | STRATULAT Sorin, PhD | Automatic "Descente Infinie" Induction Reasoning |
| 14.04.2006, 12:00 | PASCA Marius, PhD | Open Domain Question-Answering Systems |
| 07.04.2006, 12:00 | CERONE Antonio, PhD | Formal Analysis of Human-computer Interaction using Model-checking |
| 03.03.2006, 12:00 | BARISANO Attilio, BENINI Stefano, DE MARIA Cosimo, FRANCESCHI Giuliano, LENZI Franco, MONORANU Adrian, Asist.univ., SCOLLATO Gaetano | Inovatie tehnologica pentru retele de distributie |
| 27.01.2006, 12:00 | CRISAN Gloria Cerasela, Lect.univ. | Paradoxul lui Parrondo |
| 13.01.2006, 12:00 | TABLAN Valentin | The Coming of Age of Information Extraction |
| 14.12.2005, 18:00 | ISTRAIL Sorin, PhD | SNPs and the Human Genome: The Minimum Informative Subset |
| 14.12.2005, 10:00 | ISTRAIL Sorin, PhD | Logic Functions of the Genomic Regulatory Code |
| 13.12.2005, 15:00 | ISTRAIL Sorin, PhD | Computational Biology: From Genomics to Protein Folding and to Systems Biology |
| 09.12.2005, 12:00 | FELEA Victor, Prof.univ., PhD | On Queries of SQL Type For Databases |
| 02.12.2005, 12:00 | NEGARA Gabriel, Asist.univ. | Ant System short Overview, Ant Algorithms |
| 25.11.2005, 12:00 | BRANZEI Rodica, Conf.univ., PhD | Strongly essential coalitions and the nucleolus of peer group games |
| 18.11.2005, 12:00 | LUCANU Dorel, Prof.univ., PhD | Logic Programming Views on Web Ontologies |
| 11.11.2005, 12:00 | MATEI Codrut, Asist.univ. | Asupra Lemei lui Yoneda asa cum este tratata in "Categories for the Working Mathematician" de Saunders Mac Lane |
| 04.11.2005, 12:00 | ALAIBA Vasile | Proiectarea si executia proceselor de afaceri |
| 28.10.2005, 14:00 | Seminar stiintific aniversar "Profesorul Calin Petru Ignat la 70 de ani" | |
| 21.10.2005, 12:00 | ANDREI Stefan, Conf.univ., PhD | Scalable Incremental Checksum Testing of Combinational Circuits based on #SAT Problem |