J. Amara, B. Bouaziz, and A. Algergawy, A deep learning-based approach for banana leaf diseases classification, Lecture Notes in Informatics, pp.79-88, 2017.

F. Angiulli, S. Basta, and C. Pizzuti, Distance-based detection and prediction of outliers, IEEE transactions on knowledge and data engineering, vol.18, pp.145-160, 2006.

L. Amgoud and C. Cayrol, Using arguments for making and explaining decisions, International Journal of Automated Reasoning, vol.29, issue.2, pp.125-169, 2009.

R. Alur, C. Courcoubetis, and D. L. Dill, Model-checking in dense real-time. Information and Computation, vol.104, pp.2-34, 1993.

R. L. Ackoff, The future of operational research is past, Journal of the Operational Research Society, vol.30, issue.2, pp.93-104, 1979.

R. Alur and D. Dill, Automata for modeling real-time systems, 17th International Colloquium on Automata, Languages and Programming (ICALP90), pp.322-335, 1990.

R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, pp.183-235, 1994.

J. F. Allen, Maintaining knowledge about temporal intervals, Communications ACM, vol.26, issue.11, pp.832-843, 1983.

S. L. Alter, Decision Support Systems : Current Practice and Continuing Challenge, 1980.

R. Alur, S. L. Torre, and G. J. Pappas, Optimal paths in weighted timed automata, HSCC-2001, pp.49-62, 2001.

L. Amgoud, Modelling dialogues using argumentation, International Conference on Multi-Agent Systems (ICMASS'00), pp.31-38, 2000.

E. Asarin, O. Maler, and A. Pnueli, Symbolic controller synthesis for discrete and timed systems, Hybrid Systems II, vol.999, pp.1-20, 1995.

E. Asarin, O. Maler, A. Pnueli, and J. Sifakis, Controller synthesis for timed automata, IFAC Symposium on System Structure and Control, pp.469-474, 1998.

L. Amgoud and H. Prade, Using arguments for making and explaining decisions, Artificial Intelligence, vol.173, pp.413-436, 2009.

A. Aliev, V. Pedrycz, O. Kreinovich, and . Huseynov, The general theory of decisions, Information Sciences, vol.327, pp.324-331, 2016.

N. Ben-amor, F. Essghaier, and H. Fargier, Décision collective sous incertitude possibiliste. Principes et axiomatisation. Revue d'Intelligence Artificielle, vol.29, pp.515-542, 2015.

]. C. Bbd-+-14, M. Briguez, C. Budan, A. Deagustini, M. Maguitman et al., Argument-based mixed recommenders and their application to movie suggestion, Expert Systems with Applications, vol.41, pp.6467-6482, 2014.

B. Berard, M. Bidoit, A. Finkel, F. Laroussine, P. Petit et al., Systems and Software Verification. Model-Checking Techniques and Tools, 2001.

N. Becu, P. Bommel, C. L. Page, and F. Bousquet, Cormas, une plate-forme multi-agent pour concevoir collectivement des modèles et interagir avec les simulations, Journées Francophones sur les Systèmes Multi-Agents (JFSMA), 2016.

G. Behrmann, A. Cougnard, A. David, E. Fleury, K. G. Larsen et al., Uppaal-tiga : Time for playing games ! In CAV-2007, pp.121-125, 2007.

P. Bouyer, F. Cassez, E. Fleury, and K. G. Larsen, Optimal strategies in priced timed game automata, FSTTCS-2004, vol.3328, pp.148-160, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00350483

A. Balkema and L. De-haan, Residual life time at great age. The Annals of probability, pp.792-804, 1974.

D. Bouyssou, D. Dubois, H. Prade, and M. Pilot, Decision-Making Process, 2009.

]. L. +-15, D. Blume, J. Easley, R. Kleinberg, E. Kleinberg et al., Introduction to computer science and economic theory, Journal of Economic Theory, vol.156, pp.1-13, 2015.

I. Batal, D. Fradkin, J. Harrison, F. Moerchen, and M. Hauskrecht, Mining recent temporal patterns for event detection in multivariate time series data, ACM SIGKDD International Conference on

, Knowledge Discovery and Data Mining (KDD'12), pp.280-288, 2012.

Y. Bozec, D. Gascuel, and M. Kulbicki, Trophic model of lagoonal communities in a large open atoll, Aquatic Living Resources, vol.17, pp.151-162, 2004.

J. Beirlant, Y. Goegebeur, J. Segers, and J. Teugels, Statistics of extremes : theory and applications, 2006.

P. Besnard and A. Hunter, A logic-based theory of deductive arguments, Artificial Intelligence, vol.128, pp.203-235, 2001.

]. L. +-06, M. Börjeson, K. Höjer, T. Dreborg, G. Ekvall et al., Scenario types and techniques : Towards a user's guide, Futures, vol.38, pp.723-739, 2006.

S. Bensalem, K. Havelund, and A. Orlandini, Verification and validation meet planning and scheduling, International Journal on Software Tools for Technology Transfer, vol.16, issue.1, pp.1-12, 2014.

G. Behrmann, K. G. Larsen, and J. I. Rasmussen, Priced timed automata : Algorithms and applications, FMCO-2004, pp.162-182, 2004.

H. Boucheneb, D. Lime, O. Roux, and C. Seidner, Optimal-cost reachability analysis based on time petri nets, 18th International Conference on Application of Concurrency to System Design, (ACSD), pp.30-39, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01957173

B. Boussif and M. Ghazel, Diagnosability analysis of input/output discrete-event systems using model-checking, 5th IFAC Workshop on Dependable Control of Discrete Systems, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01471419

D. Bouyssou, T. Marchant, M. Pirlot, and P. Vincke, Evaluation and Decision Models with Multiple Criteria, 2006.

C. Barral, S. Mcilraith, and T. C. Son, Formulating diagnostic problem solving using an action language with narratives and sensing, International Conference on Principle of Knowledge Representation and Reasoning (KR2000), pp.311-322, 2000.

