Azioni sul documento
Corsi e Scuole
Corsi e Scuole Internazionali di Dottorato
- Anno 2009
- FIT 2009 (Foundation of Information Technologies), Novi Sad, Serbia (June 14 - 27, 2009). The organizer of FIT is Faculty of Technical Sciences in Novi Sad. The FIT Summer School is supported by the TEMPUS Programme through the Project “Doctoral School towards European Knowledge Society – DEUKS”. All the partner institutions in the DEUKS Project are giving valuable contribution to the Summer School, ensuring its high scientific and educational quality. The lecturers are professors from Università degli Studi di Udine, Italy, Universidad Politecnica de Valencia, Spain, and INRIA Sophia Antipolis, France.
- Anno 2008
- First European Summer School of the EU Project 3D Anatomical Human, Pula, Cagliari, Italy (May 21 - 23, 2008)
- INTERNATIONAL COMPUTER VISION SUMMER SCHOOL 2008:RECONSTRUCTION AND RECOGNITION, Baia Samuele Conference Centre, Scicli-Sicily, Italy (July 14 - 19, 2008)
- Tecniche di programmazione con vincoli e vincoli per la determinazione di struttura di proteine mediante NMR (Constraint Programming and NMR Constraints for Determining Protein Structure)., University of Udine, Department of Mathematics and Computer Science - Department of Biomedical Sciences and Technologies(April 2008)
- INTERNATIONAL SUMMER SCHOOL OF FUNCTIONAL GENOMICS , Baia Samuele Conference Centre, Scicli-Sicily, Italy (July 5 - 19, 2008)
- Chaos and Dynamics in Biological Networks, Caragese, Corsica (May 5 - 9, 2008)
- 6th INTERNATIONAL SUMMER SCHOOL IN FORMAL LANGUAGES AND APPLICATIONS, Tarragona, Spain (July 21 - August 2, 2008)
- Algorithms: Science and Engineering, Lipari Island, Italy (July, 13 - 26, 2008)
- MGS 2008 - Midlands Graduate School in the Foundations of Computing Science, Birmingham, UK ( April 14 - 18, 2008)
- Fall school of LOGIC & COMPLEXITY with emphasis on proof complexity, Prague, Czech Republic (September 22 - 26, 2008)
- Biological Networks: Evolution, Interaction and Computation, Lipari Island, Italy (June, 14 - 21, 2008)
- 13th Estonian Winter School in Computer Science, EWSCS '08, Palmse, Estonia (March, 2 - 7, 2008)
- BiCi-SNS 2008 - International PhD School on Randomized Algorithm, Pisa, Italy (February, 4 - 8, 2008)
- 8th INTERNATIONAL SCHOOL ON FORMAL METHODS FOR THE DESIGN OF COMPUTER, COMMUNICATION AND SOFTWARE SYSTEMS: COMPUTATIONAL SYSTEMS BIOLOGY, Bertinoro Univ. Residential Center - Italy (June 2 - 7, 2008)
- The Second International Summer School on Trends in Concurrency TiC 2008, Prague, Czech Republic (June, 22 - 27, 2008)
- International Summer School on Language Engineering and Rigurous Software Development LERNET 2008, Piriapolis, Uruguay (February, 25 - March, 1, 2008)
- 3rd International School on Rewriting, Obergurgl, Austria (July, 21 - 26, 2008)
- Anno 2007
- III International Summer School on Constraint Programming, Lloret de Mar, Spain (June, 10 - 14, 2007)
- Algorithms and Methods for Bioinformatics, a case studies approach, Padua, Italy (April, 16 - 20, 2007)
- Types Summer School, Bertinoro, Italy (August, 19 - 31, 2007)
- Bertinoro international Spring School, Bertinoro, Italy (March, 5 - 16, 2007)
- Fourth International School on Biology, Computation and Information (BCI 2007), Trieste, Italy (June, 2 - 6, 2007)
- EUROLAN 2007: "Semantics, Opinion and Sentiment in Text", Iasi, Romania (July 23 - August 3, 2007)
- ESSIR 2007 European Summer School in Information Retrieval, Glasgow, UK (August, 27 - 31, 2007)
- GII SCHOOL OF DOCTORATES IN COMPUTER ENGINEERING, Palermo, Italy, (September, 17 - 28, 2007)
- Anno 2006
- Verification of Protocols for Security and Mobility, Copenhagen, Denmark (October, 09 - 13, 2006)
- LASER - Summer School on Software Engineering, Elba Island, Italy (September, 17-23, 2006)
- Third International School on Biology, Computation and Information, Dobbiaco (BZ), Italy (September, 11-15, 2006)
- 3rd International Summer School on Software Engineering, University of Salerno, Italy (September, 11-14, 2006)
- Advanced School on Visual Modelling Techniques, University of Leicester, United Kingdom (September, 08-11, 2006)
- International PhD School on Security for Wireless Networking, Bertinoro, Italy (September, 03-08, 2006)
- CASPUR - Scuola Estiva sul Calcolo Avanzato, Castel Gandolfo (Roma), Italy (August, 28 - September, 08, 2006)
- MAP - Mathematics, Algorithms, Proofs Summer School, Genova, Italy (August, 28 - Spetember, 02, 2006)
- International Ph.D. Summer School, Chambery-Torino, Italy (August, 28 - Spetember, 01, 2006)
- International Conference on Logic Programming: DOCTORAL CONSORTIUM, Seattle, WA, USA (August 17-20, 2006)
- 18th European Summer School in Logic, Language and Information (ESSLLI), Malaga, Spain (July, 31 - August, 11, 2006)
- TiC'06 - International Summer School on Emerging Trends in Concurrency, Bertinoro (Forlì - Cesena), Italy (July 24-27, 2006)
- Proteomes and Proteins, A course Jointly Organized by The International School of Advanced BioMedicine and BioInformatics and The Lipari International School for Computer Science Reserchers, Lipari Island, Italy (July 09-22, 2006)
- Summer School on Neural Networks in Classification Regression and Data Mining, Porto, Portugal (July 03-07, 2006)
- Multimedia digital libraries Machine learning and cross-modal technologies for access and retrieval , S. Vincenzo, Italy (June 12-17, 2006)
- IDA - 3rd Summer School on Intelligent Data Analysis, Iasi, ROMANIA (June 12-16, 2006)
- BISS 2006 - Bertinoro International Spring School for Graduate Studies in Computer Science, Bertinoro (Forlì - Cesena), Italy (March 06-17, 2006)
- EWSCS'06 - Estonian Winter School in Computer Science, Palmse, Estonia (March 03-05, 2006)
- Anno 2004/2005
- Anno 2003/2004
- Anno 2002/2003
- Corsi
- Bertinoro International Spring School, (Bertinoro (Forlì), Udine - 3-14 March 2003)
- Anno 2001/2002
- Corsi
- MAW - 2002 Advanced school and Workshop on Models and Algorithms for the World Wide Web, (Udine - CISM - June 17 - 21, 2002)
- Bertinoro International Summer School for Graduate Studies in Computer Science, (Bertinoro, Forlì, 20-31 maggio 2002)
- EEF Summer School on SPECIFICATION, REFINEMENT AND VERIFICATION, (19th - 30th August 2002, Turku, Finland)
- EEF Summer School on Massive Data Sets, (June 27-July 1, 2002, BRICS, University of Aarhus, Denmark)
- Fourteenth European Summer School in Logic, Language and Information, (Trento, Italy, August 4-17, 2002)
- International School on Neural Nets "E.R.Caianiello", (Erice, Sicily, 25 febbraio - 7 marzo 2002)
- ACM State-of-the-Art Summer School on Foundations of Internet Security, (June 14-23, 2002 Duszniki Zdroj, Poland)
- Summer School on the Proofs-as-Programs Paradigm, (June 24 - July 5, 2002 Eugene, Oregon, USA)
- Summer School and Workshop on Advanced Functional Programming. (August 19-24, 2002 Oxford, UK)
- ISCL 2002 International Summer School on Computational Logic. (August 25-30, 2002 Maratea, Italy)
- 3rd International Types Summer School: THEORY AND PRACTICE OF FORMAL PROOFS (September 2-13, 2002, Giens, France)
- 14th International School for Computer Science Researchers (Lipari Island, June 30, 2002 - July 13, 2002)
- Marktoberdorf Summer School 2002 on Models, Algebras, and Logic of Engineering Software, (July 30 to August 11, 2002, Marktoberdorf)
- Anno 2000/2001
- Corsi
- Scuola per Dottorandi in ingegneria dell'informazione (Napoli, 12 -- 16 febbraio 2001)
- Scuola Nazionale di Dottorato 2001 (Bertinoro, Forlì, 21 Maggio -- 1 Giugno 2001)
- 13th International Summer School for Computer Scence Researchers (Lipari Island, July 1-14, 2001)
- International Summer School PROOF AND SYSTEM-RELIABILITY, (July 24 to August 5, 2001, Marktoberdorf)
- 13th European Summer School in Logic, Language and Information, ESSLI2001 (13-24 August 2001, Helsinki, Finland)
- Anno 1999/2000
- Corsi
- EEF Foundations school in Deduction and Theorem Proving, (6-16 April 2000, Heriot-Watt University, Edinburgh)
- Scuola Nazionale di Dottorato 2000 (Bertinoro, Forlì, 22 Maggio -- 2 Giugno 2000)
- Formal Methods and Performance Analysis: The first EEF-Summerschool on Trends in Computer Science, (July 3-7, 2000, Nijmegen, the Netherlands)
- 12th European Summer School in Logic, Language and Information, ESSLI2000 (6-18 August 2000, Birmingham, UK)
- The LINEAR International Summer School, Linear Logic and Applications (August 30 to September 7, 2000, Hotel Terra Nostra, S.Miguel, Azores, Portugal)
- 2000 International Summer School in Computational Logic (3-8 Settembre 2000, Acquafredda di Maratea, Basilicata, Italy)
- International Summer School On Applied Semantics, APPSEM'2000 (9 - 15 September 2000, Caminha, Minho, Portugal)
- Anno 1998/1999
- Corsi
- School in Logic and Computation (Heriot-Watt University, Edinburgh, 10-13 April 1999)
- Summer School in Semantics of Computation (BRICS, University of Aarhus in Denmark, May 3-7, 1999)
- Scuola Nazionale di Dottorato 1999 (Bertinoro, Forlì, 17-28 Maggio 1999)
- European Summer School in Logic, Language and Information (Utrecht University, August 9-20, 1999)
- III Scuola Estiva di Logica (Cesena, 27 Settembre - 1 Ottobre 1999)
- Computer System Architecture (Udine, 18-22 Ottobre 1999)
- Anno 1997/1998
- Corsi
- Scuola Nazionale di Dottorato 1998 (Bertinoro, Forlì, 18-29 Maggio 1998)
- Scuola estiva di logica (Cesena, 21-25 Settembre 1998)
