Détail de l'événement
01st-Oct-2025 to
02nd-Oct-2025
Madrid, Spain
Détails de l'organisateur
Alex Stewart
Appel à communication
Abductive and inductive reasoning
Answer set programming
Applications of logic-based AI systems
Argumentation systems
Automated reasoning including satisfiability checking and its extensions
Computational complexity and expressiveness
Deontic logic and normative systems
Description logics and other logical approaches to semantic web and ontologies
Knowledge representation-
reasoning
-
and compilation
Logic-based data access and integration
Logic programming and constraint programming
Logics for uncertain and probabilistic reasoning
Logics in machine learning
Logics in multi-agent systems
-
games
-
and social choice
Non-classical logics
-
such as modal
-
temporal
-
epistemic
-
dynamic
-
spatial
-
paraconsistent
-
and hybrid logics
Planning and diagnosis based on logic Preferences
Reasoning about actions and causality
À propos de la conférence
À propos de la International Conference on Logics in Artificial Intelligence, Reasoning and Compilation (ICLAIRC) est un excellent moyen de créer du réseautage en engageant des discussions sur Engineering Sujets. Cette plateforme veut rassembler tous les étudiants, chercheurs et professionnels réunis sur une même scène pour discuter de nouvelles opportunités, idées et développements. La bioinformatique est un excellent moyen de créer du réseautage
Jour 1
| Timing | Session |
|---|---|
| 9h00 - 9h30 | Inscription |
| 9h30 - 10h00 | Présentation de ICLAIRC |
| 10h00 - 10h15 | Pause thé |
| 10h15 - 13h00 | Séance technique avant le déjeuner |
| 13h00 - 13h30 | Déjeuner |
| 13h30 - 17h00 | Séance technique après le déjeuner |
Jour 2
| Timing | Session |
|---|---|
| 9h00 - 9h30 | Inscription |
| 9h30 - 10h00 | Séance inaugurale |
| 10h00 - 10h15 | Pause thé |
| 10h15 - 13h00 | Séance technique avant le déjeuner |
| 13h00 - 13h30 | Déjeuner |
| 13h30 - 16h00 | Séance technique après le déjeuner |
| 16h00 - 17h00 | Distribution de certificats |
Author/Co-Author Registration Fee Includes
- Participation au programme technique (jusqu'à deux auteurs/co-auteurs)
- Réception de bienvenue
- Badge de la conférence
- Sac de conférence SNRI
- Accessoires/kits de conférence
- Certificats pour l'auteur et les co-auteurs
- Actes de la conférence SNRI
- SNRI CD des événements
- Pauses café
- Déjeuner
- Cérémonie de remise des prix
Au moins un auteur de chaque article accepté doit s'inscrire pour figurer dans les actes et le programme de la conférence.
Les participants doivent s'inscrire conformément aux frais applicables.
Important : Les participants inscrits sont tenus de nous informer immédiatement après leur inscription.
Après avoir terminé le processus d'inscription, veuillez envoyer une capture d'écran de la transaction ou un justificatif de paiement à [email protected] au plus tard à la date limite d'inscription.
- Aucune modification d'article ne sera acceptée après la date limite de soumission.
- Un maximum de cinq auteurs/co-auteurs par article est autorisé à participer.
- Aucune inscription ne sera acceptée après la date limite.
Une fois les frais d'inscription transférés, envoyer par e-mail la capture d'écran de la transaction en ligne accompagné de vos informations d'inscription complètes à : [email protected]
Soumettez le document prêt à imprimer conformément aux directives de la conférence qui vous ont été fournies.