G. Boutilier, Toward a logic for qualitative decision theory, 4th International Conference on Knowledge Representation and Reasoning (KR'94), pp.75-86, 1994.

D. Bouyssou, La crise de la recherche opérationnelle : 25 ans après, Mathématiques et Sciences Humaines, 2003.

K. Bowen, Sixty years of Operational Research, European Journal of Operational Research, vol.153, pp.618-623, 2003.

F. Bousquet and C. Page, Multi-agent simulations and ecosystem management : a review, Ecological Modelling, vol.176, issue.3, pp.313-332, 2004.

F. Basile, P. Chiacchio, and G. De-tommasi, Diagnosability analysis of patterns on bounded labeled prioritized petri nets. Discrete Event Dynamic Systems, vol.27, pp.143-180, 2017.

R. I. Brafman and M. Tennenholtz, On the foundations of qualitative decision theory, AAAI 96, vol.2, pp.1291-1296, 1996.

J. Bourguet, R. Thomopoulos, M. Mugnier, and A. J. , An artificial intelligence-based approach to deal with argumentation applied to food quality in public heath policy, Artificial Intelligence Review, vol.40, pp.4539-4546, 2013.

N. Bulling, A Survey of Multi-Agent Decision Making, Künstliche Intelligenz, vol.28, issue.3, pp.147-158, 2014.

V. Chandola, A. Banerjee, V. Kumar-;-a.-cesta, A. Finzi, S. Fratini et al., Analyzing flexible timeline-based plans, ECAI 2010, vol.41, pp.471-476, 2009.

E. M. Clarke, O. Grumberg, A. Peled, and D. Model-checking, , 2002.

P. Cabalar, R. Kaminski, P. Morkisch, and T. Schaub, telingo = ASP + time, Logic Programming and Nonmonotonic Reasoning -15th International Conference, LPNMR 2019, pp.256-269, 2019.

M. Cordier and C. Largouët, Using model-checking techniques for diagnosing discrete-event systems, 12th International Workshop on Principles of Diagnosis DX, pp.39-46, 2001.

C. Cassandras and S. Lafortune, Introduction to discrete event systems, 2008.

P. ?ermák, A. Lomuscio, F. Mogavero, and A. Murano, Mcmas-slk : A model checker for the verification of strategy logic specifications, Computer Aided Verification, pp.525-532, 2014.

P. T. Cox and T. Pietrzykowski, General diagnosis by abductive inference, IEEE Symposium on Logic Programming), pp.183-189, 1987.

A. Cimatti, M. Pistore, M. Roveri, P. Traverso-;-r.-craven, F. Toni et al., Weak, strong, and strong cyclic planning via symbolic model checking, Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'12), vol.147, pp.598-602, 2003.

G. B. Dantzig, A History of Scientific Computing, 1990.

R. Davis, Expert systems : Where are we ? and where do we go from here ? AI Magazine, vol.3, pp.3-22, 1982.

C. Dousson and T. V. Duong, Discovering chronicles with numerical time constraints from alarm logs for monitoring dynamic systems, Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, (IJCAI), pp.620-626, 1999.

A. David and S. Damart, Bernard Roy et l'aide multicritèreà la décision, Revue française de gestion, vol.37, issue.214, pp.15-28, 2011.

D. Dubois, H. Fargier, and P. Perny, Qualitative decision theory with preference relations and comparative uncertainty : An axiomatic approach, Artificial Intelligence, vol.48, pp.219-260, 2003.
URL : https://hal.archives-ouvertes.fr/hal-01185764

A. Darwiche and M. Goldszmidt, On the relation between kappa calculus and probabilistic reasoning, 10th Conference on Uncertainty in AI, pp.1145-153, 1994.

J. Dambacher, W. Hiram, and P. Rossignol, Qualitative predictions in model ecosystems, Ecological Modelling, vol.161, pp.79-93, 2003.

J. Dambacher, R. Levins, and P. Rossigol, Life expectancy change in perturbed communities : Derivation and qualitative analysis, Mathematical Biosciences, vol.197, pp.1-12, 2005.

R. Debouk, S. Lafortune, and D. Tenekezis, Coordinated decentralized protocols for failure diagnosis of discrete event systems. Discrete event dynamic systems, vol.10, pp.33-86, 2000.

D. Dubois and H. Prade, Possibility theory as a basis for qualitative decision theory, IJCAI'95, pp.1924-1932, 1995.

D. , D. Pelleg, and A. W. Moore, X-means : Extending k-means with efficient estimation of the number of clusters, Proceedings of the Seventeenth International Conference on Machine Learning (ICML), pp.727-734, 2000.

S. Damart and S. Roy, Débat public et expertise : entre légitimité et rationalité. Gérer et Comprendre, vol.82, pp.91-110, 2005.

J. Doyle and R. H. Thomason, Background to qualitative decision theory, vol.20, pp.55-68, 1999.

M. Elahi, K. Li, W. Nisar, X. Lv, and H. Wang, Efficient clusteringbased outlier detection algorithm for dynamic data stream, Fifth International Conference on Fuzzy Systems and Knowledge Discovery (FSKD), vol.5, pp.298-304, 2008.

L. Fraccascia, I. Giannoccaro, and V. Albino, Resilience of complex systems : State of the art and directions for future research, Complexity, issue.9, 2015.

R. E. Freeman, Strategic Management : A stakeholder Approach, 1984.

R. Fisher and L. Tippett, Limiting forms of the frequency distribution of the largest or smallest member of a sample, Mathematical Proceedings of the Cambridge Philosophical Society, vol.24, pp.180-190, 1928.

E. Ferretti, L. Tamargo, A. Garcia, M. Errecalde, and G. Simari, An approach to decision making based on dynamic argumentation systems, Artificial Intelligence, vol.242, pp.107-131, 2017.

A. Grastien and A. Anbulagan, Incremental diagnosis of DES by satisfiability, European Conference on Artificial Intelligence (ECAI-08), pp.787-788, 2008.

A. Grastien and A. Anbulagan, Diagnosis of discrete event systems using satisfiability algorithms : a theoretical and empirical study, IEEE Transactions on Automatic Control (TAC), vol.58, issue.12, pp.3070-3083, 2013.

P. Gaignon, Modélisation et exploration d'unécosystèmeà dynamique spatiale par des outils de model-checking, 2015.

L. Gilpin, D. Bau, B. Yuan, A. Bajawal, M. Specter et al., Explaining explanations : An approach to evaluating interpretability of machine learning, IEEE 5th International Conference on Data Science and Advanced Analytics (DSAA), 2019.

