Prix ​​étudiants internationaux VCLA dans le domaine de la logique et de l’informatique – Appel de candidatures

Contour

Le Centre de Logique et d’Algorithmes de Vienne de la TU Wien lance un appel à nomination d’auteurs de thèses et d’ouvrages scientifiques exceptionnels dans le domaine de la logique et de l’informatique, dans les deux catégories suivantes :

• Prix ​​de thèse de maîtrise exceptionnelle*
• Prix ​​de thèse exceptionnel de premier cycle (thèse de licence ou équivalent, 1 ^er cycle du processus de Bologne)*

*Le diplôme doit avoir été obtenu entre le 1er janvier 2023 et le 31 décembre 2023 (inclus).

Prix

• Le Prix de Thèse de Master Exceptionnel est accompagné d’un prix de 1200 €.
• Le prix de thèse exceptionnelle de premier cycle est accompagné d’un prix de 800 €.
• Les gagnants seront invités à la cérémonie de remise des prix.
• Les lauréats auront la possibilité de présenter leur thèse.

Principaux domaines d’intérêt

• 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 satisfiabilité booléenne (SAT), QBF, la satisfaction des contraintes, les théories de satisfiabilité modulo, la déduction automatisée (résolution, réfutation, preuve de théorème), la logique non classique ( logiques sous-structurelles, logiques multi-valeurs, logiques déontiques, logiques modales et temporelles).
• Algorithmes et complexité informatique , y compris la conception et l’analyse d’algorithmes discrets, l’analyse de la complexité, les limites inférieures algorithmiques, les algorithmes paramétrés et exacts, les méthodes de décomposition, les algorithmes d’approximation, les algorithmes randomisés, l’ingénierie algorithmique, ainsi que la théorie algorithmique des jeux, le choix social informatique, les algorithmes parallèles. , les algorithmes de dessin de graphiques et les 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 à 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), de nouvelles méthodes théoriques de bases de données (mappages de schémas, extraction et intégration d’informations), la programmation logique, la représentation et le raisonnement des connaissances (ontologies, réponses). programmation d’ensembles, changement de croyance, gestion des incohérences, argumentation, planification).
• Vérification , concerne les méthodes logiques et les outils automatisés pour raisonner sur le comportement et l’exactitude de 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 de modèles, de l’analyse et de l’abstraction de programmes à de nouveaux domaines interdisciplinaires tels que la localisation de défauts, la réparation de programmes, la synthèse de programmes et l’analyse de systèmes biologiques.

Admissibilité

• Le diplôme doit avoir été délivré entre le 1er janvier 2023 et le 31 décembre 2023 (inclus) .
• Les étudiants ayant obtenu leur diplôme à la TU Wien ne sont pas éligibles.

Pour plus de détails sur les instructions et les exigences de nomination, veuillez visiter notre site Web www.vcla.at.
La date limite de soumission est le 31 mai 2024 .