Search

Join us now

You can create your own research profile, claim your publications, connect with other researchers and share millions of research resources. and enjoy our great features for free.

Sign Up Now

Related Events by Keyword

The list of events related to computer science in Italy .

Back to original search results

  • Computing Frontiers
    Location: Cagliari ,Cagliari, Sardegna, Italy
    Date: Tuesday, 15/05/2012 to Thursday, 17/05/2012

    Description: The increasing complexity, performance, cost and energy efficiency needs of current and future applications require novel and innovative approaches for the design of computing systems. Boundaries between state of the art and revolutionary innovation constitute the computing frontiers that must be pushed forward to provide the support required for the advancement of science, engineering and information technology. The Computing Frontiers conference focuses on a wide spectrum of advanced technologies and radically new solutions relevant to the development of the whole spectrum of computer systems, from embedded to high-performance computing. Authors are invited to submit full papers to the main conference ...

    Keywords: compilers, computer science, computer architecture, novel frontiers

  • 5th Workshop on Reachability Problems
    Location: Genova, Italy ,Genova, Liguria, Italy
    Date: Wednesday, 28/09/2011 to Friday, 30/09/2011

    Description: The 5th Workshop on Reachability Problems will be hosted by DISI (Dip. di Informatica e Scienze dell'Informazione), Universita' di Genova, Italy. The Reachability Workshop is specifically aimed at gathering together scholars from diverse disciplines and backgrounds interested in reachability problems that appear in - Algebraic structures - Computational models - Hybrid systems - Logic - Verification Invited Speakers: ================ - Krishnendu Chatterjee, IST Austria - Bruno Courcelle, LABRI, Bordeaux - Joost-Pieter Katoen, RWTH, Aachen - Jean-Francois Raskin, Univerite' Libre de Bruxelles Submissions: =========== Papers presenting original contributions related to reachability problems in different computational models and systems are being sought. ...

    Keywords: verification, theoretical computer science, logic, computation theory

  • 8th IEEE International Conference on Software Engineering and Formal Methods
    Location: Pisa, Italy ,Pisa, Toscana, Italy
    Date: Monday, 13/09/2010 to Friday, 17/09/2010

    Description:

    Keywords: theoretical computer science, software engineering

  • 20th International Conference on Inductive Logic Programming
    Location: Firenze, Italy ,Firenze, Toscana, Italy
    Date: Sunday, 27/06/2010 to Wednesday, 30/06/2010

    Description: The ILP conference series has been the premier forum for work on logic-based approaches to learning for almost two decades. It has recently reached out to other forms of relational learning and to probabilistic approaches. Papers are solicited in all areas of logic learning, relational learning, and multi-relational data mining, including, but not limited to: Theory: logical foundations, computational and/or statistical learning theory, generality orders, refinement operators, novel evaluation measures. Algorithms: probabilistic and statistical approaches, distance and kernel-based methods, learning with (semi)structured data, supervised, unsupervised, and semi-supervised relational learning, relational reinforcement learning, inductive databases, link discovery, multi-instance learning, predicate invention, ...

    Keywords: artificial intelligence, computer science, inductive logic programming

  • 20th International Conference on Concurrency Theory
    Location: Bologna, Italy ,Bologna, Emilia-Romagna, Italy
    Date: Tuesday, 1/09/2009 to Friday, 4/09/2009

    Description: CONCUR 2009: 20th International Conference on Concurrency Theory September 1-4, 2009 Bologna, Italy http://concur09.cs.unibo.it ---------------------------------------------------------------- *CALL FOR PAPERS* Abstract submission: April 3, 2009 Paper submission: April 10, 2009 ================================================================ CONCUR 09, the 20th International Conference on Concurrency Theory, will take place in Bologna, on September 1-4, 2009. The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications. The list of invited speakers at CONCUR 09 currently includes: - Martin Abadi, UCSC and Microsoft Research Silicon Valley, USA - Christel Baier, University of Bonn, Germany ...

    Keywords: theoretical computer science