A. Grastien and M. Cordier, Exploiting independence in a decentralized and incremental approach of diagnosis, 17th International Workshop on Principles of Diagnosis (DX'06), pp.61-69, 2006.

A. Grastien, M. Cordier, and C. Largouët, Extending decentralized discrete-event modelling to diagnose reconfigurable systems, 15th International Workshop on Principles of Diagnosis (DX'04), pp.75-80, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00000524

A. Grastien, M. Cordier, and C. Largouët, Automata slicing for diagnosis discrete-event systems with partially ordered observations, Congress of the Italian Association for Artificial Intelligence (AIIA'05), pp.270-281, 2005.

A. Grastien, M. Cordier, and C. Largouët, First steps towards incremental diagnosis of discrete-event systems, Canadian AI'05, pp.170-181, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00000529

A. Grastien, M. Cordier, and C. Largouët, Incremental diagnosis of discrete-event systems, 16th International Workshop on Principles of Diagnosis (DX'05), pp.1564-1565, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00511109

A. Grastien, M. Cordier, Y. Largouët, and . Pencolé, Efficient trajectories computing using inversibilities properties, 14th International Workshop on Principles of Diagnosis (DX'03), pp.93-98, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00000523

A. Garcia, C. Chesñevar, N. Rotstein, and G. Simari, Formalizing dialectical explanation support for argument-based reasoning in knowledge-based systems, Expert Systems with Applications, vol.40, pp.3233-3247, 2013.

F. Guerrin and J. Dumas, Knowledge representation and qualitative simulation of salmon redd functioning. part i : qualitative modeling and simulation, Biosystems, vol.59, issue.2, pp.75-84, 2001.

]. K. +-18, J. Gibert, M. Izquierdo, S. Sànchez-marrè, I. Hamilton et al., Which method to use ? An assessment of data mining methods in Environmental Data Science, Environmental Modelling and Software, vol.110, issue.2, pp.107-124, 2011.

]. R. +-19, C. Gauthier, C. Largouët, L. Gaillard, F. Cloutier et al., Dynamic modeling of nutrient use and individual requirements of lactating sows, Journal of Animal Science, vol.97, issue.7, 2019.

]. R. +-19, A. Guidotti, F. Monreale, D. Turini, F. Pedreschi et al., A survey of methods for explaining black box models, ACM Computing Survey, p.51, 2019.

B. Gnedenko, Sur la distribution limite du terme maximum d'une série aléatoire, Annals of mathematics, pp.423-453, 1943.

P. Gmytrasiewicz and P. Doshi, A framework for Sequential Planning in Multi-Agent Settings, Journal of Artificial Intelligence Research, vol.24, pp.49-79, 2005.

H. Gougam, Y. Pencolé, and A. Subias, Diagnosability analysis of patterns on bounded labeled prioritized petri nets. Discrete Event Dynamic Systems, vol.27, pp.143-180, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01574475

A. Grastien, Diagnostic décentralisé et en ligne de systèmesà evénements discrets reconfigurables, 2005.

A. Grastien, Symbolic testing of diagnosability, 20th International Workshop on Principles of Diagnosis (DX-09), pp.131-138, 2009.

F. Giunchiglia and P. Traverso, Planning as model checking, ECP'99, pp.1-20, 1999.

F. Guerrin, Qualitative reasoning about an ecological process : interpretation in hydroecology, Ecological Modelling, vol.59, issue.2, pp.165-201, 1991.

T. Hailesilassie, Rule extraction algorithm for deep neural networks : A review, International Journal of Computer Science and Information Security, vol.14, issue.7, pp.376-381, 2016.

G. Hamerly and G. Elkan, Learning the k in k-means, Advances in Neural Information Processing Systems, NIPS'03, pp.281-288, 2003.

J. Hartigan and P. M. Hartigan, The dip test of unimodality, The Annals of Statistics, vol.13, issue.1, pp.70-84, 1985.

M. Hipsey, D. Hamilton, P. Hanson, C. Carey, J. Coletti et al., Predicting the resilience and recovery of aquatic systems : A framework for model evolution within environmental observatories, Water Resources Research, vol.51, issue.9, pp.7023-7043, 2015.

J. Han, M. Kamber, and J. Pei, Data Mining, Concepts and Techniques, 2012.

T. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, Symbolic model checking for real-time systems, Information and Computation, vol.111, issue.2, pp.193-244, 1994.

C. Hawes and C. Reed, Theoretical steps towards modelling resilience in complex systems, Proceedings of the 6th International Conference on Computational Science and Its Applications -Volume Part I (ICCSA), pp.644-653, 2006.

A. Hansen, A. Strathe, E. Kebreab, J. France, and P. Theil, Predicting milk yield and composition in lactating sows : A bayesian approach, Journal of Animal Science, vol.90, issue.7, pp.2285-2298, 2012.

D. Hooftman, S. Willcock, C. Prato, J. Bullock, K. Bagstad et al., Big data and machine learning for crop protection, Towards a new generation of agricultural system data, models and knowledge products : Information and communication technology, vol.33, pp.200-212, 2017.

D. Kleer, J. , and B. C. Williams, Diagnosis multiple faults, Artificial Intelligence, vol.32, issue.1, pp.97-130, 1987.

B. Kalantari and A. Herbert, Simon on making decisions : enduring insights and bounded rationality, Journal of Management History, vol.16, issue.4, pp.509-520, 2010.

G. W. Keen, Decision support system : The next decade, Decision Support Systems, vol.3, issue.3, pp.253-265, 1987.

A. Kamilaris, A. Kartakoullis, and F. X. Prenafeta-boldú, A review on the practice of big data analysis in agriculture, Computers and Electronics in Agriculture, vol.143, pp.23-37, 2017.

A. Kalogeratos and A. Likas, Dip-means : an incremental clustering method for estimating the number of clusters, Advances in Neural Information Processing Systems, NIPS'12, pp.2402-2410, 2012.

L. Khatib, N. Muscettola, and K. Havelund, Verification of plan models using UPPAAL, FAABS 2000, pp.114-122, 2000.

A. Kamilaris and F. Prenafeta-boldú, Deep learning in agriculture : A survey, Computers and Electronics in Agriculture, vol.147, pp.70-90, 2018.

A. Kamilaris and F. Prenafeta-boldú, A review of the use of convolutional neural networks in agriculture, Journal of Agricultural Science, pp.1-11, 2018.

E. Keogh and T. Rakthanmanon, Fast shapelets : A scalable algorithm for discovering time series shapelets, Proceedings of the 13th SIAM International Conference on Data Mining, USA, pp.668-676, 2013.

V. Kaleeswaran and R. Rathipriya, A study on data mining approches for agricultural intelligence, International Journal of Advanced Research in Computer and Communication Engineering, vol.5, issue.4, pp.453-456, 2016.

P. Keen and M. Scott-morton, Decision Support Systems : an organizational perspective, 1978.

A. Kumar, B. Sah, A. R. Singh, Y. Deng, X. He et al., A review of multi criteria decision making (MCDM) towards sustainable renewable energy development, Renewable and Sustainable Energy Reviews, vol.69, pp.596-609, 2016.

B. Kuipers, Qualitative reasoning : modeling and simulation with incomplete knowledge, 1994.

F. Laferrière, Diagnostic de systèmesàévénements discrets par answer set programming, 2016.

]. K. +-18, P. Liakos, D. Busato, S. Moshou, D. Pearson et al., Machine learning in agriculture : A review, Sensors (Switzerland), vol.18, issue.8, pp.1-29, 2018.

C. Largouët, Y. Bozec, and Y. Zhao, Integrating socio-economic drivers in an explicit-time, qualitative fisheries model : EcoMata. In Understanding Marine Socio-ecological Systems including the human dimension in integrated ecosystem assessment MSEAS, 2016.

C. Largouët, M. Cordier, ;. Largouët, M. Cordier, Y. Bozec et al., Use of timed automata and model-checking to explore scenarios on ecosystem model. Environmental Modelling and Software, European Conference of Artificial Intelligence (ECAI'00), vol.30, pp.123-138, 2000.

R. Laxhammar and G. Falkman, Online learning and sequential anomaly detection in trajectories, IEEE Transaction on Pattern Analysis and Machine Intelligence, vol.36, issue.6, pp.1158-1173, 2014.

C. Largouet, G. Fontenelle, J. Ferraris, and D. Poignonec, Les cartes cognitives : un outil pertinent pour initier un processus de gestion intégrée des zones côtières pour desécosystèmes lagonaires sous pression : une application en nouvelle-calédonie, 11th Pacific Science Intercongress, 2009.

M. Léopold, J. Ferraris, and P. Labrosse, Assessment of the reliability of fish consumption as an indicator of reef fish catch in small pacific islands : the example of ouvéa island in new caledonia, Aquatic Living Resources, vol.17, pp.119-127, 2004.

P. Levine and J. Pomerol, Systèmes interactifs d'aideà la décision et systèmes experts, 1989.

P. Levine, P. Lokers, R. Knapen, S. Janssen, Y. Van-randen et al., Analysis of Big Data technologies for use in agro-environmental science, Proceedings of the 28th Annual Hawaii International Conference on System Sciences, vol.84, pp.494-504, 1995.

C. Largouët, O. Krichen, and Y. Zhao, Temporal planning with extended timed automata, 28th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2016, pp.522-529, 2016.

D. Lorenzoli, L. L. Mariani, and M. Pezzè, Automatic generation of software behavioral models, 30th International Conference on Software Engineering, pp.501-510, 2008.

T. L. Nguyen, S. Gsponer, I. Iulia, and G. Ifrim, Interpretable time series classification using all-subsequence learning and symbolic representations in time and frequency domains, Data Mining and Knowledge Discovery, pp.1-40, 2019.

C. L. Page, D. Bazile, N. Becu, and J. Weber, Agent-Based Modelling and Simulation Applied to Environmental Management, pp.499-540, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01198094

K. G. Larsen, P. Pettersson, and W. Yi, Uppaal in a nutshell, Journal of Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997.

I. Lage, S. Ross, S. J. Gershman, F. Kim, and . Doshi-velez, Human-in-the-loop interpretability prior, 31st Annual Conference on Neural Information Processing Systems (NeurIPS), pp.10180-10189, 2018.

G. Lamperti and M. Zanella, Diagnosis of Active Systems, 2003.
URL : https://hal.archives-ouvertes.fr/hal-01635018

C. Largouët, Y. Zhao, and M. Cordier, Model-checking an ecosystem model for decision-aid, 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, pp.539-543, 2014.

C. Largouët, Y. Zhao, and M. Cordier, Searching for costoptimized strategies : An agricultural application, International Conference on Decision Support System Technology ICDSST 2016, pp.31-43, 2016.

Q. Lin, Y. Zhang, S. Verwer, and J. Wang, MOHA : A multi-mode hybrid automaton model for learning car-following behaviors, IEEE Trans. Intelligent Transportation Systems, vol.20, issue.2, pp.790-796, 2019.

R. Mathevet and F. Bousquet, Résilience & Environnement. Penser les changements socio-écologiques, Buchet -Chastel, 2014.

]. J. Mbk-+-19a, N. Muangprathub, S. Boonnam, N. Kajornkasirat, A. Lekbangpong et al., Iot and agriculture data analysis for smart farm, Computers and Electronics in Agriculture, vol.156, pp.467-474, 2019.

]. J. Mbk-+-19b, N. Muangprathub, S. Boonnam, N. Kajornkasirat, P. Lekbangpong et al., IoT and agriculture data analysis for smart farm, Computers and Electronics in Agriculture, vol.156, pp.467-474, 2018.

