Faculty of
Computer Science

Scientific Seminars Archive

• 19.12.2008 12:00 - Adrian Iftene, "Textual Entailment" [details...]
• 05.12.2008 12:00 - Razvan VOICU (National University of Singapore), "Razvan VOICU: A Search-Based Approach to Induction Automation in Dependently Typed Proof Assistants" [details...]
• 07.11.2008 12:00 - Marc DEMANGE (Operations Research ESSEC Business School Paris), "On the online track assignment problem" [details...]
• 22.10.2008 14:00 - Gil TARAN, "Managing Customer Expectations" [details...]
• 11.04.2008 12:00 - Patrick Sallé, "Stagii interne în informatica la laboratoarele de cercetare INP Toulouse" [details...]
• 18.01.2008 12:00 - Geanina Ionela MACOVEI, "Time Constraints in Workflow Net Theory" [details...]
• 21.12.2007 12:00 - Nicolae MAGARIU, "Automatizarea proiectarii produselor software" [details...]
• 30.11.2007 12:00 - Rolf UNTERBERGER, "Cooperation between Industry and Academic Community" [details...]
• 09.11.2007 12:00 - WebHome, "Alize: Entreprise Security and Asset Management" [details...]
• 26.10.2007 12:00 - Gheorghe STEFANESCU, "Models for interactive systems based on space-time duality; Agapia programming language" [details...]
• 29.06.2007 10:00 - Rolf UNTERBERGER, "Software Development in Distributed Surroundings" [details...]
• 11.05.2007 12:00 - Gordon Pace, "Model Checking Hardware Compilers" [details...]
• 11.05.2007 12:00 - Gordon Pace, "Monadic Compositional Parsing with Context for Natural Languages" [details...]
• 04.05.2007 09:00 - Adi Oleanu and Florin Lazăr, "Windows: Data Storage technologies and Distributed Systems" [details...]
• 20.01.2007 13:00 - Adrian Atanasiu, "Binary Amiable Words" [details...]
• 19.01.2007 12:00 - Carlo Allocca, "From OWL to Logic Programming: a case study inspired from Italian Culture" [details...]
• 12.01.2007 12:00 - Gabriel Negară, "The Protein Folding Problem: Algorithms for solving the Protein Folding Problem in the HP 2D model" [details...]
• 21.12.2006 13:30 - Cristian Gatu, "Branch-and-bound strategies for deriving the best-subset regression models" [details...]
• 19.12.2006 14:00 - Raluca Gordân, "Informative priors based on transcription factor structural class improve de novo motif descovery" [details...]
• 15.12.2006 12:00 - Vasile Alaiba, Andrei Postolache, "Lightweight Service Oriented Architectures - An Enterprise Java Approach" [details...]
• 08.12.2006 12:00 - Cătălina Hallett, "Tehnologii de generare de limbaj cu aplicaţii în bio-informatică în proiectul CLEF" [details...]
• 24.11.2006 12:00 - Marius Lupu, "Embedded Systems" [details...]
• 10.11.2006 12:00 - Jo Lahaye, "Open standards in IT and open source software are a necessity for Europe's economy" [details...]
• 27.10.2006 12:00 - Irinel Drăgan, "Average per capita formulas for Shapley values and semivalues" [details...]
• 06.10.2006 12:00 - Ştefan Andrei, "Incremental Deterministic Planning" [details...]
• 18.11.2005 12:00 - Dorel Lucanu, "Logic Programming Views on Web Ontologies" [details...]
• 21.10.2005 12:00 - Ştefan Andrei, "Scalable Incremental Checksum Testing of Combinational Circuits based on #SAT Problem" [details...]