Prix des étudiants internationaux du centre de Vienne pour la logique et les algorithmes (VCLA) 2019
Date limite : 15 mars 2019
Le Centre de Vienne pour la logique et les algorithmes de la TU Wien (Université de technologie de Vienne) lance un appel aux auteurs de thèses et travaux scientifiques exceptionnels dans le domaine de la logique et de l’informatique, dans les deux catégories suivantes: Prix de thèse exceptionnel et Mention exceptionnelle de premier cycle Bourse de thèse (thèse de baccalauréat ou équivalent, 1er cycle du processus de Bologne).
Les principaux domaines d’intérêt sont :
Logique computationnelle, couvrant les fondements théoriques et mathématiques tels que la théorie de la preuve, la théorie des modèles, la théorie de la calculabilité, la satisfabilité booléenne (SAT), QBF, la satisfaction des contraintes, les théories de la satisfiabilité, la déduction automatique (résolution, réfutation, démonstration du théorème), les logiques non classiques ( logiques sous-structurelles, logiques à valeurs multiples, logiques déontiques, logiques modales et temporelles).
Algorithmes et complexité informatique, comprenant la conception et l’analyse d’algorithmes discrets, l’analyse de complexité, les limites inférieures algorithmiques, les algorithmes exacts et paramétrés, les méthodes de décomposition, les algorithmes d’approximation, les algorithmes aléatoires, l’ingénierie d’algorithmes, ainsi que la théorie algorithmique du jeu, le choix social informatisé, les algorithmes parallèles et algorithmes distribués.
Bases de données et intelligence artificielle, concernées par les méthodes logiques de modélisation, de stockage et de déduction d’inférences à partir de données et de connaissances. Cela inclut des sujets tels que les langages de requête basés sur des concepts logiques (Datalog, variantes de SQL, XML et SPARQL), les nouvelles méthodes théoriques de base de données (mappages de schéma, extraction et intégration d’informations), la programmation logique, la représentation des connaissances et le raisonnement (ontologies, réponses). définir la programmation, le changement de croyance, la gestion des incohérences, l’argumentation, la planification).
La vérification, qui concerne les méthodes logiques et les outils automatisés permettant de raisonner sur le comportement et la correction des systèmes complexes basés sur des états, tels que les conceptions logicielles et matérielles ainsi que les systèmes hybrides. Cela va de la vérification des modèles, de l’analyse et de l’abstraction de programmes à de nouveaux domaines interdisciplinaires tels que la localisation des erreurs, la réparation de programmes, la synthèse de programmes et l’analyse de systèmes biologiques.
Prix :
- Prix de la thèse de maîtrise exceptionnelle : 1200 EUR ;
- Prix de thèse exceptionnelle de premier cycle : 800 EUR.
De plus, les lauréats seront invités à présenter leurs travaux lors d’une cérémonie de remise de prix à Vienne.
Admissibilité :
- Le diplôme de maîtrise ou de premier cycle doit avoir été délivré entre le 15 novembre 2017 et le 3 décembre 2018 (inclus) ;
- Les étudiants ayant obtenu leur diplôme à la TU Wien sont exclus de la candidature.
Nomination :
Les candidatures doivent inclure :
- Une page de couverture contenant le nom et les coordonnées de la personne proposée, le titre de l’œuvre pour laquelle elle est proposée, la catégorie du prix, la date d’octroi du diplôme et le nom de l’université ;
- Un résumé en anglais de la thèse de 3 pages maximum, à l’exclusion des références (format de page A4 ou Lettre, 11 polices minimum). Le résumé doit clairement indiquer la contribution principale de l’œuvre, sa nouveauté et sa pertinence par rapport à certains des domaines d’intérêt susmentionnés ;
- Le CV de la personne désignée, y compris la liste des publications (le cas échéant) ;
- Une lettre d’approbation d’un superviseur ou d’une autre personne proposant une proposition ;
- La lettre doit clairement énoncer l’apport indépendant et novateur de l’étudiant et expliquer pourquoi l’auteur de la proposition estime que l’étudiant mérite le prix.
La thèse complète :
Tous les documents doivent être en anglais, à l’exception de la thèse. Si la thèse est rédigée dans une autre langue, elle doit être accompagnée d’un rapport de recherche en anglais d’au moins 10 pages, ce qui devrait suffire au comité pour évaluer le mérite et la qualité du travail soumis.
Instructions pour soumettre des candidatures :
- Les candidatures doivent être soumises électroniquement en utilisant EasyChair ici ;
- Les soumissions consistent en deux fichiers PDF. Le premier est un fichier pdf unique contenant tous les documents de la candidature, à l’exception de la thèse complète; les documents doivent apparaître dans l’ordre indiqué ci-dessus. Le second fichier pdf est la thèse complète ;
- La lettre d’approbation peut éventuellement être envoyée par courrier électronique par l’endosseur et omise de la soumission Easychair ;
- Dans ce cas, veuillez envoyer la lettre sous forme de fichier PDF par courrier électronique, y compris le nom de la personne désignée dans le sujet, pour attribuer (AT) logic-cs DOT à
- La soumission doit être accompagnée d’un résumé électronique en texte clair de la thèse d’au plus 400 mots et de trois mots clés ;
L’étudiant désigné doit être répertorié en tant que premier auteur et auteur correspondant dans le formulaire de soumission.