R. Milner, Communication and Concurrency, 1989.

M. Mangeas, C. Largouët, D. Touraïvane, and . Lille, Le système EAUNET. un système d'information intégrant une modélisation dynamique des risques de pollution pour l'aideà la gestion de l'eau douce, Ingénierie des Systèmes d'Information, vol.10, issue.4, pp.11-34, 2005.

S. J. Metcalf, K. Moyle, and D. J. Gaughan, Qualitative analysis of recreational fisher response and the ecosystem impacts of management strategies in a data-limited situation, Fisheries Research, vol.106, issue.3, pp.289-297, 2010.

J. Merkert, M. Mueller, and M. Hubl, A survey of the application of machine learning in decision support systems, 23rd European Conference on Information Systems, 2015.

S. Matthews, A. Miller, T. Plötz, and I. Kyriazakis, Automated tracking to measure behavioural changes in pigs for heath and welfare monitoring, Scientific Report, vol.7, 2017.

J. Majumdar, S. Naraseeyappa, and S. Ankalaki, Analysis of agriculture data using data mining techniques : application of big data, Journal of Big Data, vol.4, issue.1, p.20, 2017.

J. D. Murray, Mathematical Biology II : Spatial Models and Biomedical Applications, Interdisciplinary Applied Mathematics, vol.18, 2003.

J. Noblet and M. Etienne, Estimation of sow milk nutrient, Journal of Animal Science, vol.67, issue.12, pp.3352-3359, 1989.

]. T. +-12, N. Ngo, S. Quiniou, F. Heugebaert, J. Paboeuf et al., Influence du rang de portée et du nombre de porcelets allaités sur la production laitière des truies, Journées Recherche Porcine, pp.195-196, 2012.

A. Newell and H. A. Simon, GPS, a program that simulates human thought, Computers and Thought, pp.279-293, 1963.

A. Newell and H. A. Simon, Human Problem Solving, 1972.

A. Orlandini, A. Finzi, A. Cesta, and S. Fratini, Tga-based controllers for flexible plan execution, KI 2011, pp.233-245, 2011.

]. L. +-17, S. Olander, J. Polasky, R. Kagan, L. Johnston et al., So you want your research to be relevant ? building the bridge between ecosystem services research and practice, Ecosystem Services, vol.26, pp.170-182, 2017.

C. Paillette, Ecomata appliquéà unécosystème halieutique de la mer du nord, Ingénieur Agronome, vol.2, 2011.

D. Partridge-;-c.-paillette, G. Christansen, C. Largouët, L. Bonneau-de, B. Fontenelle et al., Modéisation qualitative de l'écosysème de la coquille saint-jacques en rade de brest avec ecomata, Future Generation Computer Systems, vol.3, issue.1, pp.1-10, 1987.

Y. Pencole, M. Cordier, and L. Roze, A decentralized modelbased diagnostic tool for complex systems, International Journal on Artificial Intelligence Tools, vol.11, issue.3, pp.327-346, 2002.

J. Pearl, From conditional oughts to qualitative decision theory, 9th International Conference on Uncertainty in Artificial Intelligence, pp.12-20, 1993.

H. Pesonen, T. Ekvall, and G. , Framework for scenario development in lca, The International Journal of Life Cycle Assessment, vol.5, issue.1, p.21, 2000.

C. Paillette, G. Fontenelle, D. Gascuel, and C. Largouët, un outil de modélisationécosystémique qualitative : test en mer du nord, 10ème forum halieumétrique, 2011.

A. Panella and P. Gmytrasiewicz, A Survey of Multi-Agent Decision Making, Auton Agent Multi-Agent Syst, vol.31, pp.861-904, 2017.

J. Pickands, Statistical inference using extreme order statistics. the Annals of Statistics, pp.119-131, 1975.

A. Patel and D. Kathiriya, Data Mining Trends in Agriculture : a Review. AGRES -An International Journal, vol.6, issue.4, pp.637-645, 2017.

C. J. Pucia and R. Levins, Qualitative Modeling of Complex Systems : An Introduction to loop Analysis and Time Averaging, 1985.

F. Pastore, D. Micucci, and M. Mariani, Timed k-tail : Automatic inference of timed automata, IEEE International Conference on Software Testing, Verification and Validation, (ICST), pp.401-411, 2017.

C. , Autour du concept de décision assistée par ordinateur, Journal of Decision Systems, vol.1, issue.1, 1992.

J. Pomerol, Artificial intelligence and human decision making, European Journal of Operational Research, vol.99, pp.3-25, 1997.

G. Quesnel, M. Akplogan, M. Bonneau, R. Martin-clouaire, N. Peyrard et al., Décision dans les agro-écosystèmes. RFIA, vol.27, pp.409-442, 2013.

C. Quinet, Herbert Simon et la rationalité. Revue française d'économie, vol.9, pp.133-181, 2016.

B. Roy and D. Bouyssou, Aide Multicritèreà la Décision : Méthodes et Cas, 1993.

R. Reiter, A Theory of Diagnosis from First Principles, Artificial Intelligence, vol.32, issue.1, pp.57-96, 1987.

J. Rintanen and A. Grastien, Diagnosability testing with satisfiability algorithm, International Joint Conference on Artificial Intelligence (IJCAI-07), pp.532-537, 2007.

M. Rußwurm and M. Körner, Multi-temporal land cover classification with long short-term memory neural networks. International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences -ISPRS Archives, vol.42, pp.551-558, 2017.

]. J. +-15, P. Reum, B. Mcdonald, D. Ferriss, C. Farrell et al., Qualitative network models in support of ecosystem approaches to bivalve aquaculture, ICES Journal of Marine Science, vol.72, issue.8, 2015.

S. J. Russell and P. Norvig, Artificial Intelligence -A Modern Approach (3. internat, 2010.

B. Roy, Méthodologie multicritère d'aideà la décision, Economica, 1985.

B. Roy, Decision-aid and decision-making, European journal of Operational Research, vol.45, issue.2-3, pp.324-331, 1990.

B. Roy, Decision science or decision-aid science ?, European journal of Operational Research, vol.66, pp.184-203, 1993.

C. Rudin, Please stop explaining black box models for high stakes decisions, Advances in Neural Information Processing Systems, NIPS'18, Workshop on Critiquing and Correcting Trends in Machine Learning, 2018.

P. Ramadge and W. Wonham, Supervisory control of a class of discrete event processes, SIAM J. Control and Optimisation, vol.25, issue.1, pp.206-230, 1987.

J. , Artificial intelligence and expert systems in ecology and natural resources management, Ecological Modelling, vol.46, issue.1-2, pp.3-8, 1989.

J. Scopélitis, S. Andrefouët, and C. Largouët, Modelling coral reef habitat trajectories : Evaluation of an integrated timed automata and remote sensing approach, Ecological Modelling, vol.205, pp.59-80, 2007.

L. J. Savage, The Foundations of Statistics, 1954.

P. Salles, B. Bredeweg, S. Araújo, ;. Sa, Y. Choi et al., Qualitative models about stream ecosystem recovery : Exploratory studies. Ecological Modelling, Symmetry, vol.194, issue.1-3, p.266, 2006.

A. Siffer, P. Fouque, A. Termier, and C. Largouët, Anomaly detection in streams with extreme value theory, ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD'17), pp.1067-1075, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01640325

A. Siffer, P. Fouque, A. Termier, and C. Largouët, Are your data gathered ?, ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD'18), pp.2210-2218, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01951676

M. Sadik and L. Gruenwald, Dbod-ds : Distance based outlier detection for data streams, International Conference on Database and Expert Systems Applications, pp.122-136, 2010.

K. Sobocinsky, C. Greene, and M. Schmidt, Using a qualitative model to explore the impacts of ecosystem and anthropogenic drivers upon declining marine survival in pacific salmon, Environmental Conservation, vol.45, issue.3, 2018.

B. W. Silverman, ;. Sampath, S. Sengupta, S. Lafortune, K. Sinnamohideen et al., and Teneketzis D. Failure diagnosis using discrete event models, Journal of the Royal Statistical Society. Series B (Methodological), vol.43, issue.1, pp.105-124, 1981.

A. Subias, L. Travé-massuyès, and E. L. Corronc, Learning chronicles signing multiple scenario instances, IFAC Proceedings Volumes, vol.47, pp.10397-10402, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01162866

L. Travé-massuyès, L. Ironi, and P. Dague, Mathematical foundations of qualitative reasoning, AI Magazine, Special Issue on Qualitative Reasoning, vol.24, issue.4, pp.91-106, 2003.

D. Tullos and M. Neumann, A qualitative model for characterizing effects of anthropogenic activities on benthic communities, Ecological Modeling, vol.196, pp.209-220, 2006.

A. Tsoukiàs, From decision theory to decision aiding methodology, European Journal of Operational Research, vol.187, issue.1, pp.138-161, 2008.

J. , V. Neumann, and O. Morgenstern, Theory of Games and Economic Behavior, 1947.

D. S. Weld and J. De-kleer, Readings in qualitative reasoning about physical systems, 1989.

H. Witten, E. Frank, and M. Hall, Data Mining, Practical Machine Learning Tools and Techniques, 2017.

P. Watzlawick, J. H. Weakland, and R. Fisch, Change ; Principles of problem Formation and Problem Resolution, 1974.

C. Largouët, Y. Zhao, and M. Cordier, Ecomata : Un logiciel d'aidè a la décision pour améliorer la gestion desécosystèmes, Revue des Sciences et Technologies de l'Information -Série ISI : Ingénierie des Systèmes d'Information, vol.16, pp.85-111, 2011.

L. A. Zadeh, Fuzzy sets, Information and Control, vol.8, issue.3, pp.338-353, 1965.

Y. Zhao, M. Cordier, and C. Largouët, Répondre aux questions "que faire pour" par synthèse de contrôleur sur des automates temporisés -applicationà la gestion de la pêche, 18ème Congrès sur la Reconnaissance des Formes et Intelligence Artificielle, 2012.

X. Zhao and D. Ouyang, Model-based diagnosis of discrete event systems with an incomplete system model, European Conference of Artificial Intelligence (ECAI'08), pp.189-193, 2008.

Y. Zhao, Modélisation qualitative des agro-écosystèmes et aideà leur gestion par utilisation d'outils de model-checking, 2014.

J. Zaytoon and S. Lafortune, Parcours professionnel 2006-2019 Maître de conférences en informatique, Agrocampus Ouest (En disponibilité pour convenance personnelle : sept 2011 -sept 2013) Responsable de l'unité pédagogique Informatique UMR : projet LACODAM (ex DREAM jusqu'en 2015), IRISA Rennes 2003-2006 Maître de conférences en informatique, délégation Université de la Nouvelle-Calédonie (UNC) Chercheuse associéeà l'US Espace, IRD de Nouméa, Annual Reviews in Control, vol.37, pp.308-320, 1997.

D. Doctorante-de-l'équipe and . Rennes, Ingénieure en informatique Délégation Générale pour l'Armement Bâtiment d'Essais et de Mesures "Monge, baséà Brest Formation, 1993.

, Applicationà la reconnaissance de l'occupation du sol Directrice de thèse : Marie-Odile Cordier Juin 1996 DEA Informatique, IFSIC, Université de Rennes I filière Intelligence Artificielle Sujet : Elaboration d'un module pédagogique pour un tuteur intelligent Juin 1993 Diplôme d'ingénieur des Arts et Métiers, Paris spécialité informatique Recherche Thématiques -Intelligence Artificielle -Aideà la décision -Modélisation de systèmes dynamiques -Systèmesàévénements discrets -Diagnostic -Supervision Co-encadrement de, 2017-2020 Raphaël Gauthier,à hauteur de 50% avec Jean-Yves Dourmad (INRA) -2016-2019 Alban Siffer,à hauteur de de 25% avec Alexandre Termier et Pierre-Alain Fouque (IRISA) -2010-2014 Yulong Zhao,à hauteur de 25% avec Marie-Odile Cordier (IRISA) et Chantal Gascuel (INRA) -2002-2005, Alban Grastien,à hauteur de 50% avec Marie-Odile Cordier (IRISA) Encadrement de post-doctorats -2009

, M2 Agrocampus Ouest, spécialité statistiques -2015, Omar Krichen, M2 ENSI de Tunis, spécialité informatique -2011, Charlotte Paillette, M2 Agrocampus Ouest, spécialité modélisation enécologie -2010, Yulong Zhao, M2 Université de Rennes 1, spécialité informatique -2009, Jaouad Boufkri, M2 Université de Rennes 1, spécialité informatique -2005, Mounir Lekouara, M2 Ponts et Chaussées Paris, spécialité informatique -2004, Modélisation qualitative des agroécosystèmes et aideà leur gestion par utilisation d' outils de model-checking -2005, p.2015, 2014.

, Membre du comité de programme de l'atelier RTE 2010, Raisonnement sur le temps et l'espace Implication dans les projets -collaborations -#DigitAg Institut Convergences dédiéà l'Agriculture Numérique financé le cadre des Investissements d'Avenir. Participationà l'axe de recherche "Analyse/fouille/modélisation, 2014.

-. Irisa, Rennes Métropole Projet de modélisation d'un "jumeau numérique de Rennes" permettant de simuler et de prévoir les fonctionnements urbains, Projet en cours, 2018.

, Projet sur l'analyse du déroulement, dans le temps et l'espace, des principales activités humaines en mer côtière avec pour objectif la création d'un outil d'aideà la concertation. Responsable : Françoise Gourmelon, LETG Brest Geomer, 2009.

, Projet portant sur l'amélioration des prises de décision collective dans le cadre de la gestion de la ressource en eauà l'échelle de territoires (bassins versants, périmètres irrigués, etc, ) soumisà des pressions anthropiques croissantes. Responsable : Guy Fontenelle, IRD. -LITEAU II Projet intitulé "Développement minier et gestion intégrée côtière en milieu corallien : appui méthodologiqueà la zone d'influence du projet Koniambo en, 2003.

, Les rangs sont donnés lorsque connus. Pour certaines conférences, ils sont issus du site "Core Conference Portal

, Revues avec comité de sélection

R. Gauthier, C. Largouët, C. Gaillard, L. Cloutier, F. Guay et al., Dynamic modeling of nutrient use and individual requirements of lactating sows, Journal of Animal Science, vol.97, issue.7, pp.2822-2836, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02142870

C. Largouët, O. Krichen, and Y. Zhao, Extended Automata for Temporal Planning of Interacting Agents, International Journal of Monitoring and Surveillance Technologies Research (IJMSTR), vol.5, issue.1, pp.30-48, 2017.

, Use Of Timed Automata And Model-Checking To Explore Scenarios On Ecosystem Models, Environmental Modelling and Software, vol.30, pp.123-138, 2011.

, Clarivate Analytics)

Y. Zhao, C. Largouët, and M. Cordier, EcoMata : Un logiciel d'aidè a la décision pour améliorer la gestion desécosystèmes, Revue des Sciences et Technologies de l'Information -Série ISI : Ingénierie des Systèmes d'Information, vol.16, pp.85-111, 2011.

J. Scopélitis, S. Andrefouët, and C. Largouët, Modelling coral reef habitat trajectories : evaluation of an integrated timed automata and remote-sensing approach, Ecological Modelling, vol.205, issue.2, pp.59-80, 2007.

M. Mangeas, C. Largouët, D. Touraïvane, and . Lille, Le système EAU-NET : un système d'information intégrant une modélisation dynamique des risques de pollution pour l'aideà la gestion de l'eau douce", numéro spécial "Systèmes d'information spatio-temporels, Revue Ingéniérie des Systèmes d'Information, vol.10, pp.11-34, 2005.

C. Largouët and M. Cordier, Improving the Landcover Classification using Domain Knowledge, AI Communication special issue on Environmental Sciences and Artificial Intelligence, vol.14, issue.1, pp.35-43, 2001.

, Congrès d'audience internationale avec actes et comité de sélection

A. Siffer, P. Fouque, A. Termier, and C. Largouët, Are your data data gathered ? The Folding Test of Unimodality, ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD18), pp.2210-2218
URL : https://hal.archives-ouvertes.fr/hal-01951676

A. Siffer, . Pierre-alain, A. Fouque, C. Termier, and . Largouët, Anomaly Detection in Streams with Extreme Value Theory, ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD17), pp.1067-107, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01640325

C. Largouët, O. Krichen, and Y. Zhao, Temporal Planning with extended Timed Automata, 28th International Conference on Tools with Artificial Intelligence (ICTAI 2016), pp.522-529, 2016.

C. Largouët, Y. Zhao, and M. Cordier, Searching for Cost-Optimized Strategies : An Agricultural Application, International Conference on Decision Support System Technology ICDSST 2016, pp.31-43, 2016.

M. Cordier, C. Largouët, and Y. Zhao, Model-Checking an Ecosystem Model for Decision-Aid, IEEE 26th International Conference on Tools with Artificial Intelligence (ICTAI 2014), pp.539-543, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01094742

C. Largouët, M. Cordier, and G. Fontenelle, Scenario templates to analyse qualitative ecosystem models, International Congress on Modelling and Simulation (MODSIM'09), pp.2129-2135, 2009.

A. Grastien, M. Cordier, and C. Largouët, Automata Slicing for Diagnosing Discrete-Event Systems with Partially Ordered Observations, Advances in Artificial Intelligence (AI*IA'05), pp.270-281, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00000531

A. Grastien, M. Cordier, and C. Largouët, Incremental Diagnosis of Discrete-Event Systems, DX'05 (International workshop on principles of Diagnosis), pp.119-124, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00511109

A. Grastien, M. Cordier, and C. Largouët, Incremental Diagnosis of Discrete-Event Systems, International Join Conference in Artificial Intelligence IJ-CAI'05, pp.1564-1565, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00511109

A. Grastien, M. Cordier, and C. Largouët, First Step Towards Incremental Diagnosis for Discrete-Event Systems, AI'05, the Eighteenth Canadian Conference on Artificial Intelligence, pp.170-181, 2005.

A. Grastien, M. Cordier, and C. Largouët, Extending decentralized discrete-event modelling to diagnose reconfigurable systems, Carcassonne, Juin, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00000524

M. Cordier, A. Grastien, C. Largouët, and Y. Pencolé, Efficient trajectories computing exploiting inversibility properties, DX'03 (International workshop on principles of Diagnosis), pp.93-98, 2003.

M. Cordier and C. Largouët, Using model-checking techniques for diagnosing discrete-event systems, MoChArt'02 Model Checking and Artificial Intelligence, 2002.

C. Largouët and M. Cordier, Adding Probabilities to timed automata to improve landcover classification, Sixth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU), 2001.

C. Largouët and M. Cordier, Timed Automata Model to Improve the Classification of a Sequence of Images, ECAI'2000 (European Conference on Artificial Intelligence, pp.156-160, 2000.

C. Largouët and M. Cordier, Improving the Landcover Classification using Domain Knowledge, ISPRS'2000 (XIXth Congress of the International Society for Photogrammetry and Remote Sensing), pp.538-545, 2000.

C. Largouët and M. Cordier, Combining observations and expectations : application to the refinement of an image sequence classification, Workshop on Fusion of Domain Knowledge with Data for Decision Support, UAI'2000 (Uncertainty on Artificial Intelligence), 2000.

C. Largouët and M. Cordier, Improving the Landcover Classification using Domain Knowledge, BESAI'2000 (Workshop on Binding Environmental Sciences and Artificial Intelligence), 2000.

, Chapitres d'ouvrage

C. Largouët and M. Cordier, Reconnaissance de l'occupation du sol a l'aide d'un automate temporisé, Ouvrage Raisonnements sur l'espace et le temps : des modèles aux applications, Traité IGAT, série Géomatique, pp.317-332, 2007.

J. Mari and C. Largouët, Ouvrage Raisonnements sur l'espace et le temps : des modèles aux applications, Traité IGAT, série Géomatique, pp.249-271, 2007.

Y. Zhao, M. Cordier, and C. Largouët, Répondre aux questions 'Que faire pourpar synthèse de contrôleur sur des automates temporisés -Applicationà la gestion de la pêche" 18ème Congrès sur la Reconnaissance des Formes et Intelligence Artificielle, 2012.

C. Paillette, G. Fontenelle, D. Gascuel, and C. Largouët, Un outil de modélisationécosystémique qualitative : test en Mer du Nord", 10ème forum halieumétrique "Changement environnementaux et dynamiques halieutiques, 2011.

C. Largouët and M. Cordier, Patrons de scénarios pour l'exploration qualitative d'unécosystème, 17ème Congrès sur la Reconnaissance des Formes et Intelligence Artificielle, pp.20-22, 2010.

L. Bonneau-de, G. Beaufort, C. Fontenelle, and . Largouët, OntoMap : ontologie et cartes cognitives, 17ème Congrès sur la Reconnaissance des formes et intelligence artificielle, pp.20-22, 2010.

M. Cordier, T. Guyet, C. Largouët, V. Masson, and H. Suchier, Apprentissage incrémental de règles de décisionà partir de données d'un simulateur, Congrès Informatique des organisations et systèmes d'informations et de décision, atelier Systèmes d'Information et de Décision pour l'Environnement, 2009.

C. Largouët and M. Cordier, Modélisation par automate temporisé pour aiderà l'identification de l'occupation du sol, 12ème Congrès sur la Reconnaissance des Formes et Intelligence Artificielle (RFIA 2000), pp.1-3, 2000.

. Autres,

R. Gauthier, F. Guay, L. Brossard, C. Largouët, and J. Dourmad, Precision feeding of lactacting sows : development of a decision support tool to handle variability, Annual Meeting of the European Federation of Animal Science, 2018.

C. Largouët, Y. Bozec, and Y. Zhao, Integrating socio-economic drivers in an explicit-time, qualitative fisheries model : EcoMata", MSEAS 2016 Understanding marine socio-ecological systems : including the human dimension in Integrated Ecosystem Assessments, 2016.

R. Gauthier, F. Guay, L. Brossard, C. Largouët, and J. Dourmad, Développement d'un outil de prévision des besoins nutritionnels des truies en lactation. Applicationà l'alimentation de précision, 2018.

C. Largouet, G. Fontenelle, J. Ferraris, and . Poignonec, Les cartes cognitives : un outil pertinent pour initier un processus de gestion intégrée des zones côtières pour de? ecosystèmes lagoniares sous pression : une application en, 11th Pacific Science Intercongress, 2009.

J. Scopélitis, S. Andréfouët, C. Largouet, S. Phinn, and P. Chabanet, Modelling and Mapping Coral Reef Habitats Transitions : an Integrated Remote Sensing and Artificial Intelligence Approach, 2007.

M. Cordier, T. Guyet, C. Largouët, V. Masson, and H. Suchier, Apprentissage incrémental de règles de décisionà partir de données d'un simulateur, Congrès Informatique des organisations et systèmes d'informations et de décision, atelier Systèmes d'Information et de Décision pour l'Environnement, 2009.

M. Cordier, A. Grastien, C. Largouët, and Y. Pencolé, Calcul de trajectoires utilisant les propriétés d'interversibilité, Rencontres jeunes chercheurs en Intelligence Artificielle (RJCIA'03), pp.15-28, 2003.

C. Largouët and M. Cordier, Interprétation d'une imageà l'aide d'un modèle d'évolution du système observé. Applicationà la reconnaissance de l'occupation du sol, conférence CARI'02 (6ème Colloque Africain sur la Recherche en Informatique, 2002.

C. Largouët, Modélisation de l'évolution d'une parcelle agricole pour améliorer la reconnaissance de l'occupation du sol, 4ème Rencontres nationales des Jeunes Chercheurs en Intelligence Artificielle (RJCIA'98), pp.153-159, 1998.

, UP informatique est constituée de deux maîtres de conférences et d'un ingénieur de recherche. L'UP informatique appartient au département "Statistiques et Informatique". Le volume horaire des enseignements en informatique est d'environ 720 heures (équivalent TD) par année, réparti entre la filière d'ingénieur agronome

, En 2009, un poste s'est ouvert et j'ai pu organiser un concours de maître de conférences qui a permis de recruter un titulaire. L'ingénieur de recherche du laboratoire a accepté de prendre en charge quelques enseignements ce qui a permis de stabiliser la situation. Depuis 2010, le volume d'enseignement de l'UP est répartie entre les deux enseignantschercheurs, l'ingénieur de recherche et du personnel contractuel. Responsabilités pédagogiques Au sein de l'UP, mes responsabilités sont les suivantes : -Proposer les programmes des enseignements d'informatique en cohérenceà la fois avec les attentes de l'école (direction, autres disciplines), la CTI

, -Mettre en place les moyens nécessaires au bon déroulement des enseignements : répartition de la charge auprès du personnel et recrutements de maître de conférences contractuels ou de vacataires selon les années, possibilités techniques

, Vérifier la qualité de l'enseignement réalisé, vis-à-vis des objectifs pédagogiques et de l'intérêt desétudiants, Participer aux maquettes de Master

, 2017) et le master Datasciences Ces enseignements sont complétés par des activités plus généralistes en agronomie (lorsque mes compétences suffisent), me permettant de m'insérer dans la vie de l'école. Ces activités sont le suivi de stages en exploitations agricoles et corrections des rapports (5étudiants par an) ou les projets de l'enseignement "démarche scientifique". J'encadré egalement des groupes d'étudiants en M2 Datasciences, durant deux mois, sur des sujets d'initiationà la recherche et en lien avec des entreprises, Mes enseignements concernent la formation initiale dans le cursus ingénieur Agro et AgroAlim et dans le master Géomatique-Image

, En ce qui concerne la formation, j'ai enseigné : le système d'exploitation (Linux) en L1, les fondements de la programmation JAVA et réseaux en L2, et la programmation objet avancée en L3. J'ai apprécié de pouvoir approfondir mes enseignements grâceà des volumes horaires conséquents par module età desétudiants motivés par la discipline. Ces trois années ontété un véritable enrichissement. Elles m'ont permis de comprendre le fonctionnement d'une université (par rapportà celui d'uneécole d'ingénieurs), de diversifier et de spécifier mes enseignements, de m'adapterà desétudiants différents de? ecoles d'ingénieurs et de la métropole, j'ai enseigné durant trois années scolaires l'informatiqueà desétudiants de la licence MISP (Mathématique, Informatique et Sciences Physiques), 2003.