From bikakis at dblab.ece.ntua.gr Mon Nov 4 11:51:41 2019 From: bikakis at dblab.ece.ntua.gr (Nikos Bikakis) Date: Mon, 04 Nov 2019 11:51:41 +0100 Subject: CFP: BigVis :: 3rd Big Data Visual Exploration & Analytics workshop @ EDBT 2020, Copenhagen Message-ID: Call for Papers BigVis 2020: 3rd International Workshop on Big Data Visual Exploration and Analytics https://bigvis.imsi.athenarc.gr/bigvis2020   In conjunction with EDBT/ICDT 2020, March 30, 2020, Copenhagen, Denmark Held in conjunction with the 23rd Intl. Conference on Extending Database Technology & 23rd Intl. Conference on Database Theory (EDBT/ICDT 2020) Information Visualization is nowadays one of the cornerstones of Data Science, turning the abundance of Big Data being produced through modern systems into actionable knowledge. Indeed, the Big Data era has realized the availability of voluminous datasets that are dynamic, noisy and heterogeneous in nature. Transforming a data-curious user into someone who can access and analyze that data is even more burdensome now for a great number of users with little or no support and expertise on the data processing part. Thus, the area of data visualization, visual exploration and analysis has gained great attention recently, calling for joint action from different research areas from the HCI, Computer graphics and Data management and mining communities. In this respect, several traditional problems from these communities such as efficient data storage, querying & indexing for enabling visual analytics, new ways for visual presentation of massive data, efficient interaction and personalization techniques that can fit to different user needs are revisited. The modern exploration and visualization systems should nowadays offer scalable techniques to efficiently handle billion objects datasets, limiting the visual response in a few milliseconds along with mechanisms for information abstraction, sampling and summarization for addressing problems related to visual information overplotting. Further, they must encourage user comprehension offering customization capabilities to different user-defined exploration scenarios and preferences according to the analysis needs. Overall, the challenge is to offer self-service visual analytics, i.e. enable data scientists and business analysts to visually gain value and insights out of the data as rapidly as possible, minimizing the role of IT-expert in the loop. The BigVis workshop aims at addressing the above challenges and issues by providing a forum for researchers and practitioners to discuss, exchange, and disseminate their work. BigVis attempts to attract attention from the research areas of Data Management & Mining, Information Visualization and Human-Computer Interaction and highlight novel works that bridge together these communities. Workshop Topics ------------------------------------ In the context of visual exploration and analytics, topics of interest include, but are not limited to:  - Visualization, exploration & analytics techniques for various data types; e.g., stream, spatial, high-dimensional, graph  - Human-in-the-loop processing  - Human-centered databases  - Data modeling, storage, indexing, caching, prefetching & query processing for interactive applications  - Interactive machine learning  - Interactive data mining  - User-oriented visualization; e.g., recommendation, assistance, personalization  - Visualization & knowledge; e.g., storytelling  - Progressive analytics  - In-situ visual exploration & analytics  - Novel interface & interaction paradigms  - Visual representation techniques; e.g., aggregation, sampling, multi-level, filtering  - Scalable visual operations; e.g., zooming, panning, linking, brushing  - Scientific visualization; e.g., volume visualization  - Analytics in the fields of scholarly data, digital libraries, multimedia, scientific data, social data, etc.  - Immersive visualization  - Interactive computer graphics  - Setting-oriented visualization; e.g., display resolution/size, smart phones, visualization over networks  - High performance, distributed & parallel techniques  - Visualization hardware & acceleration techniques  - Linked Data & ontologies visualization  - Benchmarks for data visualization & analytics  - Case & user studies  - Systems & tools Submissions ------------------------------------   Regular/Short Research papers [up to 8/4 pages]   Work-in-progress papers [up to 4 pages]   Vision papers [up to 4 pages]   System papers and Demos [up to 4 pages] Important Dates ------------------------------------   Submission: January 5, 2020   Notification: January 24, 2020   Camera-ready: January 29, 2020   Workshop: March 30, 2020 Organizing Committee ------------------------------------   David Auber, University Bordeaux, France   Nikos Bikakis, University of Ioannina, Greece   Panos Chrysanthis, University of Pittsburgh, USA   George Papastefanatos, ATHENA Research Center, Greece   Mohamed Sharaf, United Arab Emirates University, UAE Special Issue ------------------------------------   Extended versions of the best papers of BigVis 2020 will be invited for submission in a Special Issue of the "Big Data Research Journal", Elsevier (IF: 2.95) Program Committee ------------------------------------   James Abello, Rutgers Univ, USA   Demosthenes Akoumianakis, Hellenic Mediterranean Univ, Greece   Gennady Andrienko, Fraunhofer, Germany   Rick Cole, Tableau   Alfredo Cuzzocrea, ICAR-CNR & Univ of Calabria, Italy    Danyel Fisher, Honeycomb.io   Steffen Frey, Univ of Stuttgart, Germany   Giorgos Giannopoulos, ATHENA Research Center, Greece   Parke Godfrey, Univ of York, Canada   Michael Gubanov, Univ of Texas at San Antonio, USA   Silu Huang, Microsoft   Christophe Hurter, Ecole Nationale de l’Aviation Civile, France   Vana Kalogeraki, Athens Univ of Economics & Business, Greece   Eser Kandogan, IBM   James Klosowski, AT&T Research   Manolis Koubarakis, University of Athens, Greece   Zhicheng Liu, Adobe   Steffen Lohmann, Fraunhofer, Germany   Ioana Manolescu, INRIA & Ecole Polytechnique, France   Marios Meimaris, ATHENA Research Center, Greece   Silvia Miksch, Vienna Univ of Technology, Austria   Davide Mottin, Hasso Plattner Institute, Germany   Martin Nöllenburg, Vienna Univ of Technology, Austria   Olga Papaemmanouil, Brandeis Univ, USA   Paul Parsons, Purdue Univ, USA   Laura Po, Unimore, Italy   Giuseppe Polese, Univ of Salerno, Italy   Alexander Rind, St. Pölten Univ of Applied Sciences, Austria   Gerik Scheuermann, Univ of Leipzig, Germany   Heidrun Schumann, Univ of Rostock, Germany   Michael Sedlmair, Univ of Stuttgart, Germany   Thibault Sellam, Columbia Univ, USA   Bettina Speckmann, Eindhoven Univ of Technology, Netherlands   Kostas Stefanidis, Univ of Tampere, Finland   Cagatay Turkay, Univ of Warwick, UK   Panos Vassiliadis, Univ of Ioannina, Greece   Junpeng Wang, Visa Research   Chaoli Wang, Univ of Notre Dame, USA   Panpan Xu, Bosch Research   Kai Xu, Middlesex Univ, UK   Hongfeng Yu, Univ of Nebraska-Lincoln, USA -- _ nikos From manuel.hermenegildo at imdea.org Mon Nov 4 11:51:41 2019 From: manuel.hermenegildo at imdea.org (Manuel Hermenegildo) Date: Mon, 04 Nov 2019 11:51:41 +0100 Subject: Tenure-track Faculty Positions at the IMDEA Software Institute Message-ID: TENURE-TRACK FACULTY POSITIONS AT THE IMDEA SOFTWARE INSTITUTE The IMDEA Software Institute invites applications for tenure-track (Assistant Professor) faculty positions. We are primarily interested in recruiting excellent candidates in the areas of Data Science, including Machine Learning; Security and Privacy; Cyber-Physical Systems; Software Engineering; and Systems, including Distributed Systems, Embedded Systems, etc. Exceptional candidates in other areas within the general research areas of the Institute will also be considered. Tenured-level (Associate and Full Professor) applications are also welcome. The primary mission of the IMDEA Software Institute is to perform research of excellence at the highest international level in software development technologies. It is one of the highest ranked institutions worldwide in its main topic areas. * Selection Process The main selection criteria are the candidate's demonstrated ability and commitment to research, the match of interests with the Institute's mission, and how the candidate complements areas of established strengths of the Institute. All positions require a doctoral degree in Computer Science or a closely related area, earned by the expected start date. Candidates for tenure-track positions will have shown exceptional promise in research and will have displayed an ability to work independently as well as collaboratively. Candidates for tenured positions must possess an outstanding research record, have recognized international stature, and demonstrated leadership abilities. Experience in graduate student supervision is also valued at this level. Applications should be completed using the application form at https://careers.software.imdea.org/ Please select the reference "2019-10-faculty-call" at the beginning of the form. For full consideration, complete applications must be received by December 20, 2019, although applications will continue to be accepted until the positions are filled. * Working at the IMDEA Software Institute The Institute is located in the vibrant area of Madrid, Spain. It offers an ideal working environment, combining the best aspects of a research center and a university department. Its researchers can focus on developing new ideas and projects, in collaboration with world-leading, international faculty, post-docs, and students. Researchers also have the opportunity (but no obligation) to teach university courses. The Institute offers institutional funding and also encourages its members to participate in national and international research projects. The working language at the Institute is English. Salaries at the Institute are internationally competitive and established on an individual basis. They include social security provisions in accordance with existing national Spanish legislation, and in particular access to an excellent public health care system. Further information about the Institute's current faculty and research can be found at http://www.software.imdea.org . The IMDEA Software Institute is an Equal Opportunity Employer and strongly encourages applications from a diverse and international community and underrepresented groups. The Institute complies with the European Charter for Researchers. From Wiebe.Van-Der-Hoek at liverpool.ac.uk Mon Nov 4 11:51:41 2019 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Van Der Hoek, Wiebe) Date: Mon, 04 Nov 2019 11:51:41 +0100 Subject: LOFT 2020, Groningen: Call for Papers In-Reply-To: <13967598-2656-4DAB-B149-6030C588435D@infomedia.uib.no> References: <13967598-2656-4DAB-B149-6030C588435D@infomedia.uib.no> Message-ID: LOFT14 2020: Call for Papers Fourteenth Conference on Logic and the Foundations of Game and Decision Theory University of Groningen, The Netherlands, July 8-10, 2019 web page: http://loft2020.ai.rug.nl/ AIMS OF THE CONFERENCE This is the 14th in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. Preference is given to papers which bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences. The previous thirteen conferences took place in Marseille (France), January 1994, Torino (Italy), December 1996, December 1998, July 2000 and July 2002, Leipzig (Germany), July 2004, Liverpool (UK), July 2006, Amsterdam (The Netherlands), July 2008, Toulouse (France), July 2010, Sevilla (Spain), 2012, Bergen (Norway), 2014, Maastricht (The Netherlands) 2016, Milano (Italy) 2018. Among the topics of particular relevance are: (*) Modal logics for games and protocols: epistemic and deontic logic, multi-agent logic, temporal logic, dynamic logic, probabilistic and multivalued logic, logic of belief revision. (*) Foundations of game and decision theory: epistemic foundations of solution concepts, information processing and communication in games, belief formation and revision in games. (*) Learning and information-processing models: economic aspects of information processing, learning in game-theoretic contexts, inductive learning and inductive decision making. (*) Bounded rationality approaches to game and decision theory. SUBMISSION INFORMATION: The three-day conference will give opportunity for paper presentations and discussions. Potential contributors should submit an extended abstract of approximately 5 - 10 pages in PDF format through https://easychair.org/conferences/?conf=loft2020 Note that the 10-page limit (excluding references and appendix) is a HARD CONSTRAINT: submissions exceeding 10 pages will NOT be considered. The deadline for submission is March 1, 2020, and authors will be notified of acceptance decisions by April 15, 2020. Papers that have appeared in print, or are likely to appear in print before the conference, should not be submitted for presentation at LOFT. Should such a paper be submitted, it will not be included in the program. PROGRAM CHAIRS: Giacomo Bonanno, University of California Davis, USA Davide Grossi, University of Groningen and Amsterdam, The Netherlands Wiebe van der Hoek, University of Liverpool, United Kingdom Barteld Kooi, University of Groningen, The Netherlands PROGRAM COMMITTEE: TBA PUBLICATION OF CONTRIBUTED PAPERS: We anticipate that, as in the past, a selection of papers presented at LOFT14 2020 will be published in one or two special issues of journals. For a list of publications based on previous LOFT conferences see http://www.econ.ucdavis.edu/faculty/bonanno/loft.html IMPORTANT DATES: Deadline for submission: 1 March, 2020 Notification to authors: 15 April, 2020 Conference: July 8-10, 2020 ----------------------------------------------------------------------------------------------------- Prof. Wiebe van der Hoek EPVC, Faculty of Science and Engineering University of Liverpool http://www.csc.liv.ac.uk/~wiebe/ tel (+44) 7970247480 wiebe at liverpool.ac.uk -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sasha.rubin at sydney.edu.au Mon Nov 4 11:51:41 2019 From: sasha.rubin at sydney.edu.au (Sasha Rubin) Date: Mon, 04 Nov 2019 11:51:41 +0100 Subject: Faculty positions in computer science at the University of Sydney Message-ID: The School of Computer Science at the University of Sydney is searching for full-time faculty members at all ranks and in all areas of Computer Science. Full advert: https://tinyurl.com/yygwuh8d Closing date: 11:30pm, 01 December 2019 (Sydney Time) Informal enquiries are welcome, and can be made to Sasha Rubin (sasha.rubin at sydney.edu.au) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jncor at dei.uc.pt Mon Nov 4 11:51:41 2019 From: jncor at dei.uc.pt (=?UTF-8?Q?Jo=C3=A3o_Nuno?=) Date: Mon, 04 Nov 2019 11:51:41 +0100 Subject: [Deadline Extension] Call for Papers - EvoStar 2020 - The Leading European Event on Bio-Inspired Computation - Seville, Spain. 15-17 April 2020 Message-ID: ------------------------------------------------ Call for papers for the EvoStar conference Please distribute (Apologies for cross-posting) ------------------------------------------------ ****** NEWS ***** . Due to a large number of requests for late submissions, the EvoStar submission websites will stay open until Friday, November 15! Authors who have already submitted, can update their work until this time. . New webpage for evostar2020 is now online, bookmark it! http://www.evostar.org/2020/ . This year we have 6 special sessions for EvoAPPS2020 on the following topics: – BioSocNet – Applications of Bio-inspired techniques on Social Networks http://www.evostar.org/2020/evoapps/biosocnet/ – Evolutionary Computation in Digital Healthcare and Personalized Medicine http://www.evostar.org/2020/evoapps/ecdhpm/ – Soft Computing applied to Games http://www.evostar.org/2020/evoapps/scag/ – Applications of Deep Bioinspired Algorithms http://www.evostar.org/2020/evoapps/adba/ – Distributed and Parallel Systems http://www.evostar.org/2020/evoapps/dps/ – Evolutionary Machine Learning http://www.evostar.org/2020/evoapps/eml/ Stay in touch with the website for updates! http://www.evostar.org/2020/cfp_evoapps.php *********************** *** Overview *** EvoStar comprises of four co-located conferences run each spring at different locations throughout Europe. These events arose out of workshops originally developed by EvoNet, the Network of Excellence in Evolutionary Computing, established by the Information Societies Technology Programme of the European Commission, and they represent a continuity of research collaboration stretching back over 20 years. EvoStar is organised by SPECIES, the Society for the Promotion of Evolutionary Computation in Europe and its Surroundings. This non-profit academic society is committed to promoting evolutionary algorithmic thinking, with the inspiration of parallel algorithms derived from natural processes. It provides a forum for information and exchange. The four conferences include: - EuroGP 23rd European Conference on Genetic Programming http://www.evostar.org/2020/cfp_eurogp.php Topics to be covered include, but are not limited to: Innovative applications of GP, Theoretical developments, GP performance and behaviour, Fitness landscape analysis of GP, Algorithms, representations and operators for GP, Search-based software engineering, Genetic improvement programming, Evolutionary design, Evolutionary robotics, Tree-based and Linear GP, Graph-based and Grammar-based GP, Evolvable hardware, Self-reproducing programs, Multi-population GP, Multi-objective GP, Parallel GP, Probabilistic GP, Object-orientated GP, Hybrid architectures including GP, Coevolution and Modularity in GP, Semantics in GP, Unconventional GP, Automatic software maintenance, Evolutionary inductive programming, Evolution of automata or machines. - EvoApplications 23rd European Conference on the Applications of Evolutionary and bio-inspired Computation http://www.evostar.org/2020/cfp_evoapps.php EvoApplications, the International Conference on the Applications of Evolutionary Computation -formerly known as EvoWorkshops- brings together researchers in a variety of areas of application of Evolutionary Computation and other Nature-inspired techniques. EvoApplications solicits high-quality original research papers (including significant work-in-progress) on any aspect of applications of Evolutionary Computation, both to real-world or methodological contexts in which Evolutionary Computation can contribute to pushing the limits of the state of the art beyond the present ones. In addition to the regular session, 6 special sessions will be organized on the following topics: – BioSocNet – Applications of Bio-inspired techniques on Social Networks – Evolutionary Computation in Digital Healthcare and Personalized Medicine – Special Session on Soft Computing applied to Games – Applications of Deep Bioinspired Algorithms – Distributed and Parallel Systems – Evolutionary Machine Learning - EvoCOP 20th European Conference on Evolutionary Computation in Combinatorial Optimisation http://www.evostar.org/2020/cfp_evocop.php Which include the following topics: Applications of metaheuristics to combinatorial optimisation problems, Representation techniques, Practical solution of NP-hard problems, Neighbourhoods and efficient algorithms for searching them, Variation operators for stochastic search methods, Theoretical developments, Constraint-handling techniques, Parallelisation and grid computing, Search space and landscape analyses, Comparisons between different (also exact) methods, Heuristics, Genetic programming and Genetic algorithms, Tabu search, iterated local search and variable neighbourhood search, Ant colony optimisation, Artificial immune systems, Scatter search, Particle swarm optimisation, Memetic algorithms, Hybrid methods and hybridisation techniques, Matheuristics (hybrids of exact and heuristic methods), Hyper-heuristics and autonomous search, Automatic algorithm configuration and design, Metaheuristics and machine learning, Surrogate-model-based methods, Estimation of distribution algorithms, String processing, Scheduling and timetabling, Network design, Vehicle routing, Graph problems, Satisfiability, Packing and cutting problems, Energy optimisation problems, Multi-objective optimisation, Search-based software engineering. - EvoMUSART 9th International Conference (and 14th European event) on Computational Intelligence in Music, Sound, Art and Design http://www.evostar.org/2020/cfp_evomusart.php Which include the following topics and subtopics: .Generation Systems that create drawings, images, animations, sculptures, poetry, text, designs, webpages, buildings, etc.; Systems that create musical pieces, sounds, instruments, voices, sound effects, sound analysis, etc.; Systems that create artefacts such as game content, architecture, furniture, based on aesthetic and functional criteria; Robotic-Based Evolutionary Art and Music; Other related artificial intelligence or generative techniques in the fields of Computer Music, Computer Art, etc. .Theory Computational Aesthetics, Experimental Aesthetics; Emotional Response, Surprise, Novelty; Representation techniques; Surveys of the current state-of-the-art in the area; identification of weaknesses and strengths; comparative analysis and classification; Validation methodologies;Studies on the applicability of these techniques to related areas; New models designed to promote the creative potential of biologically inspired computation. .Computer Aided Creativity and Computational Creativity Systems in which computational intelligence is used to promote the creativity of a human user; New ways of integrating the user in the evolutionary cycle; Analysis and evaluation of: the artistic potential of biologically inspired art and music; the artistic processes inherent to these approaches; the resulting artefacts; Collaborative distributed artificial art environments. .Automation Techniques for automatic fitness assignment; Systems in which an analysis or interpretation of the artworks is used in conjunction with computational intelligence techniques to produce novel objects; Systems that resort to computational intelligence approaches to perform the analysis of image, music, sound, sculpture, or some other types of artistic object or resource. *** Important Dates, Venue and Publication *** Extended! Submission Deadline: November 15, 2019 Conference: April 15-17, 2020 Venue: Seville, Spain All accepted papers will be printed in the proceedings published by Springer Verlag in the Lecture Notes in Computer Science (LNCS) series. *** More Information *** Please, check the website for more information: http://www.evostar.org/2020/ And follow us at: facebook - https://www.facebook.com/evostarconf/ twitter - https://twitter.com/Evostar2020/ From M.M.Dastani at uu.nl Thu Nov 7 11:19:48 2019 From: M.M.Dastani at uu.nl (Dastani, M.M. (Mehdi)) Date: Thu, 07 Nov 2019 11:19:48 +0100 Subject: Last CFP: CLAR 2020 Message-ID: CFP: The 3rd International Conference on Logic and Argumentation (CLAR 2020), 6-9 April 2020, Hangzhou, China Proceedings: on site Springer LNAI, post: Journal of Logic and Computation. Deadline: November 30, 2019 The 3rd International Conference on Logic and Argumentation (CLAR 2020) invites interdisciplinary contributions from logic, artificial intelligence, philosophy, computer science, linguistics, law, and other areas studying logic and formal argumentation. CLAR 2020 will be held in Hangzhou, 6-9 April 2020, as part of the International Conferences on Logic and Artificial Intelligence at Zhejiang University (ZJULogAI 2020). With a special focus on “methods and tools for explainable AI”, a core objective of ZJULogAI is to present the latest developments and progress made on the crucial question of how to make AI more transparent, trustworthy and accountable, both in China as well as in the rest of the world. All participants to CLAR 2020 have access to all other events of ZJULogAI as well. Online LNAI proceedings with accepted submissions will be available during the conference, and extended versions will be published after the conference in a special issue of the Journal of Logic and Computation. More information can be found at the websites: http://www.xixilogic.org/events/clar2020 (CLAR 2020) https://www.xixilogic.org/zjulogai/ (ZJULogAI) CLAR 2020 conference highlights recent advances in the two fields of logic and argumentation and promotes communication between researchers in logic and argumentation within and outside China. Previous conferences can be accessed at: http://www.xixilogic.org/events/clar2018 http://www.xixilogic.org/events/clar2016 CLAR 2020 and ZJULogAI are in collaboration with the Second Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning: Monotonicity in Logic and Language, 10-12 April 2020 (http://tsinghualogic.net/JRC/?page_id=1576). ************************ List of Topics ************************ Suggested topics include, but are not limited to the following: * Abstract argumentation * Applications of logic and/or argumentation * Applied logic * Argumentation and game theory * Argumentation and law * Argumentation and linguistics * Argumentation and medical reasoning * Argumentation in AI * Argument mining * Argumentation schemes * BDI logic * Computational argumentation * Deontic logic * Dynamic epistemic logic and belief revision * Formal models for dialog and argumentation * Informal logic * Judgment aggregation * Knowledge representation and reasoning * Logic for game theory * Logic for multi-agent systems * Logic for semantic web * Logic for social network * Mathematical logic * Modal logic * Nonmonotonic logics * Numerical and uncertainty reasoning * Philosophical logic * Pragma-Dialectics * Preference logic * Structured argumentation * Uncertain argumentation ************************ Submission Guidelines ************************ We invite two types of submissions: full papers (between 12 and 20 pages) describing original and unpublished work and extended abstracts (between 4 and 8 pages) of preliminary original work or extended abstracts of already published work, from either the field of logic or the field of formal argumentation. Additional support material may be included in an appendix, which may be considered or ignored by the program committee. Submissions must be prepared in LaTeX, using the Springer LNCS style: ftp://ftp.springernature.com/cs-proceeding/llncs/llncs2e.zip Submissions not complying with these guidelines will be desk rejected. Papers in PDF format should be submitted via EasyChair: https://easychair.org/conferences/?conf=clar2020 Each submitted paper will be carefully peer-reviewed by a panel of PC members based on originality, significance, technical soundness, clarity of exposition and relevance for the conference. For each accepted paper, at least one author is expected to register and present the paper at the conference. ************************ Important Dates ************************ Submission: 30 November 2019 Notification: 10 January 2020 Camera-Ready: 31 January 2020 Conference: 6-9 April 2020 ************************ PC members (to be completed) ************************ Thomas Ågotnes, University of Bergen Johan van Benthem, University of Amsterdam & Stanford University Pietro Baroni, University of Brescia Stefano Bistarelli, Università di Perugia Alexander Bochman, Holon Institute of Technology Thomas Bolander, Technical University of Denmark Walter Carnielli, State University of Campinas Weiwei Chen, Sun Yat-Sen University Zoé Christoff, University of Bayreuth Agata Ciabattoni, Vienna University of Technology Dragan Doder, University of Belgrade Shanshan Du, Wuhan University Massimiliano Giacomin, University of Brescia Guido Governatori, CSIRO Norbert Gratzl, Ludwig Maximilian University of Munich Davide Grossi, University of Groningen Jiahong Guo, Beijing Normal University Andreas Herzig, IRIT-CNRS Wesley Holliday, UC Berkeley Jeff Horty, University of Maryland Fengkui Ju, Beijing Normal University Souhila Kaci, LIRMM Hannes Leitgeb, Ludwig Maximilian University of Munich Hengfei Li, Shandong Jianzhu University Beishui Liao, Zhejiang University Fenrong Liu, Tsinghua University Hu Liu, Sun Yat-sen University Emiliano Lorini, IRIT-CNRS, Université Paul Sabatier, Toulouse Réka Markovich, University of Luxembourg Alessandra Marra, University of Bayreuth Thomas Meyer, University of Cape Town and CAIR Sara Negri, University of Helsinki Nir Oren, University of Aberdeen Eric Pacuit, University of Maryland Valeria de Paiva, Samsung Research America and University of Birmingham Gabriella Pigozzi, Université Paris-Dauphine Henry Prakken, University of Utrecht & University of Groningen R. Ramanujam, Institute of Mathematical Sciences, Chennai Olivier Roy, University of Bayreuth Katsuhiko Sano, Hokkaido University Chenwei Shi, Tsinghua University Guillermo R. Simari, Universidad del Sur in Bahia Blanca. Sonja Smets, University of Amsterdam Christian Strasser, Ruhr-University Bochum Yì N. Wáng, Zhejiang University Xuefeng Wen, Sun Yat-sen University Stefan Woltran, Vienna University of Technology Jiachao Wu, Shandong Normal University Yun Xie, Sun Yat-sen University Yuming Xu, Shandong Univers Tomoyuki Yamada, Hokkaido University Fan Yang, University of Helsinki Teng Ying, Zhejiang University City College Zhe Yu, Sun Yat-sen University ************************ PC Chairs ************************ Mehdi Dastani, Utrecht University Huimin Dong, Zhejiang University Leon van der Torre, University of Luxembourg ************************ Contact ************************ All questions about submissions should be emailed to: clar2020 at xixilogic.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From icpram at scitevents.net Thu Nov 7 11:19:48 2019 From: icpram at scitevents.net (ICPRAM Secretariat) Date: Thu, 07 Nov 2019 11:19:48 +0100 Subject: Call for Papers - ICPRAM 2020 (Position Paper) Message-ID: CALL FOR PAPERS 9th International Conference on Pattern Recognition Applications and Methods Position Paper Submission Deadline: November 15, 2019 http://www.icpram.org February 22 - 24, 2020 Valletta, Malta What is a position paper? A position paper presents an arguable opinion about an issue. The goal of a position paper is to convince the audience that your opinion is valid and worth listening to, without the need to present completed research work and/or validated results. The International Conference on Pattern Recognition Applications and Methods would like to become a major point of contact between researchers, engineers and practitioners on the areas of Pattern Recognition, both from theoretical and application perspectives. Contributions describing applications of Pattern Recognition techniques to real-world problems, interdisciplinary research, experimental and/or theoretical studies yielding new insights that advance Pattern Recognition methods are especially encouraged. ICPRAM is organized in 2 major tracks: 1 - Theory and Methods 2 - Applications Conference Chair(s) Ana Fred, Instituto de Telecomunicações and Instituto Superior Técnico - Lisbon University, Portugal Program Chair(s) Maria De Marsico, Sapienza Università di Roma, Italy Gabriella Sanniti di Baja, Italian National Research Council CNR, Italy In Cooperation with ACM Special Interest Group on Artificial Intelligence European Association for Signal Processing Associazione Italiana per l'Intelligenza Artificiale Associação Portuguesa de Reconhecimento de Padrões With the presence of internationally distinguished keynote speakers: Andrea Cavallaro, Queen Mary University of London, United Kingdom Cristina Conati, University of British Columbia, Canada Max Welling, University of Amsterdam, Netherlands Proceedings will be submitted for indexation by: DBLP, Conference Proceedings Citation Index, EI, SCOPUS, Semantic Scholar, Google Scholar and Microsoft Academic. A short list of presented papers will be selected so that revised and extended versions of these papers will be published by Springer in a LNCS Series book. All papers presented at the conference venue will also be available at the SCITEPRESS Digital Library. Kind regards, Marina Carvalho ICPRAM Secretariat Address: Av. S. Francisco Xavier Lote 7 Cv. C, Setubal 2900-616, Portugal Tel: +351 265 520 185 Web: http://www.icpram.org e-mail: icpram.secretariat at insticc.org UNSUBSCRIBE -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From icores at scitevents.net Thu Nov 7 11:19:48 2019 From: icores at scitevents.net (ICORES Secretariat) Date: Thu, 07 Nov 2019 11:19:48 +0100 Subject: Call for Papers - ICORES 2020 (Position Paper) Message-ID: null http://tracking.scitevents.net/tracking/unsubscribe?msgid=ArLm-suYQDT9ZF2ny-N2QQ2 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From irdta at irdta.eu Thu Nov 7 11:19:48 2019 From: irdta at irdta.eu (IRDTA) Date: Thu, 07 Nov 2019 11:19:48 +0100 Subject: TPNC 2019: call for participation Message-ID: TPNC 2019: call for participation*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************** 8th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING TPNC 2019 Kingston, Canada December 9-11, 2019 Co-organized by: Royal Military College of Canada Institute for Research Development, Training and Advice Brussels / London https://tpnc2019.irdta.eu/ **************************************************************************** PROGRAM Monday, December 9 09:00 - 09:30    Registration 09:30 - 09:40    Opening 09:40 - 10:30    Elisabeth André. Human-inspired Socially-aware Interfaces - Invited lecture 10:30 - 11:00    Break 11:00 - 12:15 Ozan Kahramanogullari, Lorenzo Bramanti, and Maria Carla Benedetti. Stochastic Mechanisms of Growth and Branching in Mediterranean Coral Colonies Kalpana Mahalingam and Hirapra Ravi. Operation Insertion on the Conjugacy and Commutativity of Words Guillaume Pérution-Kihli, Sarah Guiziou, Federico Ulliana, Michel Leclère, and Jérôme Bonnet. Boolean Recombinase-based Devices 12:15 - 13:45    Lunch 13:45 - 15:00 Ken Takashima, Daiki Miyahara, Takaaki Mizuki, and Hideaki Sone. Card-based Protocol against Actively Revealing Card Attack Filip Badan and Lukas Sekanina. Optimizing Convolutional Neural Networks for Embedded Systems by means of Neuroevolution Julie Greensmith. Migration Threshold Tuning in the Deterministic Dendritic Cell Algorithm 15:00 - 15:30    Break 15:30 - 16:30    Poster session I 16:30 - 18:30    Touristic visit --- Tuesday, December 10 09:30 - 10:20    John McCaskill. Analyzing Emergent Dynamics of Evolving Computation in 2D Cellular Automata - Invited lecture 10:20 - 10:50    Break 10:50 - 12:05 Yuri Lavinas, Claus Aranha, and Marcelo Ladeira. Improving Resource Allocation in MOEA/D with Decision-space Diversity Metrics Alexander Yastrebov, Lukasz Kubus, and Katarzyna Poczeta. An Analysis of Evolutionary Algorithms for Multiobjective Optimization of Structure and Learning of Fuzzy Cognitive Maps Based on Multidimensional Medical Data Michèle Fee, Bart van Oers, Richard Logtmeijer, Jean-Denis Caron, and Van Fong. Genetic Algorithm for Optimization of the Replacement Schedules for Major Surface Combatants 12:05 - 13:35    Group photo and Lunch 13:35 - 14:50 Dalia S. Ibrahim and Andrew Vardy. Adaptive Task Allocation for Planar Construction Using Response Threshold Model Jason T. Lam, François Rivest, and Jean Berger. Deep Reinforcement Learning for Multi-satellite Collection Scheduling Usama Mir, Zainullah Khan, Umer Iftikhar Mir, Farhat Naseer, and Waleed Shah. Evolution of Locomotion Gaits for Quadrupedal Robots and Reality Gap Characterization 14:50 - 15:20    Break 15:20 - 16:20    Poster session II 16:30 - 17:30    Reception --- Wednesday, December 11 09:30 - 10:20    Gabriela Ochoa. Optimisation Trajectories Illuminated - Invited lecture 10:20 - 10:50    Break 10:50 - 12:05 Pablo Arrighi, Giuseppe Di Molfetta, and Nathanaël Eon. Non-abelian Gauge-invariant Cellular Automata Ajinkya Borle and Josh McCarter. On Post-processing the Results of Quantum Optimizers Kamil Khadiev and Artem Ilikaev. Quantum Algorithms for the Most Frequently String Search, Intersection of Two String Sequences and Sorting of Strings Problems 12:05 - 12:15    Closing 12:15    Lunch   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Thu Nov 7 11:19:48 2019 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Thu, 07 Nov 2019 11:19:48 +0100 Subject: GCAI 2020 Conference and Doctoral Symposium - Calls for Papers and Participation Message-ID: ------------------------------------------------ 6th Global Conference on Artificial Intelligence GCAI 2020, Hangzhou, China, 6-9 April 2020 ------------------------------------------------ The 6th Global Conference on Artificial Intelligence (GCAI 2020) will be held in Hangzhou, China, 6-9 April 2020, as part of the Zhejiang Logic for AI Summit (ZjuLogAI 2020). With its special focus theme on "Explainable AI and Responsible AI", the summit intends to promote the interplay between logical approaches and machine learning based approaches in order to make AI more transparent, responsible and accountable. http://www.gcai-2020.info/ (GCAI 2020) http://www.xixilogic.org/zjulogai/ (ZjuLogAI 2020) The first day of GCAI 2020 has been set aside for tutorials and a doctoral symposium. Details are provided below. http://www.xixilogic.org/events/gcai2020/doctoral_symposium/ ************************** GCAI Submission Guidelines ************************** GCAI 2020 accepts submissions of two types: - Full paper submissions, which must be original and cannot be submitted simultaneously elsewhere. Full paper submissions must be at most 12 pages long, excluding references. Additional support material may be included in an appendix, which may be considered or ignored by the program committee. - Extended abstract submissions, which report on ongoing or preliminary work, or on work that is central to symbolic reasoning and/or machine/deep learning applied to both software and robotic systems, but that has already been submitted or recently published elsewhere as a full paper (in the case of an already published paper, the full version has to be referenced explicitly). Extended abstract submissions must be at most 4 pages long, excluding references. Both types of submissions must be prepared in LaTeX or Microsoft Word using the EasyChair templates, and uploaded in PDF format. Submissions not complying with these guidelines will be rejected at the discretion of the program committee. Each submission will be reviewed by at least two reviewers. Abstracts are due on 23 November 2019, full papers and extended abstracts are due on 30 November 2019, and decisions will be made by 20 January 2020. Submissions: via EasyChair https://easychair.org/conferences/?conf=gcai2020 Instructions for authors and EasyChair paper templates can be found at https://easychair.org/publications/for_authors ************************ List of Topics ************************ Submissions in all areas of artificial intelligence are welcome. Suggested topics include, but are not limited to: Foundations + Knowledge representation + Cognitive modeling + Perception + Search + Reasoning and programming + Machine learning + Constraints and uncertainty Architectures + Agents and distributed AI + Intelligent user interfaces + Natural language systems and linguistics + Information retrieval + Case-based reasoning + Hierarchical and deep representations + Affective computing Applications + Aviation and aerospace + Education and tutoring systems + Games and entertainment + Law and machine ethics + Mathematics and the sciences + Medicine and healthcare + Management and manufacturing + World Wide Web + Robotics + Security Implications + Philosophical foundations + Social impact and ethics + Evaluation of AI systems + AI education ************************ General Chair ************************ Geoff Sutcliffe (University of Miami, USA) ************************ Program Chairs ************************ Grégoire Danoy (University of Luxembourg, Luxembourg) Jun Pang (University of Luxembourg, Luxembourg) ************************************ Program Committee (to be completed) ************************************ Jose Julio Alferes, Universidade NOVA de Lisboa, Portugal Serge Autexier, DFKI, Germany Christoph Benzmüller, Freie Universität Berlin, Germany Krysia Broda, Imperial College, UK Matthias R. Brust, University of Luxembourg, Luxembourg Gabriella Cortellessa, CNR-ISTC, National Research Council of Italy, Italy Wolfgang Faber, TU Wien, Austria Germain Forestier, Université de Haute Alsace, France Marco Gavanelli, University of Ferrara, Italy Gianluigi Greco, University of Calabria, Italy Mateja Jamnik, University of Cambridge, UK Juan Luis Jiménez Laredo, Université du Havre Normandie, France Tommi Junttila, Aalto University, Finland Panagiotis Kanellopoulos, University of Patras and CTI "Diophantus", Greece Gabriele Kern-Isberner, Technische Universitaet Dortmund, Germany Gang Li, Deakin University, Australia Sanjiang Li, University of Technology, Sydney, Australia Ines Lynce, INESC-ID/IST, Universidade de Lisboa, Portugal George Metcalfe, University of Bern, Switzerland Angelo Montanari, University of Udine, Italy Till Mossakowski, University of Magdeburg, Germany Apivadee Piyatumrong, National Electronics and Computer Technology Center, Thailand Radu-Emil Precup, Politehnica University of Timisoara, Romania Dumitru Roman, SINTEF, Norway Marco Roveri, FBK-irst, Italy Steven Schockaert, Cardiff University, UK Marcin Seredynski, E-Bus Competence Center, Luxembourg Inon Zuckerman, Ariel University, Israel Chenyi Zhang, Jinan University, China ************************ Steering Committee ************************ Nikolaj Bjorner (Microsoft Research, USA) Adel Bouhoula (University of Carthage, Tunisia) Laura Kovács (Chalmers University, Sweden) Sriram Rajamani (Microsoft Research, India) Geoff Sutcliffe (University of Miami, USA) Andrei Voronkov (University of Manchester, UK) ************************ Organizing Committee ************************ Organizing Committee of ZjuLogAI can be found at http://www.xixilogic.org/zjulogai/ ************************ Publication ************************ GCAI 2020 proceedings will be published in the EasyChair EPiC series in Computing. Proceedings of the previous GCAI conferences are available online: Georg Gottlob, Geoff Sutcliffe and Andrei Voronkov (editors). GCAI 2015. Global Conference on Artificial Intelligence (EPiC Series in Computing, Volume 36) https://easychair.org/publications/volume/GCAI_2015 Christoph Benzmüller, Geoff Sutcliffe and Raul Rojas (editors). GCAI 2016. 2nd Global Conference on Artificial Intelligence (EPiC Series in Computing, Volume 41) https://easychair.org/publications/volume/GCAI_2016 Christoph Benzmüller, Christine Lisetti and Martin Theobald (editors). GCAI 2017. 3rd Global Conference on Artificial Intelligence (EPiC Series in Computing, Volume 50) https://easychair.org/publications/volume/GCAI_2017 Daniel Lee, Alexander Steen and Toby Walsh (editors). GCAI-2018. 4th Global Conference on Artificial Intelligence (EPiC Series in Computing, Volume 55) https://easychair.org/publications/volume/GCAI-2018 ************************ Key Dates ************************ - Abstract submission deadline: 23 November 2019 - Paper submission deadline: 30 November 2019 - Acceptance notification: 20 January 2020 - Camera ready copy due: 3 February 2020 - Conference: 6-9 April 2020 ---------------------------------------- International Doctoral Symposium for Students of Artificial Intelligence Hangzhou, China, 6 April 2020 http://www.xixilogic.org/events/gcai2020/doctoral_symposium/ ---------------------------------------- The first day of the conference GCAI 2020 has been set aside for tutorials and a doctoral symposium. The organizers are now calling for participation of PhD students at the doctoral symposium. The goal of the International Doctoral Symposium for Students of Artificial Intelligence is twofold: On one hand, it offers training sessions on topics and skills that may be useful to future researchers and professionals of artificial intelligence. On the other hand, it aims to provide a chance to share research interests and results of PhD students in the area of artificial intelligence. To achieve these, one senior PhD supervisor will deliver a talk, sharing advice and experience of doing research in artificial intelligence. Each PhD student will then be given 5 minutes to give a short presentation introducing himself/herself and his/her research topic (no details of any work done - just the topic area and the problem being attacked). Then the students will then work in groups with similar interests, for round table discussion, followed by group presentations. Senior faculty will be there to provide feedback, to help students progress effectively with their research. Presentations should be submitted by email to the following email address: swchen at swjtu.edu.cn and include the following information: + Name(s) and affiliation(s) of the PhD student(s) + Title/ topic of the presentation + Any special resources that would be needed ************************ Key Dates: ************************ + Presentation submission deadline: 31 January 2020 + Acceptance notification: 15 February 2020 + Conference: 6-9 April 2020, doctoral symposium on 6th ************************ Organiers: ************************ Shuwei Chen (Southwest Jiaotong University, China) Geoff Sutcliffe (University of Miami, USA) From icaart at scitevents.net Thu Nov 7 11:19:48 2019 From: icaart at scitevents.net (ICAART Secretariat) Date: Thu, 07 Nov 2019 11:19:48 +0100 Subject: Call for Papers - ICAART 2020 (Position Paper) Message-ID: null SCITEVENTS, Av. S. Francisco Xavier Lote 7 Cv. C, Setúbal, 2900-616, Portugal http://tracking.scitevents.net/tracking/unsubscribe?msgid=k-eMTnkc9XIPBbVnqPz84w2 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Wiebe.Van-Der-Hoek at liverpool.ac.uk Thu Nov 7 11:19:48 2019 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Van Der Hoek, Wiebe) Date: Thu, 07 Nov 2019 11:19:48 +0100 Subject: EPICENTER Spring Course in Epistemic Game Theory Message-ID: In 2020, our EPICENTER will organize the seventh EPICENTER Spring Course in Epistemic Game Theory Maastricht University, June 22 – July 4, 2020 Followed by Workshop on Epistemic Game Theory “Celebrating 10 Years of EPICENTER” Maastricht University, July 6, 2020 Information: Information about the course can be found on http://www.epicenter.name/springcourse/ . Information about the workshop can be found on http://www.epicenter.name/workshop/ . Registration: You can register online for the course by clicking here. The registration deadline is June 1, 2020. You can also go to our course website: http://www.epicenter.name/springcourse/ Registration fee: The registration fee for the course is 80 euros. To see how you can pay this amount, please visit our course website: http://www.epicenter.name/springcourse/ Your registration is not complete without paying the fee. Register early: We can only allow 30 students to the course. So please be early with your registration. The first 30 students who register will be allowed to participate. Credits and certificate: At the end of the course there will be an exam, which is optional. So, you are free to participate without doing the exam. Everybody who attends at least 20 out of 24 sessions will earn an official certificate from the EPICENTER and our university. The certificate states that the workload of this course amounts to 200 hours, which corresponds to 6.5 ECTS. If you pass the exam, by scoring at least a 5.5 out of 10, you get a special certificate saying that, next to successfully following the course, you also successfully participated in the exam. This should usually be sufficient to get 6.5 ECTS for this course at your home university. About the course: Epistemic game theory is a new, fresh approach to game theory where the reasoning of people is at center stage. More precisely, it investigates how people like you and me reason in a game theoretic situation before they make a decision. Not only do we reason about the possible choices of others, but also about the reasoning of others. This type of reasoning will be our main theme of interest. The course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world. For more information about the course, together with a full program of the course, please visit our course website: http://www.epicenter.name/springcourse/ Previous editions: Between 2014 and 2019 we also gave the EPICENTER Spring Course in Epistemic Game Theory on an annual basis. All editions were a big success, with highly motivated students from all across Europe and even outside (see our course website http://www.epicenter.name/previous-courses/ for some nice pictures from previous years, the names of the participants and the universities they came from). We hope the 2020 edition will be at least as good. Forward: Please forward this message to all people whom you think might be interested. Questions? Please send an E-mail to Andrés Perea at: course at epicenter.name We hope to see you at the course! Best regards, Andrés Perea -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From luis.magdalena at upm.es Mon Nov 11 11:07:49 2019 From: luis.magdalena at upm.es (LUIS MAGDALENA) Date: Mon, 11 Nov 2019 11:07:49 +0100 Subject: LAST CALL for some events of the 24th European Conference on Artificial Intelligence (ECAI 2020). Message-ID: ** Please accept our apologies for cross-posting ** ** It would be highly appreciated if you could disseminate this CFP among your colleagues ** ---------------------------------------------------------------------------- LAST CALL for the following events of the 24th European Conference on Artificial Intelligence (ECAI 2020). Please note that the DEADLINES ARE STRICT and NO EXTENSIONS WILL BE GRANTED. It is also important to note that ABSTRACT SUBMISSION on NOV15 IS MANDATORY, that is, the NOV19 deadline for full papers is valid only for those papers whose abstract was sent previously. + ECAI2020 Main Conference: November 15 UTC-12: abstracts submission (strict deadline) November 19 UTC-12: full paper submission (only if abstracts were submitted; strict deadline) + PAIS2020 November 21 UTC-12: abstracts submission November 26 UTC-12: full paper submission (only if abstracts were submitted) + WORKSHOP Proposals: December 6 UTC-12: proposal submission ECAI 2020 will take place in Santiago de Compostela from June 8 to 12, 2020. For additional information visit www.ecai2020.eu. CALL FOR PAPERS =============== The biennial European Conference on Artificial Intelligence (ECAI) is Europe's premier venue for presenting scientific results in AI. Under the general theme "Paving the way towards Human-Centric AI", the 24th edition of ECAI will be held in Santiago de Compostela, a UNESCO's World Heritage City which is the destination of unique Routes that cross all Europe since the Middle Ages. The conference dates are 10-12 June 2020, with the workshops taking place on 8-9 June. Save these dates! The Program Committee of the 24th European Conference on Artificial Intelligence (ECAI 2020) invites the submission of papers for the technical programme of the Conference. High-quality original submissions are welcome from research results and applications of all areas of AI including the following ones: - Agent-based and Multi-agent Systems (MAS) - Computational Intelligence (CI) - Constraints and Satisfiability (CS) - Games and Virtual Environments (GAME) - Heuristic Search (HEU) - Human Aspects in AI (HAI) - Information Retrieval and Filtering (IRF) - Knowledge Representation and Reasoning (KRR) - Machine Learning (ML) - Multidisciplinary Topics and Applications (MULT) - Natural Language Processing (NLP) - Planning and Scheduling (PLAN) - Robotics (ROB) - Safe, Explainable, and Trustworthy AI (XAI) - Semantic Technologies (SEM) - Uncertainty in AI (UAI) - Vision (VIS) TYPES OF PAPERS --------------- Two types of contributions are admitted in ECAI2020: - Scientific papers, which report novel research in AI and must not exceed seven pages plus one of only references - Highlight papers, which are two pages abstracts (including references) that highlight your favorite recent technical work (possibly appeared elsewhere), position, or open problems with clear and concise formulations of current challenges. The aim of these papers is highlighting important results to a wide audience. All submissions will be subject to peer review by the ECAI 2020 Programme Committee. Scientific papers will be evaluated based on relevance, significance of contribution, impact, technical quality, scholarship and quality of presentation. During the rebuttal phase, the (primary) authors of submitted papers will be offered the opportunity to respond to the reviews for their papers before the final decision on acceptance or otherwise is made. Highlight will be reviewed following guidelines specifically tailored to their special nature. The Full Call for Papers is available at http://ecai2020.eu/call-for-papers/mainconference/ WORKSHOPS, TUTORIALS AND OTHER EVENTS ------------------------------------- In addition to its full programme of technical papers, ECAI2020 will feature many AI-related events for researchers, students and all attendants who are interested on contemporary AI. Separate calls have been issued for: - Workshop proposals, CFP available at http://ecai2020.eu/call-for-papers/workshops/ - Tutorial proposals, CFP available at http://ecai2020.eu/call-for-papers/tutorials/ - PAIS 2020, the Prestigious Applications of Intelligent Systems conference, CFP available at http://ecai2020.eu/call-for-papers/pais/ - STAIRS 2020, the Starting AI Researcher Symposium, CFP available at http://ecai2020.eu/call-for-papers/stairs/ In addition, other AI-related events will be announced, specially addressing the role of AI in Europe (and vice-versa) with special focus on the Conference general theme. Among these, The Frontiers in AI track sessions, the Lab To Market event, the Women in AI Breakfast and the EU Challenges forum. Furthermore, ECAI2020 will have a special focus on Starting Researchers, who will be able to participate in an specific program including the Doctoral Consortium, the Three Minutes Thesis Competition, the Lunch with an EurAI Fellow and the Job Fair. IMPORTANT DATES --------------- ECAI2020 Abstract submission: November 15, 2019 ECAI2020 Paper submission: November 19, 2019 ECAI2020 Notification of acceptance/rejection: January 15, 2020 PAIS Abstract submission: November 21, 2019 PAIS Paper submission: November 26, 2019 PAIS Notification of acceptance/rejection: January 20, 2020 WORKSHOP Proposal submission: December 6, 2019 WORKSHOP Proposal notification: December 19, 2019 TUTORIAL Proposal Submission: February 20, 2020 TUTORIAL Acceptance Notification: March 20, 2020 ORGANIZATION ------------ The Conference is hosted by the European Association for Artificial Intelligence (EurAI) and the Spanish AI Society (AEPIA). ECAI 2020 is organized by the Intelligent Systems Group (GSI) and the Research Centre in Intelligent Technologies (CiTIUS), University of Santiago de Compostela. SYNERGIES WITH OTHER CONFERENCES -------------------------------- ECAI 2020 has coordinated with AAAI 2020, IJCAI 2020, AAMAS 2020 and ICAPS 2020 for deadlines and synergies. In particular, ECAI 2020 and ICAPS 2020 have an agreement so that in specific cases the ECAI 2020 PC may decide to transfer a paper on Planning and Scheduling to ICAPS 2020 (provided that the permission to do so has been given by the authors in the submission form), and viceversa. CONTACT AND UPDATES ------------------- Updates will be regularly published at the Conference Website: www.ecai2020.eu Follow us in Twitter @ECAI2020 -- Luis Magdalena ECAI2020 Publicity Chair www.ecai2020.eu From ricardo.campos at ipt.pt Mon Nov 11 11:07:49 2019 From: ricardo.campos at ipt.pt (Ricardo Campos) Date: Mon, 11 Nov 2019 11:07:49 +0100 Subject: ECIR 2020 Doctoral Consortium cfp In-Reply-To: References: Message-ID: The ECIR 2020 Doctoral Consortium is an excellent forum for PhD students to discuss their research ideas with world-class researchers in the area of Information Retrieval. The Doctoral Consortium (DC) will take place on 14th April 2020. During the DC session, we will have six selected student presentations, followed by discussions and individual meetings with senior researchers who are members of the DC Committee (also called mentors). There are great opportunities for networking over lunch and later on during the day and other possible activities may be introduced according to the topics of the accepted submissions. One submission will be awarded the “best doctoral consortium paper award”, which will be decided by the doctoral consortium committee. Prospective candidates for the Doctoral Consortium Students who have recently completed their research proposal, or about to do so (typically 2nd year PhD students) are welcome to submit their contribution to the consortium. The greatest benefit will be achieved for those students that have recently scoped their PhD topic in the Information Retrieval area. Candidates for the DC will be selected based on the potential of their research for future impact on the field of Information Retrieval and the likely benefit to the student of participating in the DC. The submitted paper will be the basis for detailed discussions at the DC. Submission Guidelines The submission may contain previously-published material, as well as ongoing work. Doctoral students who submit to the DC are welcome to submit other papers or posters to ECIR 2020. The submission has two parts. The first part, a research statement, should be no more than six (6) pages long in the LNCS format. It will be the basis for detailed discussions at the Consortium, and should include: * Motivation for the proposed research * Background and related work (including key references) * Description of proposed research, including main research questions * Research methodology and proposed experiments (where appropriate) * Specific research issues for discussion at the Doctoral Consortium. The second part, limited to one (1) page, describes benefits that would be obtained by attending the DC. It should be added as an appendix to the research statement and include: * A statement by the student saying why they want to attend the Consortium. * A brief statement (1 paragraph) by their advisor saying how the student would benefit by attending the DC. Advisors should also specifically state whether the student has written, or is close to completing, a thesis proposal (or equivalent), and when they expect the student would defend their dissertation if they progress at a typical rate. Format Requirements All submissions must be written in English following the ECIR guidelines and the LNCS author guidelines and submitted electronically through EasyChair. The first page must contain the title of the paper, full author name, affiliation and contact details and an abstract of up to 250 words. Submissions will be reviewed by the members of the DC committee. Accepted Papers Students accepted to the Consortium will have the option of publishing a 4-page extended abstract summarizing their research in the full ECIR conference proceedings. Key Dates Deadline: 29 November 2019 Notification: 10th January 2020 Doctoral Consortium: 15th April 2020 Doctoral Consortium Co-Chairs (dc at ecir2020.org) Stefan Rueger Suzan Verberne -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Fri Nov 15 10:24:55 2019 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Fri, 15 Nov 2019 10:24:55 +0100 Subject: International Symposium on Artificial Intelligence and Mathematics 2020 Message-ID: The International Symposium on Artificial Intelligence and Mathematics 2020 http://isaim2020.cs.ou.edu Please join us January 6-8 at the Sonesta Hotel in Ft. Lauderdale, Florida, USA to mark the 30-year anniversary of ISAIM, the International Symposium on Artificial Intelligence and Mathematics. This year's Keynote Speakers will be: + William Hahn (Florida Atlantic University) + Lisa Hellerstein (New York University) + Aaron Roth (University of Pennsylvania) + Shlomo Zilberstein (University of Massachusetts, Amherst) Early Registration is now open. With Thanksgiving approaching, and winter vacation plans converging, now would be the time to register for ISAIM2020. The Sonesta Hotel special rates are valid only until Tuesday, December 3 2019, or until the block is sold out. From eiter at kr.tuwien.ac.at Fri Nov 15 10:24:55 2019 From: eiter at kr.tuwien.ac.at (Thomas Eiter) Date: Fri, 15 Nov 2019 10:24:55 +0100 Subject: PostDoc and PhD position (4 years) at TU Wien Message-ID: (Apologies for multiple crosspostings) *************************************************** PostDoc and PhD position (4 years) at TU Wien *************************************************** The Institute of Logic and Computation at TU Wien is hiring a postdoc and a PhD student for a research collaboration with industry in the area of knowledge representation and reasoning. The goal of this collaboration is to advance the use of logic-based tools and methods for solving real-world problems with innovative technologies. Topics of particular interest for the collaboration are scheduling, combining machine learning and symbolic reasoning, context-based reasoning, answer set programming, and explanation finding. Candidates for the position should have a solid background in knowledge representation and reasoning, logic-based AI, planning and scheduling, answer set programming, or logic programming at large. The salary depends on depends on experience but is expected to be 53,200 EUR postdoc / 36,000 EUR PhD at least per annum before taxes. Hiring is from now, for a period of up to four years. The positions are affiliated with the Knowledge-Based Systems Group (KBS) and the Database and AI Group (DBAI) of the Institute, under the lead of Prof. Thomas Eiter and PD Dr. Nysret Musliu. Interested candidates should contact: Thomas Eiter http://www.kr.tuwien.ac.at/staff/eiter/ and/or Nysret Musliu https://www.dbai.tuwien.ac.at/staff/musliu/ ---------------------------------------------------------------------- From irdta at irdta.eu Fri Nov 15 10:24:55 2019 From: irdta at irdta.eu (IRDTA) Date: Fri, 15 Nov 2019 10:24:55 +0100 Subject: AlCoB 2020: 2nd call for papers Message-ID: AlCoB 2020: 2nd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************************************** 7th INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY   AlCoB 2020   Missoula, Montana, USA   April 13-15, 2020   Co-organized by:   Department of Computer Science University of Montana   and   Institute for Research Development, Training and Advice, Brussels/London   https://alcob2020.irdta.eu **********************************************************************************   AIMS:   AlCoB aims at promoting and displaying excellent research using string and graph algorithms and combinatorial optimization to deal with problems in biological sequence analysis, genome rearrangement, phylogeny reconstruction, and structure prediction.   Previous events were held in Tarragona, Mexico City, Trujillo (Spain), Aveiro, Hong Kong and Berkeley.   The conference will address several of the current challenges in computational biology, with topics including:   1) assembling sequence reads into a complete genome, 2) identifying gene structures in the genome, 3) recognizing regulatory motifs, 4) aligning nucleotides and comparing genomes, 5) reconstructing regulatory networks of genes, and 6) inferring the evolutionary phylogeny of species.   Special focus will be put on methodology and significant room will be reserved for scholars at the beginning of their career.   VENUE:   AlCoB 2020 will take place in Missoula, Montana, a college town located in the heart of the Rocky Mountains, near Glacier National Park and Yellowstone National Park. The meeting will be hosted in the University Center, a few hundred feet from the base of Mount Sentinel.   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   Sequence analysis Sequence alignment Sequence assembly Genome rearrangement Regulatory motif finding Phylogeny reconstruction Phylogeny comparison Structure prediction Compressive genomics Proteomics: molecular pathways, interaction networks, mass spectrometry analysis Transcriptomics: splicing variants, isoform inference and quantification, differential analysis Next-generation sequencing: population genomics, metagenomics, metatranscriptomics, epigenomics Genome CD architecture Microbiome analysis Cancer computational biology Systems biology   STRUCTURE:   AlCoB 2020 will consist of:   invited lectures peer-reviewed contributions posters   INVITED SPEAKERS:   tba   PROGRAMME COMMITTEE:   Mani Arumugam (University of Copenhagen, DK) Colin Dewey (University of Wisconsin, Madison, US) Joe Felsenstein (University of Washington, US) Olivier Gascuel (Pasteur Institute, FR) Debashis Ghosh (University of Colorado, US) Daniel Huson (University of Tübingen, DE) Miriam Konkel (Clemson University, US) Alla Lapidus (Saint Petersburg State University, RU) Aron Marchler-Bauer (National Center for Biotechnology Information, US) Maria-Jesus Martin (European Bioinformatics Institute, UK) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) David H. Mathews (University of Rochester, US) Aaron McKenna (Dartmouth College, US) Ryan E. Mills (University of Michigan, US) Burkhard Morgenstern (University of Göttingen, DE) Sayan Mukherjee (Duke University, US) Houtan Noushmehr (Henry Ford Health System, US) Knut Reinert (Free University of Berlin, DE) Joel Rozowsky (Yale University, US) Russell Schwartz (Carnegie Mellon University, US) Temple F. Smith (Boston University, US) James Taylor (Johns Hopkins University, US) Zlatko Trajanoski (Medical University of Innsbruck, AT) David A. Wheeler (Baylor College of Medicine, US) Travis Wheeler (University of Montana, US) Shibu Yooseph (University of Central Florida, US)   ORGANIZING COMMITTEE:   Sara Morales (Brussels) Manuel Parra-Royón (Granada) David Silva (London, co-chair) Miguel A. Vega-Rodríguez (Cáceres) Travis Wheeler (Missoula, co-chair)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).   Upload submissions to:   https://easychair.org/conferences/?conf=alcob2020   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNBI series will be available by the time of the conference.   A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   https://alcob2020.irdta.eu/registration/   DEADLINES (all at 23:59 CET):   Paper submission: December 2, 2019 Notification of paper acceptance or rejection: January 6, 2020 Final version of the paper for the LNCS/LNBI proceedings: January 13, 2020 Early registration: January 13, 2020 Late registration: March 30, 2020 Submission to the journal special issue: July 15, 2020   QUESTIONS AND FURTHER INFORMATION:   david (at) irdta.eu   ACKNOWLEDGEMENTS:   University of Montana   IRDTA – Institute for Research Development, Training and Advice, Brussels/London   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From irdta at irdta.eu Mon Nov 18 10:50:58 2019 From: irdta at irdta.eu (IRDTA) Date: Mon, 18 Nov 2019 10:50:58 +0100 Subject: BigDat 2020: early registration November 21 Message-ID: BigDat 2020: early registration November 21*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************   6th INTERNATIONAL WINTER SCHOOL ON BIG DATA   BigDat 2020   Ancona, Italy   January 13-17, 2020   Co-organized by:   Department of Information Engineering, Marche Polytechnic University   Institute for Research Development, Training and Advice (IRDTA) Brussels / London   https://bigdat2020.irdta.eu/   ********************************************************   --- Early registration deadline: November 21, 2019 ---   ********************************************************   SCOPE:   BigDat 2020 will be a research training event with a global scope aiming at updating participants on the most recent advances in the critical and fast developing area of big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most big data subareas will be displayed, namely foundations, infrastructure, management, search and mining, security and privacy, and applications (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Major challenges of analytics, management and storage of big data will be identified through 22 four-hour and a half courses and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, BigDat 2020 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   BigDat 2020 will take place in Ancona, a city founded by Greek settlers and today one of the main ports on the Adriatic Sea. The venue will be:   Department of Information Engineering Marche Polytechnic University Via Brecce Bianche 12 60131 Ancona   PROFESSORS AND COURSES:   Sanchita Bhattacharya (University of California, San Francisco), [introductory/advanced] Big Data in Immunology: Sharing, Dissemination, and Repurposing   Diego Calvanese (Free University of Bozen-Bolzano), [introductory] Virtual Knowledge Graphs for Data Integration   Sheelagh Carpendale (University of Calgary), [introductory] Data Visualization   Nitesh V. Chawla (University of Notre Dame), [intermediate/advanced] Learning in the Presence of Class Imbalance and Changing Distributions   Amr El Abbadi (University of California, Santa Barbara), [introductory/intermediate] An Introduction to Blockchain   Charles Elkan (University of California, San Diego), [intermediate] A Rapid Introduction to Modern Deep Learning   Minos Garofalakis (Technical University of Crete), [intermediate/advanced] Private Data Analytics at Scale   Jiawei Han (University of Illinois, Urbana-Champaign), [intermediate/advanced] From Unstructured Text to TextCube: Automated Construction and Multidimensional Exploration   Xiaohua Tony Hu (Drexel University), [introductory/advanced] Machine Learning Methods for Big Microbiome Data Analysis   Craig Knoblock (University of Southern California), [intermediate/advanced] Building Knowledge Graphs   Wladek Minor (University of Virginia), [introductory/advanced] Big Data in Biomedical Sciences   Bamshad Mobasher (DePaul University), [intermediate] Context-aware Recommender Systems   Jayanti Prasad (Embold Technologies), [introductory/intermediate] Big Code   Lior Rokach and Bracha Shapira (Ben-Gurion University of the Negev), [introductory/intermediate] Recommender Systems   Peter Rousseeuw (KU Leuven), [introductory] Anomaly Detection by Robust Methods   Asim Roy (Arizona State University), [intermediate] Hardware-based (GPU, FPGA based) Machine Learning That Exploits Massively Parallel Computing – An Overview of Concepts, Architectures and Neural Network Algorithm Implementation   Hanan Samet (University of Maryland), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial and Spatio-textual Databases, Geographic Information Systems (GIS), and Location-based Services   Rory Smith (Monash University), [introductory/intermediate] Learning from Data, the Bayesian Way   Jaideep Srivastava (University of Minnesota), [introductory/intermediate] Social Computing   Mayte Suárez-Fariñas (Icahn School of Medicine at Mount Sinai), [intermediate/advanced] Meta-analysis Methods for High-dimensional Data   Jeffrey Ullman (Stanford University), [introductory] Big-data Algorithms That Aren't Machine Learning (remote)   Wil van der Aalst (RWTH Aachen University), [introductory/intermediate] Process Mining: A Very Different Kind of Machine Learning That Can Be Applied in Any Organization   OPEN SESSION   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david at irdta.eu by January 5, 2020.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of big data in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. People participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by January 5, 2020.   EMPLOYER SESSION:   Firms searching for personnel well skilled in big data will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for, to be circulated among the participants prior to the event. People in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by January 5, 2020.   ORGANIZING COMMITTEE:   Emanuele Frontoni (Ancona, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair) Flavio Tonetto (Ancona, industrial chair) Domenico Ursino (Ancona, co-chair)   REGISTRATION:   It has to be done at   https://bigdat2020.irdta.eu/registration/   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation are available at   https://bigdat2020.irdta.eu/accommodation/   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Dipartimento di Ingegneria dell'Informazione, Università Politecnica delle Marche   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London   CONFINDUSTRIA Marche Nord   CINI AIIS National Lab   CINI Big Data Laboratory   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From nevrenato at gmail.com Mon Nov 18 10:50:58 2019 From: nevrenato at gmail.com (Renato Neves) Date: Mon, 18 Nov 2019 10:50:58 +0100 Subject: TTCS 2020 - Call for papers Message-ID: The Third IFIP International Conference on Topics in Theoretical Computer Science (TTCS 2020) http://cs.ipm.ac.ir/ttcs/2020 Institute for Research in Fundamental Sciences (IPM) Tehran, Iran, July 1-3, 2020 *** Submission Deadline: January 12, 2020 *** ================================================== ------------------------------ Scope ------------------------------ TTCS is a bi-annual conference series, intending to serve as a forum for novel and high-quality research in all areas of Theoretical Computer Science. The conference is held in cooperation with the European Association for Theoretical Computer Science (EATCS). The proceedings will be published in the Springer LNCS series. TTCS is organized in 2 tracks. Topics of interest include but are not limited to: Track A: Algorithms and Complexity - algorithms and data structures, - algorithmic coding theory, - algorithmic graph theory and combinatorics, - approximation algorithms, - computational complexity, - computational geometry, - computational learning theory, - economics and algorithmic game theory, - fixed-parameter algorithms, - machine learning, - optimization, - parallel and distributed algorithms, - quantum computing, - randomness in computing, - theoretical cryptography. Track B: Logic, Semantics, and Programming Theory - algebra and coalgebra in computer science, - concurrency theory, - coordination languages, - formal verification and model-based testing, - logic in computer science, - methods, models of computation and reasoning for embedded, hybrid, and cyber-physical systems, - stochastic and probabilistic specification and reasoning, - theoretical aspects of other CS-related research areas, e.g. computational science, databases, information retrieval, and networking, - theory of programming languages, - type theory. ------------------------------ Important Dates ------------------------------ - Full Paper Submission: January 12, 2020 - Author notification: March 12, 2020 - Camera-ready paper: April 1, 2020 - Conference: July 1-3, 2020 ------------------------------ Submissions ------------------------------ Research papers are solicited in all areas of theoretical computer science. All papers will undergo a rigorous review process and will be judged based on their originality, soundness, significance of the results, and relevance to the theme of the conference. Papers should be written in English. Research papers should not exceed 15 pages in the LNCS style format. All technical details necessary for a proper evaluation of a submission must be included in the submission or in a clearly-labeled appendix, to be consulted at the discretion of program committee members. Multiple and/or concurrent submission to other scientific venues is not allowed and will result in rejection as well as notification to the other venue. Any case of plagiarism (including self-plagiarism from earlier publications) will result in rejection as well as notification to the authors' institutions. TTCS 2020 proceedings will be published by Springer, in the Lecture Notes in Computer Science series, in accordance to the contract between Springer Nature Switzerland AG and the International Federation for Information Processing (IFIP). Papers should be submitted to the appropriate track through EasyChair at https://easychair.org/conferences/?conf=ttcs2020 ------------------------------ Programme Committee ------------------------------ Track A: Algorithms and Complexity Mohammad Ali Abam, Sharif University of Technology, Iran (PC co-chair) Sepehr Assadi, Rutgers University, USA Mohammad Hossein Bateni, GoogleRresearch, USA Salman Beigy, IPM, Iran Hossein Esfandiari, Harvard University, USA Omid Etesami, IPM, Iran Marc van Kreveld, Utrecht University, Netherlands Mohammad Mahdian, Google Research, USA Mohammad Mahmoody, University of Virginia, USA Vahab Mirrokni, Google Research, USA Gunter Rote, FU Berlin, Germany Mohammadreza Salavatipour, University of Alberta, Canada Masoud Seddighin, IPM, Iran Saeed Seddighin, Harvard University, USA Michiel Smid, Carleton Univesity, Canada Hamid Zarrabi-Zadeh, Sharif University of Technology, Iran Track B: Logic, Semantics, and Programming Theory Farhad Arbab, CWI, The Netherlands Kyungmin Bae, Pohang University of Science and Technology, South Korea Christel Baier, Technische Universitat Dresden, Germany Luis S. Barbosa, University of Minho, Portugal (PC co-chair) Mario Benevides, Universidade Federal do Rio de Janeiro, Brazil Simon Bliduze, INRIA Lille, France Filippo Bonchi, University of Pisa, Italy Marcello Bonsangue, University of Leiden, The Netherlands Flavio Corradini University of Camerino, Italy Fredrik Dahlqvist, UCL, UK Sergey Goncharov, FAU Erlangen-Nurnberg, Germany Hossein Hojjat, Rochester Institute of Technology, USA Mohammad Izadi, Sharif University of Technology, Iran Sung-Shik Jongmans, Open University, The Netherlands Alexander Knapp, University of Augsburg, Germany Jan Kretinsky, Munich University of Technology, Germany Alexandre Madeira, University of Aveiro, Portugal Stefan Mitsch, Carnegie Mellon University, USA Mohammad Reza Mousavi, University of Leicester, UK Renato Neves, INESC TEC, Portugal Peter Olveczky, University of Oslo, Norway Prakash Panangaden, McGill University, Canada Elaine Pimentel, UFRN, Brazil Subodh Sharma, IIT Delhi, India Pawel Sobocinski, Taltech, Estonia Ana Sokolova, University of Salzburg, Austria Carolyn Talcott, Stanford University, USA Benoit Valiron, LRI, France Naijun Zhan, Chinese Academy of Science, China Link to the online cfp: https://easychair.org/cfp/TTCS2020 From bogus@does.not.exist.com Wed Nov 20 14:53:38 2019 From: bogus@does.not.exist.com () Date: Wed, 20 Nov 2019 13:53:38 -0000 Subject: Kein Betreff Message-ID:

  • Il= kka Niemela (Helsinki University of Technology)
    Stable Models and Difference Logic

  • = Jeff Remmel (University of California at San Diego)
    A Mathematician Looks at Answer Set Programming

  • John Schl= ipf (University of Cincinnati) and Marc D= enecker (Katholieke Universiteit Leuven)
    Complexity of First Order ID-Logic

  • Marian Srebrny (Polish Academy of Sciences)
    SAT as a programming environment for linear algebra and cryptography

  • M= iroslaw Truszczynski (University of Kentucky)
    Hyperequivalence of programs and operators
    • Please, refer to http://isaim2008.unl.= edu for details.
    ------=_Part_9675_3742428.1198158552229-- From bogus@does.not.exist.com Wed Nov 20 14:53:38 2019 From: bogus@does.not.exist.com () Date: Wed, 20 Nov 2019 13:53:38 -0000 Subject: Kein Betreff Message-ID: Fund (WWTF) and leaded by Dr. Agata Ciabattoni. The project is a cooperation between the Institutes of the Vienna University of Technology: Discrete Mathematics and Geometry, Computational Logic group (Leader: Prof. Matthias Baaz) and Information Systems, Knowledge Based Systems group (Leader: Prof. Thomas Eiter) and the Medical University of Vienna (Prof. Klaus-Peter Adlassnig). The aim of the project is to contribute to the development of a general framework for medical expert and knowledge-based systems using fuzzy logic. Application: The application, containing the candidate's cv, a description of his/her research interests and achievements and at least one recommendation letter, should be sent to postdoc2008 at logic.at {\it and} to the following address Dr. Agata Ciabattoni Vienna University of Technology Institute 185.2 (Computersprachen) Favoritenstrasse 9-11, A-1040 Wien The application deadline is 20th of October, 2008. For more information see the attached file. Regards, Agata Ciabattoni ---2105539665-822419221-1220027621=:401 Content-Type: APPLICATION/PDF; NAME=wwtfPostD_position.pdf Content-Transfer-Encoding: BASE64 Content-ID: Content-Description: Content-Disposition: ATTACHMENT; FILENAME=wwtfPostD_position.pdf JVBERi0xLjMKJcfsj6IKNSAwIG9iago8PC9MZW5ndGggNiAwIFIvRmlsdGVy IC9GbGF0ZURlY29kZT4+CnN0cmVhbQp4nMVbW5MdR5F+V+yPmOBlz9nQaep+ MS8sNgYWG7z2AEHgfRiNZElmbkY22P71fFnXrO7qM9JiB+FQuKe7rllfZn6Z leerC7HIC0H/lf9f3z756af+4uWbJ+LiV/j38slXT2RqcFH+d3178YtLNIp4 sUQR5cXlF09yZ4lXYtHqwjuzeHVxefvkL4c/HtXhN8eTXEKI0R5+SY/GWK8O vzvmf/99PGkdlujD4Q/lVe4QpfCpP+v06fEkaCgb/OGz48nitROOz3CJ4Rbv Y5SHP+NR+SVqf/g9vVVKOXf4kN66RVrJ27I53u9vf50WJJcYg4l8kI+OJ8X/ /tURXWQ0AZOW5v93+T+Qk5QX2JtzOpCglApLMBcnaxctY7y4fA4RvX/EakIU +nB/pPf2cHdUalHW2cPXaWNSG3W4Kh+vMYG3wkf6qE3EH/bwgEeJtVh3eHFU Czp4efjbUSxW4FDM4Q3WF6J2vszhsc+748ngu7bx8B4enV6i8ocP0tuojeH9 F7y1+Et6Oi+7WCeEPbwsS0pLUwJdhvWetHWLEDLvMEpvD6+PZjE6KMP6POvr qHtkw7DHLp7WIY1ntEvSJkQqoS8uP3py+V9/wekGt1ilIxPJTZt/aU+0ee8X DZiIMoNoQjLljabdWJxsPEgSu1qcdAdbvobWPmxGkKWnN3jkzW0ePMlAjV9o N7SFD4+B0KRlk8y3NLlYPMDJDu3HWreLCxC2Wbdt647lje/rlnIROoZ6Cn/M cFFQ7374/UDKWYrg+LFelaWi6R96f9a2D/X3oxKLCUD2I8DvXb4+KoPziObw XbYQBjup4PoiC0xCHQuAHNep6yNU2ALMh1d9uWzl9000HWp16KoumNUtKhit K2qTLcjy+k2yPtaEQTZ9G0wf+I7ay2/6WtjbF2Rk1QKIy83RVzB0jVDl6GGA Pj/0QbaG6pbMsbAxCuXIBtWZ9xZx9oBYf/a9m70keO244Dc4opefH9uUMz2C GOC2bAGOF/182KxT0U5ROz2Zyfp7u/5Ep2LjIjFiVaQTwV0Hoau1yKqYPz7N JjUEza1w7uKZngpuX9LfWZ20OvyJFimVV+6cOmJVxX1p7udPCiKz7uJksIPs vD45wneLAO28P2psDbMIJ5NrinBNWNQH5BCxI3I9JxXhDA0OExoGFUtCA9wD XBj1J7k5YUk2V7RQUlIPTTrpQMuK0+lMJNMiyA/I7DtoROcUf3uPpnDL2czo aAkD5TuG8+kt5hDo9eExQu2DJIejyX9J4JlYh1Ma7erT8/QUjAtlrUFkuD8y e+v1hhaioWWhT0TWJ+BgrWbL6LN/T3ITUVn2RDYsYuUyJmWl2XGqh49JNg74 IZSRY4RnDHzRbPPpOIQXsko9aAupC4KH01mjdAiL15qIkkY/CaF/eySQaA1E ag8CmABBTAQa5kMcJs4naxQYEokI/hb+8LO2se8aSPKZRuO4KPlIt2iqwRhV P/6M1YGSAvAEMWAV9t03rtXIpkpGTsMzWo/ZsWTvgf8XiU9IlegWFp2G0UoS 8ORijU+2j44Of1nviJ9AFwJJ5gP0xW5sSEAH7zSKRAuVheHSyb5haiMzCeNj vD6m6TUbrL2ipnd5qTq6wz86OW1NbvpD2p2Cojzrk5GVUcBU2hSpjzQa1s+C pDsV0ka3Q9HbZ5lgm2j7+xdlPyoSVlXi32SvYTY0qEIiaeQWyNtYrBeQrFvK slXaVNnWLm3w132W2nQq6YRHGE6gDPScTl9FIqe2ghD6FLDF8VRpuNujFkS9 wygg+ixkOm/YVy0TISMzmv4FgoEDUtLCCZbaY+66IrJLr7KovAzZ1UJzQQEo eMl7itb0ae5yY+XbI/XD2LSTU93KSWpsPBY7S6HRXQ94mqTKJoVh0GWiLeIL 3gwgIx8iEv0xwsOnZ0Qm4wMiHAJRHwMcJadXh70+YttQfF93S8Bga6Ihbhhs yaLBU4H1YCKM66MgknECq4PLUzz6YgO+yNzDykQo6tsrmjsGq2jNAoGO9gDX LSHQOcSb7IgRPHk4qWiyEyJb1PdONpdIXSax5CCxovJNpqNO3hL7hfpyHH7T 1zKAHaYMLg2x5MMaT9SLAOXDojcWJmtBMp+CHLOryGWDP6XToVNQU7AW9Qs6 61zpqFxGYIDxjp4hlKD7LZNdG4dpWJlR+tz8ujZpD2wijwN63oHcYc4g/bJA uu4xQdoJlbfa9fm+m+L+coWJpFIWBlzVsyDMTc0Dk+Frbs+YGf2sD37dAL4y P/SKwfu6HVxdDmw6nLQk+qI5QO764/MyZYjcEn5I2QLvcZp/wqDeky72d8m6 GdjpOKhytj1bY8pEUKFcuJvlDlGpIcz49AgrDu9Pu7GKXL4/fEVJjW8IVliz pjM9yXTS5L7R3Ons1BWZUTiPmHqfSEpyUdIIoj8KTzA4WBZlZBToy3t5GMhw 4qc9AB6ErPDPNiFQ9PWqix6TgDkkm3A9OOhR0vWxnePzwboWe8RlCCILxygU FyLDHcH9mz7GDRvXaJxL8OvW6yZGEPSwesTpCF0+yVkmnC73GB/k7XE7dVe6 Swa74lmrxWPWka1xhhACkYGcfdmmI4LQdPq8g2rN2kcyEl7AaTjux8kcdGPT x/yPyVCvi+EjJ9pc9lWSHnbtUzzE7QnZcxJkH78t5qY160+96wkdtEaYlq0Q YkCE9isrRO5po++jXeifKQBz2Hs01RRWvnDVOAJT2d5x4FXrM6IGZCgsuVdf RZYN32YAhvOnOf8n8TijhYMppcUBZBzoKzyRVTOQNEcOdxjZwSHUMCtorU0t d8Uraa6sZyUdlhQl8sWMYnq1lkimcqk1oqpV67aQ60INNSyXZzgrhoDYskcw 7M1AWxIiOoYqgReaWxxSNeb9fnq0DRAUMIi8pofe+KE3niG16UbfyqhH9+Pc /RgLZ8x7HDljFW8MCVeFMBAtYB70+wax/vRdjkKJpO1IJkm3NidOBzsqXXbP N1sAbrgpwjaOjp0DnDH4NnrmlPTxaTEbVu7Th5BINYPhD+I+NLy/1e/uPTQ4 vg7nnEdqEV2yK3gkavRJhnMAObbNbI5uhLYpnB7ZGPU3Qs3ViwUvyjMrv9t4 gtk3RBtDcs9VCbBI1SK7it+1YjWHUl5lKJf9jVaaOTuGoA4rhu1pHMTCWQI9 AxEidZug849OPeYmVOGw901o8ImnqCCTafvRbajylGIMVclVyEr+VzbbHYcX Bf7CDwmEm+1sTA26Y6QP2ZUqraoYR60oMkGENg5GzF8PZvtdxPF1QXxKJVTE M/HzWHAaCWy8BeF5IMxgXg6GLoCJR5JGzpcAu6AcjpObphlfpUll1Iprd8f1 0Ccfk+OegAVqVSlYl6uOKMrdjQymSoJ0w+hq5tnWOH+sWH9J6R+zDGyiHIJy 3rdDsHauOm8TFY0s6Wc1DSUrHNNEQ6ogwdHZd4VjpSh8oxRgkX17vudPVrms qzH51vjI2uat/NOoD4x9bFIPKqe1KYTjyT3KPVASUQ7eZhrItT5/KxSGshiO U+V5bo6GMgi+Fm5S15HgqQ53kjj3ZmI/S0GcVbKGgM5omkYdvmwBHAsWr+lL DvdwpueDPEOxW7SPB3kpGgv/Wqa0hl2PZUqNmWVKU5yp4ph7sqNRQiPYPS+r 7cXxpaTZHvlI25J24sRKDslQCgn7/rJnVDssutWnmYFUASPz+eeYepp8+L41 70+U53Nq4SRkh86tcIhThWdLYiqTaW6sivsz6VbZHD7OcZ004KKGg/WHpRoO xEBH1u6+ppnoLs3qlXn8GO2cM46bt+frTGowapVaoOhAwjU4l0jtQ+/xMFG9 CSve4bT3o2VhCdqf0IwaSHA8tb6bV9oakOedozxrQTNxeZAzuQ/P5Ow0ldrU QpfzNGSwi8nDU6p0k1GjXu8SE8qc4NnycpqBqE3JSQ8Bas5Jq4SsbCmpsqcF ewMDshM6StKRhBoGcObVWSKkLaQm8gh5OX1nQ38oSW3iETmjp2W5P5NkM/x+ EFkCubz+kf3ebF0wDbMBQU0k+Jgs4AgCT4ldfkvFbBB4kDU5giKwk2TWLjSH IWN51JBdfbbnfnmedzjb1p2mR4wtx/KtVQSXbp30D2FEtRdbz+zrDdlJw+JR so5n3tp93n0O66ep/nmmdqX5OfVFWehmImfZ/XxJE6OBH1ORw57n4lh0t3sX VW7rSk0dGAhHNUsIzuxuf7dJMQ5puCrA4hP61URJ/+ft7qX/V+ZIE8ML7PJs j3uOhkipfIPwY92UKavJitb9mZyzeswozazm+qKsWqIWy1Bll8wJlayuFItw tFb/fD2D3wuGdZarUCYDIftDbde5yHNJtm1KbsobcrSm6V6Wu//RnCudM5G5 ZNJyOLNwOhcudGUoiGPkI+d/HBzX03Ns14P3yNguGN6nyhyTalTuW9XDbbPU D+1dIcFkk/qlxlX73N+VWxIqSOgj5hsRFX3uIiW8Kh25tVL5QlbwPq5Tdh8d 02tNeuRgpYKkC9STqrPkkOukJiSbSkvrLllQWe/kWcrvIbsIisvZpVQqaX0L B8PGfa+6jchvNlYEsRgDHdLlr3Ux3WjuoXCKx8HPpLIZnwj1L441kr4qHqtz 3uRzc6Az4xTFRbJKY9aALXl14/m4PtR6Dcrf+YEWnc1WDOb0tt0MCz3Le5wF vKQQszuX36aCLxliYKC8b6BElJTqeq3s+KQoj5KQFcwvMzJSki+S1LEPqUSw TB/ydR/CkxIiRtkHyHinIMmu74B70EkVQJak0C8Oe3T5IpUlJW6arx6DV73h LOKUhErz1vqQeDNMzv9fHwgd79VEdHhrfUjpp+B3eA8ziPWe4w3l+gB/1WrW aY5JXLyhJrSApBWC6tzizDSX6OGxSKEr7zRVM/ENQ0Rl4aPrcTIu0mlHdtUu MNfA9jCkAzLpRyPfSH/22t6z0KfKPULrAax3rMtJcunGMtchtp8LzI+XyjKG LExKU7UiiGbwf3tsvyEY7gjnNQ49C5vr0VxwDIk79y31ipKYPQt8b1ZGtbIf Nt2MRr1sOV9gqc7HCw9kWJQh/a5V+HvJHpKD0mP9GWUTsDFXilq+yH/quEtU SsJmFhe4VNqb4gIDk/vl7IrgulOMnNVZhQVGixQWDLUq9TZ/vJpf31PvVaKw OGnn3j4ljEyM81nPC0LNUwNZo4Lm2cqBgjLxnamqsrliN2WhjFwfUSloAgCA fm561xqWQ5NRs6sXZzUATJVWjTZLFJLFSSuf/VeSDWJ8NN6tmcoaWlY+auhm rmkCaZP6uamX87zbu+TdKVCFcxB+Rl9UznFO0uv/1tse6xMQfogrmpQqRzjP 8l+zPPBQbZYvOozayZ/tpEY1dHxy1d0vWxsFmzi2cyVXp9r91GxiqUE2tM/0 k4laxf3QKuI7DRs4P5EqxIElnsil85UesUKt+/b5rlGrs7l5+gURYf2x3Hy6 QR/rGkimb5EMrf7/8WRorT8E1Xnctg5+Y5ZVuuPoLumruGs+f5wKgTrWf/JU E0Uviuek/s6UhIp6oqYYMOWiqLpUBT7RrHDzekKTOsFhtSflRtUHXhKzqTLJ wUvjM6koeMgr9R5sEVQE82pu4KkIVsFGze5TV0Vahq4412HxcF3HrSxz9Tnr ok0udyp3ggwMWwRNzW5/yThR79Msk5yZZbp4kKV2llZjnZ/Gsecd8xkHbPxq LVYnRn52LdWTmKkTWF2HdrezUs6ao5+Ja0yxrgrLdq5KM3OX6UcaBYi7N7hb hJbzvdmy+B5PTyJrBsCn9Zba8Cwou6Ca1u/QVEW6Opr1zyyETqlLNh6jPun8 Igv4S8Y/i+BcbbTMzG//WrQ3Z8SkZK2dYcxk/FmDPfx8En6crfSalTHOsxDg NpKnAYuj625pyA+sk1kCBqrfGI/iKDdOu5a8oHQVsbPHjRlaXXtSjB2p5s+P gpjVo90VNibrJUg/ov5bm223JV9Ay7B/45Gj7R2H+68WEtaq9JljYYLbm2Yg 8hn3g8sh0yRAfnSHHL+gSMiX9EMsG1bIrz7H6JSQYb+x7zAcb5SqzOf2nNRc 0W9cNtjn1O2Xl0/+F//9E/MiwpdlbmRzdHJlYW0KZW5kb2JqCjYgMCBvYmoK NDU0MgplbmRvYmoKNCAwIG9iago8PC9UeXBlL1BhZ2UvTWVkaWFCb3ggWzAg MCA1OTUgODQyXQovUm90YXRlIDAvUGFyZW50IDMgMCBSCi9SZXNvdXJjZXM8 PC9Qcm9jU2V0Wy9QREYgL1RleHRdCi9FeHRHU3RhdGUgMTYgMCBSCi9Gb250 IDE3IDAgUgo+PgovQ29udGVudHMgNSAwIFIKPj4KZW5kb2JqCjMgMCBvYmoK PDwgL1R5cGUgL1BhZ2VzIC9LaWRzIFsKNCAwIFIKXSAvQ291bnQgMQo+Pgpl bmRvYmoKMSAwIG9iago8PC9UeXBlIC9DYXRhbG9nIC9QYWdlcyAzIDAgUgo+ PgplbmRvYmoKNyAwIG9iago8PC9UeXBlL0V4dEdTdGF0ZQovT1BNIDE+PmVu ZG9iagoxNiAwIG9iago8PC9SNwo3IDAgUj4+CmVuZG9iagoxNyAwIG9iago8 PC9SOQo5IDAgUi9SMTUKMTUgMCBSL1IxMwoxMyAwIFIvUjExCjExIDAgUj4+ CmVuZG9iagoxOCAwIG9iago8PC9TdWJ0eXBlL1R5cGUxQy9GaWx0ZXIvRmxh dGVEZWNvZGUvTGVuZ3RoIDE5IDAgUj4+c3RyZWFtCnicrVkJWFPXtj4hknO0 jqSngNpEra3WWit1xGoV55kq4ogDk6CAzDIJhCGQZCVhnocQCIMBAQcccK5j td5aa1u1rVarbV9rtbW169DNfX37ENTed3t7v+++9+X7gCT7nLP3+v/1/2st JEwPO0YikchmLVnuMlb86xVhkEQYbCe8KPUlxt/UHan20FsKvXs0Dx7m5oC/ DcDIfjimPyOVSOYuWjsrNCwuYktAYNSQkbNeHeLi6jppiFuIf8QWX+9tQ5Z4 RwX6h3hH0TfBQzxCfbf4R8WNGeIWHDxkuXhF5JDl/pH+Edv9/boePSs0JCw6 yj9iyJJQP/+IbQzDzFrsFrfNd8nM+FC/NUtnhfm7zw7f/M6ciIC5kYHL50Vt 8ZgfvXXFgu1BnjHB3isXxYb4rBox8tXRr495Y6zLm17jZ0wY1nvylLcY5nVm GLOWcWdmM2OYl5h1zDvMHGYK8wYznFnGzGXGMi8zy5l5jAvzCuPBzGdGMCuY Bcw4ZiTjySxkxjOvMiuZRcwEZhSzilnMTGRWM0uYmcwkZjSzhlnKzGImMxzT k+nF9GH6Mv2Y/swAxoGRM1sYnhnKvMDEMCGMMzOIGczMpkFmWGYDc0cSa2dv 52/3uzRV+nmPGT3et19h/5nMXfYpO4XNZgmXwN3r6dHzbK/xzw18Tt97au9T fdL6Dusb1Pdsv6T+g/on9L89YOWABgeFwzH5JPmPz495/iw/hf/+hV2OkY6d TgecJc4bnY84/30gP3DiwNCB3w8aP6hm8PDBKS+uUtgrMpRjle3Kn4e4/y5Z 4sn07bAHK/qaBIVVgoPv4pcWqXADC/kImerlRDKAzAbOVealzW1SCjvZXVDy naLJKgvQjAUf8INpEGjkgmvYawZVgLKzhg3Qqt5WRAYLFbK+Han0tmuswgKT pLHDTSoM61jMZxRrcxMgATTqjETi2/mdU9xq3x2eOi6YrdbvN7SAFY5rG3Wc lV0TYak16gv0BuUhdLRHkJ0gr+szDWrIdA7xgDBFMNti/BB2w344pGvTctY4 1h0Sc1VNHDELBTzak+v2JFrW93e7fucY4m2uuCVEWyWVt6TCOLzL1144pi8D +pQo7TZdFMSBlyFaT/dg1ZXFQwSk6LQZya8QnRORojmzQJsFWc61rVCpsLLh ugXaeAgDX32IgV5wGCqhJBBHdUqcMpISt6qToleEzl0EGRAFsRXWrDwzlHG1 sWVRMdFJIRvaAo5e2Hf6dI2C7uo1IwNWwb4t2uyAdhcWX0b/y47yJrTD+zyp YjeoYD49YbP+mKEOamlIdokhma+Cg0pczP585dTFC4WeyxUk8V+sXEUPodvJ oQcLt8Ea3JJYvtW0DGaC16bQJZz86i8sGaqyD2Y/zEtfq+z7u+RIOKOyYNM3 rRbJrpu46hspEuEF3kejDoEkLrwipr7WVL7zg+l73iYD3iAM6U+efzASORzY iL0LClJAk6rNVGsV28YsTN4M3Mpx+3ECTvqi7UT+BV1AM72/NN9KD9shoewa Ui/UfC5FdcerfKpZQ6PEkWnBNTIbeTRsGHgN7zrNEUMTNMERbbN4muHQXqcU WvQsqv9ul52UnVoAzoVgzMsqRF1HHyd95xVZN+tkrcYPYA99/Q1aNZw1kn1b W9iiFGrYFkPhNUWNlUyThQPo0uNIaOc5JwrDaU+6M7xkxj1WB1TexDP3Zz50 lAsYIdjxqGObDLntCuwvu988ceWitZOIVPl1Kn+/8vJF+Ji788YX5AVFp93T 7dew8l+esH+wDJ3v3f2vO66fEGmRcgm5wZMBthTCWnyHfdA2Zv7sVa7Du4MP FuF5s6Re6CkVBgov8/mFYIAsrjgN4hTkqkxFJthbZDk/VbaiHXAok5HGzj6p KtBChnNiLmUl3pSVo7t9hCyV9Nq+kXA0qL1kfQWNyiKMpbe9iTtvSoUg3Mrj 8yMekz5kwCgioWnN//wa9sQ+P/6AcgUJJ178JthYFXYo4gCchxYaw5M1B+oO tVfthQOwP7p2U+0mWAb+EACe0RujN2zctgY4G49V5ug2wdmMm9scKHsqLznK dwj93+UXsDii0N7KzknLPaIUfmbJ8KeUI8Gs/EjLtk21noNIr2GvEp7IfxiJ sosHdzValFjVg3izNCe1qviQdRuiN8EGCKiN3B2+T3Ma9kGr4VzDwSrr7qaT 0AxtO6wbCuNpJOK4LrXp4tit21LhV+EW33r+bFajmOTBWl9dGATDMkO4mOT7 ymJjVOqkTLWSuJIqsgAPpxfQgGc7V1myDtIUD9DMpLrmDev13jTFK9gPIE9V Fo6byXdOZNUTfZO1GK90Me0KtFCmRbFvawr2KNGTfbaPwfWCa70Ud3S8yacW 6fSxFJa3gxtkpWDSleqqNXodxHKdlX/J+XI2O0Ovy1ILozvvO+Un63W5wJVA bqVSOMLWQfsjuttA3VrtVtgKaw2B4uEegVeYsnM6S6G5MpmJtna8bpWceiSE 7ZR2vN4xjS+HXFVmJiSnKda4bW5ZffQ1cCbuZAIZRzYRX5xIXHApTvoBlcgV QG6SCtQpOmUaeWmIK5EAt5Ss3oXH8Diu2nUeJXfHkldMSkMiaEqAKwNjldJG B7LSiqPNgnNbhMXh8WUsu+ko/xxn4T2+4diRhmPAXT0/jtiTPnMmufn6m/aF KROrQA8mbkWP7IQ2z08pwZ/7+QfkUT7qAekxzXtjdIxSfv9SN3uu5Ko3KjsD n6jeLv1xQy3UwTFbzGz6OJV9qmghVTizKwFSL9HMwgTebISqB573Kfm5N4bT nwN/GYUs9j2I0sqCNENGqladplUGDneBFFgDvjujWkMOwyVo4fRVfA6+esuy C7hHBWSQnyhqPc8x0bUdky1ieDc+knb44zc8biKv0SguJPPI62Q88SHeOIaM xbm4EF/DcbhBQb4kX/GvkYFfYQkW4Ssf3LyDL80m+aSCvDjpDTGA5KsnUqm4 LcgfSps7pvN/4q52MpyKChyJ7+ByMghdyHQlef7vQ3ibS++2CddD2XtwOfrY 7P3v5E+gPk2kse4Ba2PCli97pSt1RWO0YTXKEmMSc7eMetDnQv/zPJn3VyEW Tkez/mPt5ffrk3wuvDWIcMNGkRfIgPuvIPfhvv0NZqURg3kylIWguNDoyKTE oDAv4GYuvUtD/dyHNz/+rG38SlH4XGwWaMXxt/LMEuxx6Zs7UpwrDOdRZiU9 kZN9dfjwAWMppJcqkjPjkiCCiyqLqWsoNdW0bm5aOWfiyqEKwk4NvkGuPdns Hn27oR72QjvspTm5nXUT1Z+etEF8Eu6uxQtdccWjj6QYg5d5nCbD3sh8/vCH kV+RF5Xk8R+0/EmeNxs/plXGbvgEmp85igbLeay2RfmuDMfB0LVeQJ1x3LOn nbNi066ucmqtRdoxpKuciiBjomaSGVQInLvNwHSPvV8YNFFpwYoI2QRV8CiF C6bLbLbDy/B1qFtRRpScRRaK0fad557ur+opEz6mNY4k0/q0mnh86fFtR/lB nHGdxzHUaO5+mmsAnUGh0cUkQzgXWrXDXGEpamwMbtg0M2D+pkSF/BrasUT5 TJyr/jqcgob4VOPyM7eqEaod6o/HfIIzP2k+7ij/FSNwBj8eHlbX6RtLLcq8 our6vcDdgRFRYbqgHRHKtOSoUF/gRubxe0L3aSqB+/by5WutCa0R1cqWXS3Z FaIIg1GnysxQQTIXX5xcVlCZW12e3OgXs1Ht463wbvI2RgM3Zu7ctzea/S3b lUk74rZCICfvgOBif2uMe3zQJvDlZj1YgX2x18/HrjcnHltdr1hZvwyW0oJo E6Trg7K2W6ERsqC63MShnPzOvzL32IlDu1sPGJVnZbexB0zwnL3mVRFG/TkR xnYrHrLBuMKCL4mFccdUvvPQPwNBiXKd2sE++LrLELayo6G4WYm62+z3BU8A npSy9TXFBMzpBri3DEeBxaOMKCjAFEUdFS2zMLHSoak66jAm0B+O8rvohyt5 c+YXCTCLWx3oO21SwOkvYxWaYl1WCnBJkB6nJE5sPKQXZuv1lZUKgwEMFZUH vA/qqqiUsof+9tGJkJ3JRcqtjX553nmc/JpH4fziMwOba/fdRrtsl2CDQp+a TwPPFUN2pfJHVjSIDC0kJyk0mSmpmRr/eh/YQQnb13++R2BZaF20sjG8Xv1R Ive0hu1yfgnaiSWsVFiP2fwfa85JsNE9IYDT4Y+yPxQAneX/XyUu3caXg5lo M4XqhBmP0yqO5rcO7ac/+r7WUR6PUfiYxyIWqqHIbCwwNIAJuHvYI5O8PDdy ChmpfJjE36+5fh6uc98T2S0yQkH+9ici8I9m3y0CmMPKjyIrK4M2aN6yO4BW GPNhIfju898X8K56J3DXy7+oz4FCaqOp6TqlenZgXASshbRjid8mfeYUd3Ft 04pKun9p/4PUp1NNGGEVXrY6UDeZeDeoUSyi7l3gi6P3+hYClw95pUqcye7J yn6fev5m3QptCPjCRAigvVcje8+o2qxcxMrbSQ8iTw1dSNY2d/n0mqZzv37t QkaYFH+0aUxh/1gGBDV6nhxJy4ClZCJ5k3hTyxpPxuHyq5/Vnt0lynT6V6KV jjBhqBUnmyQ/X8aBFim6iTr9kpW8hIsjZDrXkCGvZnLRX5IGlvT7NrnlSv2V i4rTEStYtxD/zfPh63La8kj4czaRwj6PHT55PIfWid/iHGEpT4aIvHg/X021 x/wE7Ub9SUMNrfCabWgvyMzeo5T/mCXs5hsjqkKDo8PCw8zh1npLVWN3N0VL nbH1Dqdqwy/iBxdXUuyv4k+CE0+ety4p9TsJZ5w/PHn+Or5lJpM35Cj0alAX dnMe13eFI12nS05XBC4PafDZ9yYNh3TSuKGTT8y8HqYszDyW/GE8J/+2Ln1n ev3mqvACWm9xs9fMmrRtevaRlYplJzUXdS26gjTQPMlIr66MzNUbCnMVoDca m05Yt1wMuEszsudnP6DdwwVfTDIpbf3xe1bcZWu7j9+VCh3CT3x3ryIL1LjR etsfZvyxwyZJ5DgmsX+55t+5F5bicVL612v+UNrbtznYsttRHisMusG7sDj8 aWFPnQZZMuKZe8xlx6+bN3NSZvtxBX7Z/c110LypJKPYaTAWR586UP9eg8Lm /7QxL/tKiOyihO83x39ZSEnxG24WSTFavPBavigWQ9gNqRMWZURBcbiiNMtU AnVcbZwpNDQuJnzVqdDTn7x38WuFvLNjTI+GyJpt2yIjt22riWxoqKkRnyJW wZR1rlXo1ippsWDeXcyjfjymw5XvRFksiaatVQlOKG3C16CCqkuBtioTVBDF 0SBugcRhCt9g2T7jT3CIvh7BPhogX3YYlOwSm0qqJSUVWYVUlSqBXl66tYRM sCn5lsFPqrjBd6UYLYJqLLyhqBUBm0rh8oOpXYDVsjeM3YBpVFMV4SIYNygU e+BGFxjh7FSNDQxarKmqhIFWSaWQKBXG420+v7p8/yX90xlGJKw3xIsdQKuu MApigfbkmaqXSZ4T6YGN6mIq8Qbn2j1QQeUjROehjXo2w7gAWeriYBxO0Ckn 0ZBRDMWQlZ9V0F0i0uCxDRjeJnl8SYp7sYzXGTJywAhZV84V5F041maoEvew TZMEobQ3XGJIFPdQqStQQRLEJCanpZOhpK+TEMX+qfw30RKjAXbCXt1e7RP5 f8RefPfa0DYPiHOOjc+Mpavq9WcNVdAADboGcdVmiAb/E2LHR5Pe0ZY8HVZx ZpXAk2Gj3hrtRXpZcLlCGPBv8qQPS4YiR+gNkL33LcrKFUYT5MNeDq+yTXBQ bK8CdOu0WyAQ1hkCnrZXNlbZ4KgQB1u/412+4qi1uFkMRTSFIxq2wQZDrHhF i84cR9+pQZuRNJbkO43Exswindhu1u0BE33CNt1qbSSEwDYbGq1Qpi1IylYX huTGTiAZTqPRlFEkzgOerLehlwkr9QHi+qNQpCkKQgfyq1N2ojFNRM+Qk13y I7Y4/URas1TiR87FYLQhahPhDgk1bCnFc07HQv5f4HLCYAEL7UZbn9qyOFEw x1sxqKru3mGzQ9u1dd/gpMtXLY7yBBXe/pTP8q3zbgeu6nzJ58pTER7ssgi1 amvmwWwFerHUIvcEtPrtWVO2DjjXuV4LQkzxtfUVptqijKb1emVd85FC2qof Oe33pnIzdVXVas0czeKQGVsiVsFGbsr9iAuXDu1tr1Sk42R+BDt61pYNa32a j77bdhNdcxQiD6o6htLU6Fgn7ZAIX/AlrXUNH+i7O/9wGtvuzv+4riocoiBN o9aqyaLO7U7EQzCoS7pyo+E0WLqa/7mUJutgkw3v98X5nj/u6PzNKTc2W1MM 5WDIzi7hbP3fsxwXhguTeJyPbnl5J459rne2suGaIJpiAbActlDGsXt1OVGQ CgkpKTQjLpHjTnjl/yjis1jk0A4XkKqc1PwkSHYO8YMYsU7qGos2w+6usSjr CduzQg48S2Z7q6RI0IupnMzv3L37SE2ttWVfabsYrXBtSFe0VhqSxLNXafOS IIFuOSlDvWSa07QfU8UxSY4zlJbmm7rW6xZoE2A7eOnDRCZ+CHpdu/sDwjt5 uYPWa/m6Ze9otwP9otZg1dfS9G3T1ohkijamF0MpmBuazn/U4Jen2rMmT1Wc QDMkNXVHmDgJ3qk/ZTDTnnOPbqftBHGGqAYx5G6e/zQ07bKl5v+vuen/dcIq Vrvx/ol33Ao3PJ22fvK/pq02X1WZhOFdI7PHl7DypqP8CM4Q+vD44T/I5LcW Vq/PK6lr5+Q7okrb1nw86Mlw5NUHRDZtk1dcgtJIynj0YSlP9YVle069m1cD B6ElvMa/1se4HHxgs9Z924btwf5bPcU5Wk1ka2IVVe8KGs4e0nOMLXEqfouU /jaUJk7F6f0Fe8SRWYg2WEclCRbZEudvOtNW6ilqTRpNnFGdPk5kvJCky9Lm UBnbeQZquxJnXheJNxl8xCtOQxUUBZjnOBFlpxuZIKh0Rl0uGP/F6k8gK6No M3p1djgZU40pxUBzMjerGF2FbCec0plj+9DZ9mm3jAnKKpzxWIKLzVL0EW7z 5yIPbgqMCwsPLw9rMZUU5NAqz6DX64EzQGJmUPqsxUuUycmgBQ2Xnp2ZXXjz U+ylsJW3xFj1m4dJ8uCMFG+RdJ6GxxBfTgagQxAuA9qD48zdOBP74YBiUYiN XG6mUZ3iMo/I31GsJnbJREpxn1ZI+rxL7M+RfrcXFgCXk2XMVf7D3TGB3r4N jTxcV2GfFWjvjv0mvE97OHVmploD2so45Q8jT5NxQPyBTN9MZpP+xCHJtmF1 VmZOwb0PUH5WcQztilAKt7qDQDxtQVhAgzCvjNfrdYmLQpdu9FKq1TodZHYd tejGDWQvRu7zfRKdsqKcvALx7Es8GXQ/IynECik2oDt/hlQsY7tN4rHk9mMp rjjB/3NRJWi6z3RKcJQKCzu8+OxiMWhcYWq+KjEzJUWjIP/13zMzkmhBrHVW 5acWlmQVFBjFC6PNHU5myZ6bmHdTKmzCqzx8lvFZ4Mfrv3ct8wZ3mBnuMyZo bsY0eAtmZLnsm75/ytWYI3ASPq068F3j5ezrcIMjAeQq7wfvWOK+V52Db+As XIRLeScr8blP8i3QBJfiKkcWeMB0WEz1dJ5q0Y7Ry0M2AEefTaWj1XqAIhH2 sRTbO57na8AQpViyaBwEiSplorc6Xst10sJYk+yiCBJ19w7spa87XbobxLpo CltFF4Rr+MsvP1olR3/BjV9LBU+cyUfIMkLSN6bsSE9bQIsTjsyXPX6EY1Fx 7iQ8dEaZy2ekL7F3e+NNj6NgLG8u2lcbVxuYpgWdRlH9/snWM8B9vX+K61tr pq5YoiQryFaVON2PdBZYcYwvKB6jG932aDPOoDBbBA++Nr4uICYxRa1W6LQ6 CjSnhZKsxtyPLrynLOrmaEZWhmrydNLLvWbD/uaKuloFrnzhP7msK3A40Cp4 mxyw/drsK47yH+vRlcfK8eJ/XdwU28UC+Tg1+DY40VUgdw+K7jxk5d9aRwjr aGRzElI1YrdJznVusUfLC0QjQ43Q095moyoz9jTjRdMF8bfklAWZy1hyGRmL VPhSWM9X6/RRinhZAuj06tz1F1aV+AE3fPQY4kAcvhvz6OThhradyoJVx2N3 A/dVyaNfMYlMR2cygSwio8g4so68gwryNnodv5hbelFZm4O9m6GMK0iHBEUq vakWMjQTfcdEvk5RW0heQBechx74Er6Mk/FFnE7siPqNdJcFgXCsVDn3EA9x kJm4fePi1eoY4Ga530YpSs/evtp4OMGjRVkcSxkfJ3Ituh7tfqDShI43HY4+ WGfF2LuO8l8pVdbz+JzrQ8Ks25QQGKDAVaxJ3ZROSx/s9+HXxTma7HQdTfgM ZUzq2pj5tMNfn+tVlWbU0l1yKZCWoCRH2DhIK8k1GHOyFIVlrSc/h+NgWZ8X V7bZ4AdrOPlvtFZ1j/SO9Nscvp5a0PIT8WeNVHpps9tUbqmpibdsTQxMXz/h 8ijsgdxP36NcJPQTKXW0Mez1/1BNKcP+MxF+8t9Qa5oJ2bst4hATF38jNoNH 8aYwnD+Um+SjJNV/VZwKUpY4pCboRFo7a2kQE4GT3yS90F724Pbe93a2pESZ FD5adSgkcFtrkyqrq8t2nl3R5jaGPLeaSBRE9g+D5D97Al5ju4Dt6GdxaDsa dQBrD0QddZRfw0mUo+t3Zu6Ccu78+21Xrl5cNWu53zr3QIV5B/9R65HjcIn7 5s3TY0dMcRsTZ9jQ5qUoTG6NsMRz8rvLtk3wGDlw6E/zf0H7727+2qI66N+m iK1KKFi0lxvhzdfHt4ccDq6PbQ+BpZzbjFWuE2a9d/NM48Uv25+MUx5jaLdO C33/WajJ9T/riJ/Zxl9eHNsp5WlLN22RW3raM8A++gy5Bu3Hnk8wzjaAXq/I 1Rca8nK5vlTdp5tJXTluK5QRnyLW2uvyc4pePSaZevc05/fufdnUuw/D/A8O YLLGCmVuZHN0cmVhbQplbmRvYmoKMTkgMCBvYmoKNjcyMgplbmRvYmoKMjAg MCBvYmoKPDwvU3VidHlwZS9UeXBlMUMvRmlsdGVyL0ZsYXRlRGVjb2RlL0xl bmd0aCAyMSAwIFI+PnN0cmVhbQp4nK2XCXBT57XHrxCWL0scsKMHKvRel/AI EKBAKIQQGohLSNjMbgwEvAlbli3JtrzKWmztOpKsXfJuYcmLvG/YZjUBE7bE JGlCCmFLk2bp6zIN6Sf3MsO7wpCQIZ1J+t7c0Yw0mnvv+c75n9/5HwY2fhzG YDDCYzbvfGPJ4tDXOcEZjODMccFfMtOoxNG/jSaEwWQmTB4fmBn5ciTSTkVb nkaLp2BMBuO1TftihKLCbF5qmjh6bsy86CUrV66IXpvJzeYlJwqiNyeK07iZ iWL6R0b0DmEyjysuXBS9NiMjenvojpzo7dwcbnYeN2Xs3THCTFGumJsdvVmY ws0WYBg2c9PaQkHyq8KUGBE3Kzs1Z7uYtyM3PT8jcWNm0ksYthCbhe3FYrHf Yc9iW7F12GxsG/Yath3bgb2O7cRewHZhG7Bl2G5sI7YH24y9ii3AtmAx2Azs l/SJsXDMzljMuDPOOS7IrGTeHd8a9nzYHdYbrP8J5+M4rpzAnXBjomTS5kn/ mqx9KvapsxFxT782ZdWUC1Mn3Wdwz2ER98flrMAgMMoIMC4EzzGD/xX8hu1o tzo/AdzJqnJBjVsB2gP7dfAmmQSJ5mTA1TIokNuhJtAARTrQa6UkNeNej5Kn Vq4HjkRB/+mASjK4huUFo9FadRXxp4OxzAVG3C0HndygK1AR/KUJFE4tBvwl VgaYbVaz02gl6Vi+2EXHgvYGgq/XMs6NPsVEO1EYO+GVBG2aXmEwFIEB1xlL Xb4mM/iJALTomgG3eKDGpQSlkVQbU00QAIfF7ag63Ofrq+/DUQHLRb0Ulp8j T1DI6cjcYO7sMUMX0Q4dujbArW6o9ihBEqez+/VkwijL4DWYJfQxQKtSK/AM isk+TF0Po7isiPuMz00YlVgxdH3QG5xdq/BG/vW24HzFmWlR36JRP5tLrVx7 MB7wfdIui9FotBnJgMXdAJV4ncRVKE9R74jr5b31zZ/+8Vcf8ZcgYbSaLGDm uJQV+ZkqgVJPvEodDYv6s0CVHLt1xoHS/tbzrZ/7Rkh7naUcavAT6YGERWnU XHWJEyweo6m8jLAHGr4eBtzl0mXllIikKWTWuqy1EIcvGxacHgzUezwEnc2l KzCFN7jQywhGnak+z0RFKIZt8VrrLF7PSTBWNZXXD3x0FfB+04G8zQepSdJk UsbTlUIefrAx9diXbWiexakElQz0xVpCKRLN2wZ4nqGi3Of02+vJ2qFeNB6G 8Rs7vXtX7ostkBGq47zmBEiFfLEksyBZthX0+FjARq+FqH6v5ngAcD8IFBJd gVZCrqGG9GqDBnQchb241l1lq7EREcEEhRd1XRvwMtC491DibWZwffApdrwa kuiHSVySww313q7jCZ0bqSkUm5pFzZl77o0/omdu/q3ConQptQZDiZJYu3Cp tgjwXdkDw0MNd/3HyI7LJ9oHwAUD+ooknE7LqTshkb3jRd2ByODtzzL+OC3q yyA7eI/t6LBBK+BoIuuWc33G8t/+N8UiqeksxC9lo4iGD+/Ax/gHWy9RDIK6 xHog9Ce6ICzq7zwl3QgzvusDdJOFZqFwFP7NzdcHYxwkFU1dY1NTHpP9e6gt DK1hfWn9Tdb8Vc9S4+g+YNyf+bByoTS432MGrSjA/nrrlWWPzj374uabaApi 089+jqCsVC075VDggxN+xGw5TXaeP9bcDfjxxoNbE3Jn82NJwc49B/YC/tiD 0aE+BsJGmMHTo0vYRrPJDibcoTYrdSUGg46Yq5QbFAYo4CicUH7MpCrR6WRg ILZRsuKAqCEROBSTmkgtoOYsH1z3UUd/3fEe0rW3M68dOqHOVxGo7nIP088L iUduMOSqCemOgk08wLOgodwGFdZ6cms9W5mxZdVOwPcrzzWfCKAJ1X2k7/zg iV6ww2FDtdApcQqgAHQGrV4dqtklI5YbGF0YYKD5nzJHT46uZhvLjFYow00G e4leA4pSYtPahCvbKuPp4JIoPpVLyakX/zkbESgOMVD6MWcJaNQqUOrIPdRq aurGFwFf8cIZNOuCDy25jsaRI198Mfgx4N92PL8sS8MHHRmSrstsrCojxtJG 7Q6gBWPdFPsu83PqGfoESl2KAS+lwaKyaGwNNJUayRZo09E6t9JUcpeAdA9Y nVabv6yS7EBzbEW+pFPAoeOZhOaief+MPR67NyGVJyDlwwfc2T+hc9QgUQnJ c2K2ve3CtbcAH3Bu5yeKqEmCjaQ8O2HdHsC3ldy2m0P1JMd6SeRFq2gVsa4g TRcTKZGE3Qzvmo/VXGuBy2DDBw91b5xFPTuHWrfk2PKvf7yRNije7+5yDtga SKuXfQS9+A+zE/CewyLer6iVkB56z/epeSCp0uBvvpOU0qRTpKYJJYS8Kat9 H+CPC6e309/QSOavNkL+y4oEg3ajAZfRbVNq1dla2s3QSrbSkG75YS5tJgvd MnpU9vP0w/A3Y4o6dOVaBV2+ebeYyIV66RgHEPsOWKARaqVpCh0fNLjMUeCv DpR3n9rgSn8tNT5XQiiGUmrS/0OqNdua7KYQ1ahEr/vjr7zBCK/eGzl0SzQy Leou+tMQO2+FPF6dJ+RxkvcnQzHIIANErlq7uw6qcE9pTVZhhjQlubPw1t2r 71ytIRAjuKGsAkxQxqkrspTIxUqBloj6ukkqakyYQY2nwqm51K+WH13/0ckj vW43eRmVsw9QG5T8Lat3AmeX/qrrWDOaUHeU9J3uH6D58LZjhTIEG8+nNBPO XkeLRk7QFVx0BkWeDfmAcDZfqxRBCa6wFtVX+d1HBpO636AmJD0f99vL0kY1 0V8yUAK7cL5o1ezcbZaTEuKkBfromtfIPHliYdGBLcOp76P5XShi8NPV1UkO QmhNtcMRvL5u5HpDZ0mKKzSh/iDCcr00jIe86BQN40LEaPt8WpSYfvs9tq3Z brLRVwvUAH7pL7BQrV20axeZKYgXrwd8DgvFSmn8dYx8Cr/Hr71yhZpKUFX/ BsuPmxMXmLtCFoDshl4dnQVbyAKoIH8b2B1lYCorp/NWGYYwVtRA3ylJjFRX Kt1BKvZrpVCArz3Pv3ir+Vu7TW+VyQwauY4o2pHJzwA8U9fQ4jfXm/2k+bCl H+rgTFrfnuqQ8DY9mMGcAIqppdv+bSbyBGezb485q1KQkKtYnWhuWTldVMuD omaX5NHTNoV6IWw5q+jRELnOiqF6DFqtBKSc+NbkU38/+XA2y8FQqCQK9yWv 2Q64CHyVNqi0NYaKujTwEPScTyLRM2eOvpV4Y1pUEN1Cz7IfG+oC0fP0UFdK jQ1+T6unk/SeraMvZxPdvDX4W1zfoYU8ap7me9vhaPV/+cB2aMQ5CoGqgFRk KARKsSxdTl9SrlYB+XhKfdKpr1rR/DIi6q4mKGb78u3SPFG+MLtWWV7bWNP0 0JnQOF/cyED7RtDBEeboxB8SXWMw0EQ/sCPl3d8Z82miP00x6E94nHf3sIi0 6rzqCu1x6fRTxXZdVaFL6sqFVHzx6ueWrlnT8c1hS4PZRYDJaKK16CoFtVwf OmocxdWrDDq6MdUWrdVmNDnthMvtb3F6OnddKj5FT/1IxES/QJFNqt6sFjI7 IDcvaCywZDg0Jl5FUQv04jc+/uz2V43r12YZVNpcwiANe3xCjJseeDSxf02b QmbQGZzBNlmNtMvDH3d5A5pC0JfKOAVCQeZBwP+vVm+orbm5nqjedURd85Nm 7/fioInkuB50PdBH2i2U9vb+m9Oi7qEr6AOai2WVUI4fzTyyY+5u6jnVg1DA WGklfBd7LtCp8plyC8dwt+DeVNnulNWbgVMIUrve2O4yt4DlO3Qd6szrv3r9 8u06Iupf6BejK9mNuVZ5dk5OjsyZX1/v8/pCmfOIHmVuyXnPmdvnUcxnzOAU 9DJbJTTkgRRXZLy4ex186Dnt/zBwg7DVWCp+Yp7iqZmQBSLg2Xn+nBbhgK4K WqDd03yy4lCP6By8DX29ze83j3SjRTCEt8sDAnG2WCyzqawqoj7LzIc8SObP KkrKjeMnvQl4vKS3z2Gsd/WTfehlq9fZQ1M4VFmBSkRXNuI+dt9En2OU3cf4 iu7yMz/DVlFT79FzSpMPxZzdHYeOddU2+DxEVXv5JVo7oTpq1KDREarsonUF iULgfO+ifmAUQ5M3PziJPcYSPMQSvoqnMRAFR/iV/B9O3p9r2UKy2VrHVvI3 v/RjIxfv98Ul6g0avZoOiYndebRPjnYxgzraDKBNaOHhmpGz71g5dqPTSM82 m9aiysvWgZhIA66ZN7ZUKhwGC1lucGtACoVFxRIZdZcanH4NfWBvsdsvAqfO AdUulUnFTdJBCpkMSeaUn7KNhoDfa4ZusudJ4FvtLZZqsh3NRiTt0KkWazHo aUTwuQYZzdZChU1v6+g2QyfRTC+bTYA77GUVNLZLyVSj3CYP0IBnLhl+WIHR J5as42By1zWdODJ8BfBB2FMsUgn0peQGyvPE4tODlo3dw3nipv98M7u1rXb/ uviDBzMJ5ZW4mgMQC3vTeW/+P21pj3aI8LNI9O7P0/vce6RBV5IEXM6KvvW/ R+PRBDQfPRdyw1xeHp9H6O5FsLPT6z7qd7Q3IRZpqwdTRW1TT1db14853jGc wbdI+G0kCkMMIWJMi7qNsi+yvZI6IT89Mz2rusjfFmhtJqKufIL+wD4sqRXy MvgZ4sr8xrZAS4CIyPWOvuKlGlwox8SiEl3hgYkjk4iJ41fUTp7gdUyejGH/ C6tzAbgKZW5kc3RyZWFtCmVuZG9iagoyMSAwIG9iagozNTQwCmVuZG9iagoy MiAwIG9iago8PC9TdWJ0eXBlL1R5cGUxQy9GaWx0ZXIvRmxhdGVEZWNvZGUv TGVuZ3RoIDIzIDAgUj4+c3RyZWFtCnichVYJUBRnFu5hmO6GICpji6DpARPB KwJG1+gmHiC4i2DihSAjEQEBEZBLARURBJl5MyOnHFEuwYMzyCG0eEajrptU Ei1jNsZKlE000QRNrNfmJ+v+A9HE3Wxtdc1UT83f/d73ve997ykYSwtGoVBw Xv6egR7u5lsXeaxCHmchv6gEYvy59XGWCmyUYGPZPs6m3g53jkS/4eg+glEq FD5+wV7xm9ISoyOjkp0mek1y8pg9e5bTgtiIxOiw0Dgn/9DkqIjY0GT6Y6PT 8viw6IjktGlOCzZudFpmfiLJaVlEUkTi5ojwodhe8bGbUpIjEp3848MjEuMY hnFMiwvzT48P3xSxcP1b3ok+ScnRy1M2hqbGTpzEMKuZN5mFzDQmmHmL8WaW Mj7MBGYR48G4MMsZV2YFs5LxZWYwAYw/48kEMUsYK8aaGUuxMhyzm3mkCFQ8 sFhkUaMcr2yxdLRMsbyh8lYdYC3ZMM6WW8Ed4Vfzp/hHVlnWovXJFzQvZDxR 7FjJ2D6xCOlniLZVPi8papBTyibZRigsNxVeBl7iknSx+kRIhBDjZgOv5Yzd sEO/e6deryEc0RM11qrOSOwGnYdeD/H00Dp66DKHbw44JwenBMcsWggO20Fn yDYV76kthxa+KelAdHxcanigtO7C9fOXzh0UafyM2wxI2H82stUOWXqtRdZe 3d0tCVrukOGCsQ2Owvu6Q3pe8sEIDhVf9f6tuXrzPJHU+vz3gVLup5VHXacE LAtMENXXkeHI/GyVlrtUCOEacomzfaJ4Mo7JaZeHtyvacBR64kglDshThLSt us2Qxb/dknqwobG68yvCFywlixZQlDxxuDsVp+GfjiBfWL4ddqbpdRm5YoJf cGog8EQD6NrzHuBoFFr25eWVaWyfWHo1UEByn6TAiaflX2gIuQvHCGSXXJ9Z lwkp4EAStcgMXGAhRa+Pz0vK01Hy+EQt22Y6R7F0winoyOOlRC4N0g1pxjiT 3gA1vCwZOKwbuF+8pTR3LzhUQVHFnmJslMkYw0AfYbRsq+kOdNDrLrTSpwkj 9yEjkQQuBTIhM5Efwg7tsmWrolH2VMor5QlC0V6jEYr56u2QJg4o2R3ESyWx BQ8bWh8C/yVLGgeYrEzQQZZDShlUivIIdj+GqLRslsvWJWQM8DNZW/kKpVNN X0npLMRRSvkoxgno6NZPZpHX3CcQBzLitiv+GV+/1Y/DRVJE/ASiBmRudcPJ fc2aync7q3sp5M6tNVHV0bACgvkZQBii/lUZOa2xkqxsxaVn7cwFy0eWMMjY q9Pl+5LgvwuOauSfOOL9W5FXcereo0GrCjaMJS7jXyXOZMw3U3HixeMH6ho0 qzlcXKAii/GRQExcRtq6FfNoCW0Bh318HM7UH9Uc7pRKGuActMfUxPFDCZAA CZ1bZcXZsHa7R8jQ6CzNYpS9+hpuwi8EqDQYysvbO04V1AD/4XtLiB1x9l7l u10LZ0I0mWVggEr+I3JZoNpcwnVFHdvZATxOfvBP1KCD+13y8vyAjWnJGvW3 vb+BiNAMGP5T2jSX4aOocNGvCecMkZ39rVJeR7muKYGDDTlXg05o1rcG7Peh gGbMeJmMJI4/TMaZOL3r0b79qZCbrsvdmqPZHLwsxpeecNajw0lNk6XxqKGz uqm+vb30MKAVGIm9IYrGUib0P1WwK46T7dFVia6P1cKgzmQvDoNwMg7HDbiJ TEaBrNYMeGpZzBvoE6jmXLgP4GZqr3dLYNEimAZEsSMgJiR40atbl4BZg2+v M3f7Qwk30Xa3ejABmT4cbq++h1aS4KNlWwzdxh5og8uDIp6BD5GTOPVPZFg/ ixafFtfl54OuUNyWmZ0KqfzaltT6I43VHZ2R3W9MIkwoUYku87XXaJsr7RzN YYo6sFeyM4Mg43A8NuIr5kideFZAb5aWgL+CVmgx8UsyRzMw09yTg43UZroP XfS6D22DjUTjU757BeKIvTiWxckwz2shzCVTaLNb/GgyB2qRsOS0ma3xOFNS Po7Eg4KWTSFi/HTiT/meii1n2e9K1i7QSNisZRdkrZ0srsASnMriTKj3fIcM 4yV2I+aoflGYs7hJs3hsx1K2PnvH/PYyfGnFWbP6HqGtPbW1M6MpM17cx3Vo +4Oo16dthTh+XeOWw4cbq9tPrzy8yjssyC9ZVHejiiNzfud/VFXP8UvTv1Jh DlArYc2v6btJ+CJFMObx68LAg6fJUEr64Rj0AirgmJmTsVh7gvuu+BmgbAoo CGvQyQyodm4FsaKAaP7n36EdLI9ttGvrDP0Ed9Avc/6RKAnrC333gsRfugOV 19riVuSLhm2G3GrgD0B+reZzrhKK03brIDVcTCiLKggDPpZQLdmHVW2qSte0 R7XlXN/Oq/tac65lvOU43w1SnBOudu0Qc8tzYTvwSZCTrCEKLhWy9hcaoaJa pAZaYTL2xJyCKuAbcBqgS9eWlqhDmvDDMQVvlJmFeWqWub+eSDivSvGQNrm1 pMRY2VlAF4m44HItq3ddPXFiHh/5BTnIOd1K+eTT7nNXxdPaQG5RTFL8Urhc Sy1LMS9haJj1obvdZ+hOrM1mdQeT5QCBeJpL8f6zUjQYeo2dcARO6lrp7PLn 1P0l8ofCscjm0LVRUWvXtkR1dbY2H/vVBzMl+V9ddpd71tzDj+7N7bZXX5Vd 5OkCmdAQVry8GS46dB269MPn/dFkXK24Jwl0T5nExYNUZuv1OzPFkLeX9vgW B9MBNNVrynjfpjXVKZre1c27UJHEq+/cTt2XV7O5YltdAqzhgxN8XppHplbh pGxRvx/yU56y6jvIarHRWFgk9vR8sPpOTgc44OxLqOpH5Zwb7pWap8YdeZry 8GykD9l2sux7RXiDQ+8ClcQN2re6W6ZTevFvKl3OzQ4M8JybV3dGxLvP/bOd c7qR8n39Ffis5xnVct9ZBfLIKDH5sa/wu0EwcIJS3Gg4bjR3co+u2bweUGOw cFMNzhR88wi+0mrXiFZzcSTOMK8cm2Xr68JGWPOjeJytKoUDtRmQoVligDKo 5TGG61v4dzJpGbHd/erTLeEIJcwoHipoNJQCf60ldJ4mmlNLC/NIYRaZ4DgF R6R99LnU0VkjpqOHMJWb4paRGBjWcgwZnF5+wiQOrV6DZqiokS8o8XvUC9SP RpeVFxTeBAeJi9Kt0ufS7SvIGG/evsqhVFe6a3cO6HbvnvXKmEnIqdolNkHv p4uBGLp9baCHPuGo6PyIPXFNT40EWmra8sZThnyog/O6KkoCl5aaX2AAQ2GR 5h4q0IKMVoVr2XrDRWMTNEK3romeWWh20JMrn1/LQoc+9ure/7ma3eq91Fyz Ze4fr2b/90Ap9zCw42X3VUFrEsQtd9xMETADloXE+PHqG3+0yNF+Jcbqn5dV KZC5p5SHkxQh7qDvxVAclfCPHd/AbcCgk+iBFqisqDAYIJ/fu9OUnR66Pj1N JO7ELZn4gTOQkU3EQnrtA8J9/ZdK4ItKTHvz8/aAQfN8gJx7SvwaTQLgyA1o ob35V+TcP0wFPntnXmYu6PZt1aAdGdVMvIF4AAkKJB7Egii3baNrcS6fWZJX tK/z3X37RXRHt1r0g0e8bebex557SUExhlSzZE0hJ1kj+4JobTmrysaqvdDG BtlDNsMMNrYM82+lqSQmCmVuZHN0cmVhbQplbmRvYmoKMjMgMCBvYmoKMjcz OAplbmRvYmoKMjQgMCBvYmoKPDwvU3VidHlwZS9UeXBlMUMvRmlsdGVyL0Zs YXRlRGVjb2RlL0xlbmd0aCAyNSAwIFI+PnN0cmVhbQp4nK1XaVQU17qtoqWr RBSnSjBDNc6zcbgOqFERBSei4oSoaINM0tDQNDIpNFPT3V838zw2dDO1MjiA gohDTBySaJwSo4m5JtGYxCQacz1FDvflngbJu++95Mdd661iLWCtqnO+s7+9 97cPTQ2woWiatnX18HS2/jFBeJ0W3rAR3hQBNvxm7E62BXsR2A9oeoObMxwd G4a8HdC0oZSIpt3WbHeVh8cqggODlE6TXCc7zXJ2nu/kEuqvCPaThjl5SJVB /qFSJflH5rRJ7hfsr4yd4eQikzl5Wr+IdPL0j/RX7Pffa93ZVR4aHqX0Vzh5 yPf6K8IoiprmEhvmJ3cN918RoAh0iwxSBkdtXr1/i0y6NSbUd9ukydOmz5g5 a/acv82dv8B5IUWNobyp9dQKagM1jtpIuVHjKXdqE7WKmkhtplZTW6g11FZq LjWF2kbNozyo5dR8ajv1DuVKLaAGUnbUYGoI5UANo4ZTI6iRFEe9QjlSo6jX qNep6QQdiqH0tBNtsrGxCbK5J/IRnRswdUDugH/YXhDPEd9n/JlDrA3ry14f OHZgvh1r52Z3fdAK+0H2lwcvHyIasmfI6SG/OQx3mOvQOpQeGj3Mbph0uGh4 0PCnI+JGtP1Oby2ghvwusjlMgQXtsAjulbQwvXstpy7S5MZDPGjT0uJxSM8j x8R9yqAlOlbGHMmohRZogirdu1rWwnjq4yxQAXmGLENWB+IcUaH4HJ6amaTX gHpU6CaI4GXMyYwz0A4nIQPua1hLHOMBqrykOhY3CmUcssP3bLFKPOR3Gz6M wlKzcMdCV/5dJCxFX3IFNeXHPzCQXUI0MkgAOcj0cgOpoV0LgZAOqvSk9JQJ ONkRD0AlacWQBYZRNY1g5C2MtzZaJwUNeMLeDPLBSajQFoaj2T2Moyo8LSEl JmprmPsaUEBckcaQq6/LhUa2JqZUqYiND/dpDTjzYdt75008qWkhJsAIr5hp NOA2CrgtEvahHA7uQ728SVnnX7QdZsAet4NyVvdEjMerbGXMtbxUbwmuZHap YDU5eoehQn8KTkGR7qwVrdUqaJegNcw/Pjlz5f0i7/U8jv+LN71IcToLO+R3 +tIlSlWHmh/V19GND9DuxyKBEt7k9qdHH4QwNqIyuqbGWGa5vPLIHDxyqhMe hrnnk5EdkhxCg/MKVaBRgTYujVe6bYrwAnat8xk0Cc2813Gx6JxW0SIhJ6S/ IssLU8x0/QPU/EAkxKBgDr069jl2wCMmOOGReNjzScgBjXj6FDnwOBp7cdtB alYejWjVnSVdbYEL5uMNXadLmuECHA+pDK6W6r1ACgGwUbFbvmtXtBTIIWwe uVFRlu7pFvrCM0FdK+pe1r2IK4O8xFSNJjmN91oWYvF8dwKMwlvxAjwX+2Bf tBDPRpvRwl/Qm2hgPuQdTIDUZJ0kBU/D9i7jgJ2HV59Fh9EhtObs/Z9+XYbn mSSGBL26CNhSyDJK+lqHt1rQNLMwro5+cRtVPRChAjyf6+uBM1MT0bjvI2DR IGTzA3oVDZ/8M7bbsj3K119yhcGTrL28kZ22R9IT9KcdWiLUco3vna9sBfaz i7PIVmL3OQt9/GuaIiUJlWCACmvrLk+1ti7IhJb0wqu5JhLGoViuKguMv2z6 nmBrP30sHopf/XUiGoKGdL6ozlFnJydpUtN1kuDxs7UHYAf41iob93XqLkIr qzdxeWjGw9I6OA8XpXo8kmwhGiYmBO2mLTQa85Uw9ifRse6lnKyauWNQBUh6 qpgArWoJr5QJrBi5oDGk9xuQJ5agWXiFBL/2TydupzanUSI0M42GnA7+hfgJ XPSqDTyxscQVJoEvjNm8cpu76/511hbSCwdapWBrQQaiBtsbj78RoXXCOA6x FjwI2YofdZ5sy8/XpufzSenxiaBgIypizbXlFTVH/A9vftt5w0QeM4tld/Gn /XCeNRTpu+AYmHRXCOGjmeWaAkJIYYJ1k1b6xY0XX4uQG0HreAGaiMS8jtHq yLqRbLgxrtpYXdJwKLTBZ71U6qHkdc/FeMyfiO/Pd+ilPPatReuu3KtFqbV0 /bvowJ3Gd0VoGHLnzPGWA+3Afn/z2t1OeWNCseRYcwcUglqTooZYVpUTU11c mm+sOGjxC/NRBQbx4VV7iwnFp7m6L/ZqCCw9INFq5UGwC4JLA2tjveL9AmAn u+InTzQSOfx69s7xmBMBJn5T00aYBtEQAimGsOyYWjgEpVkleUXss3RuNvxY VWtoLDNJSiprS+qAfQhTlEqYMkvSjpdwh5CDbqHnEp/pk106zpfmf/TAepyK m1bz7rCg9kYaOT1E3nUi4YfuxVzPe7JqcR8RKvqJID6ZcZmo9hg8gibixSHM zPTCFgnSPmSeFITMk9Shcrl4nipkCj8LZYl7SYGGi9F0MG8qxTxbR2yazven VGZhZhXd2IUSukToibCwV8pqLSQm8FptcnKaWlYlyw4GFjvuW+4VUhxRHSVp lB1J7UruSirTVMXlp5hjwJ+dMwEOjo/4+7lEXpOvy04E9iCkxErwSCYOkguz 9fqKcj4zu6AoK6vVt11jJkp1aLt59WR0bVS1JPhwYI5LcUTW8iK4wB6qbn2E qJwFCgOvT4Q0YgHFkFMh+Tf3RgGtf2ngq8A7SLaJ1aEfxH2q7yVRT+n/o4Nn tlgtdoQFLaik/3EbvVYnQqusyhlvwePROrlYNz9o3BQNq/gK1zN4wOfKs1eb PrjBX5BvYVxkgYGr4OtyMoroNw/26q8V2SPKKkARWi/0cA2RplCZUhEWVq2w NJhMDTyeiD04GfNBXhqRgrG/tpMGo/4ElEIrdJK2M2vSs45KBBHThxFp5yt/ AIRuCq5cv5RWMrO3r3VdoG47x6MvGTzVis8d0MyW4CkMrAFpe1B99PHUY3AG OqvrL7L6BWI0qcDWwrgn53RKEGL6nJ+UjVtodPeh1feduX8y4mgcZVsnLkbO lfVoCokP9ZCvLU/XJxHbIKYVDAfG8Htl4uYMZANt5CG/mknZe5kxUELsqoqB Gn1eZWa+oRbKgSxQGVaMnfvYqcD9fuj0UITihKdcs6HwHm+2iH017rCHPO7g SyKBmblnSAy0WmSgNnERr5CJj2dc693sGhwneymYRdrCZklfLFEZhdcstLAc fcMZu5oKm/QEwlCND2j/O5LUa8sOQAQk6bTpqrE4yxGLUY0mW5sNOaNqmqGC RJI9WqVuNwRBGARaI0kHOXZJAJqAkWN2fK4mD/Ig15BTxvalMTIsX+09AzFc omYUx+E3Js+buBHbNqFVvDCUaTEU3OGrLWIfzSbiNrtgE/iQVfuN347BE9Dg 0YhHE79Eb/7Mox6mATqekSq2aA/odoA3JOg3Wct+BjvCJf3k6qZb+4i1rnsN 95diaIcOKNN1/iGGlxnCjPab679rMtO3HqNFt28SD5qKjBwJBY0+xwMO7yjZ Duz8ldK1MmNcTW1FZU3b7iydpLbmVF49sF0X/OdI9pHSlqlXhbgGRW0DP9b5 SfjV+0fO1xXzWdL6wDZgzVdK7knelW9mVLA9MBBOlfIup7gpy0J379zdePqj C9fR9Gz+JXbG7tEWupsTvuCMZ48XdwCpNEgTBsGk+dF6b+uxO3VVStKtFNKt JLypJ9YR7xQy1IWQDfpRDV1QT4Dy0XgRWKVwQL/C+sUtKEgvDkLqnm7H7AMZ qaVESxnZWcVsH0F6ByON3kNRXGoe6Mlj+Oz73FxLY6PpkpUsYZpw0nd/iAU/ a+9LtEUpxP/jk1XqtLWLHd/+KTVPayBMgcKCwmrr+/7aCJ2VXi/j68dg0LZv +AVzjlERW1dHKbav99TuByvrSBivJ+PjkO6QtR+KDE0Z5JOcXVxSbrLUNJgb 7k5wrIgiC6WBKikh0prfWw0mfRsJKBfgqNUJ/CAUouqsrPOK/beoG2j9EXVr rGb5FdTta9lv8ivcBa7gLZVvTXzfr3k+LALvbft3sbof/6Pki6jPTl88X753 5V8b53/w6h8e+9LGJvZa/YsbyEzCntv/YvHjOqblkmX3afk5GNWf+oZNeort 3XcGhUdKMt7hiCT1BaWN7Z2lR4gRHIuskdbsMWwgc3pn2tYIv6gQX9lW8AF/ U2TLQSPpsTXjDXCa9JJwvy0SPuNKTtaa37d2UKYJARn5Uq7faKXPFV11KChB rU3XpuKZPYGOeIGQqMvU5EDmKMsFqO0l3Hay+GZIBQ9rz7vIlaUgLi+hchXo QKchxoJH9yx2xPOFAyTlGiDjL767AJVQ5I+kPT2OWQez0gohl/hKdgV6W8h2 REt6MrLjDKnFMKoQsvroa51O2GD8zbOSfnpFhL7DyRxkaTLScjC5m+1FqwC5 AnqrgQTH0ei1zExDBmSxOerM1MRZrpjewu+YGjkO8CBwzcPi89jufezweHkh sDlZmTmS/7E4SiSrd6FMDr5IRDbbkGgDcphxi0z9JG2KRm3Q5KRK3tuGbPAb gI8AHhuBd+Dx+HWtJj0d1KzGkJJf+PAmos/xp34w/QLInu0zLbzFiJZZ5+Ea switKeVgHzgvdU1Xk9uhjlVnp+YUfH4H2X0c0bI3KCY8PLwivMlcUqK3jlNy 8UUel+kCVCtCR5AHdxnXejAvnZAs+DWiRMjrHFcfaQ4NjVSEhZoiG3rna5/d RZm7h5vpYw9QMbkyhaJbHFzVPAj6ZPd3S00bYT0sjdw9NcRNvRCWwhrDlLbF HfM+i2+HD+F2Xeu3DVezP4F7LJbh61wouBbHINuk9+EBEeQ1uFt4vvKbD8ob 4Qhcia6YUbAZ3oZ14AHzkzbsx2KXJEXvZYrsT5TaYjlBUI2+I0IXukdwZp1B wXusfYuQjpCgAi7BuRq2p5gJ0CTO4EOss/QbOE6eh72TNISZoSnsz8JwDz17 /sxCdz1HId+KBF+0kpOLtQkpGxLi05LdiE+x2E1srPzoSmEBWoDGXDoLz1jE TLtHbojM2zNnbm9T51U1lDY37K+SqTWgS+dNNz44dA7YZ03T3MYvWbBjmwSv xd4qchEF5ShhhPglgnV3EYXG1CC7ny+b6TZEI9kzEUpHX3NfHVk5DY90D/SK mZJ120fSrK4zk+v5YYUxTBF6QDr7sRti0bDHD5995XZ7qpF/3HTiFnzM3pl3 cezYtzcs3VcVU19vNNY3RZYE8zWtlyo7gb1funpnaNoOhb9E5hOkDdMqtFpI gWRdig5UbEIulPH9oKLXLIKUoHqJBMXh3TxXCTkxiTrdwWQef9gTYCtDNXMJ oqplfJRMfCXjOuRAFtyEKwTRKGaZ9Xbx4JllPOMiiLkeMQam/6SI/pEQFL16 v7CSfm5BSSSZvC5c5hqSLWqLNdfe/KYoLy1TTcpSJ0t2xuxKkZJR5ZO7qyIp S0vUzyZCUpwEdzCxoCrOzcjMy+YbWk+ZzgD7AvCMQBl4yH0k4VJpzF7YAKta Im/rIVubA2xlfVGzJao8fL880W/mp28hERr8y49oKBo89ydM7/CODwx6yYAo o3D5HqkNrXksEhKEF1xeAXEYI4sNYjwcNEWaClYu3of9SWbLrM59t6gwJ/su FJPKA8RRYVtd9svxK9g9Ec8HT1YFPu0dcKKI72QATaxC7NmbbD8M3Q5m+sYp VHeKhEz0X9xp063T8Dn73fTzs8Y4L3vLvzjQFMaXxWSnvxcwR7rhHXBmR/+6 inCE/fELRD1xOaUo5VW5YeWJOSye+C0XWqGshRb2w+tHP7pzecvKlet3+Sn5 JRu41oiypKvS6gOnQ+AddvGiHYv/tvzy/ZunL15v7pduXcu3X5qF0Wb648co 9JFIcEDtHNZg0R5PpVfm4Qg+U5yrPZoLx9ia2Eq5PCY2dPXZPQ8RRx5HJEcm bP/RLMyMn4FfxSO+nYpsbx0721bOY24FF09yVcjlmCPQCdYZddp4pKHraFEz 0XWtW2ZScUDmO7CHXb5v7HT+D59BIX94jTC4N8yHRkaGhpkUxGzM9Tz+dMD/ NaCoqu6lVbi2DIUViLFvIWOxuz2Itxswv9J+oDnb3v52qf1givoXaG0x7gpl bmRzdHJlYW0KZW5kb2JqCjI1IDAgb2JqCjQ1MTEKZW5kb2JqCjkgMCBvYmoK PDwvQmFzZUZvbnQvSk9LQ1hCK0NNUjEwL0ZvbnREZXNjcmlwdG9yIDggMCBS L1R5cGUvRm9udAovRmlyc3RDaGFyIDEyL0xhc3RDaGFyIDEyMi9XaWR0aHNb IDU1NiAwIDAgMAowIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAwCjAg MCA1MDAgMCAwIDAgMCAyNzggMzg5IDM4OSAwIDAgMjc4IDMzMyAyNzggNTAw CjUwMCA1MDAgNTAwIDAgNTAwIDUwMCAwIDAgNTAwIDAgMjc4IDI3OCAwIDAg MCAwCjc3OCA3NTAgNzA4IDcyMiA3NjQgNjgxIDY1MyA3ODUgNzUwIDM2MSAw IDc3OCA2MjUgOTE3IDc1MCA3NzgKNjgxIDAgNzM2IDU1NiA3MjIgNzUwIDc1 MCAxMDI4IDAgNzUwIDAgMCA1MDAgMCAwIDAKMCA1MDAgNTU2IDQ0NCA1NTYg NDQ0IDMwNiA1MDAgNTU2IDI3OCAzMDYgNTI4IDI3OCA4MzMgNTU2IDUwMAo1 NTYgNTI4IDM5MiAzOTQgMzg5IDU1NiA1MjggNzIyIDUyOCA1MjggNDQ0XQov RW5jb2RpbmcgMjYgMCBSL1N1YnR5cGUvVHlwZTE+PgplbmRvYmoKMjYgMCBv YmoKPDwvVHlwZS9FbmNvZGluZy9CYXNlRW5jb2RpbmcvV2luQW5zaUVuY29k aW5nL0RpZmZlcmVuY2VzWwoxMi9maQozNC9xdW90ZWRibHJpZ2h0CjM5L3F1 b3RlcmlnaHQKOTIvcXVvdGVkYmxsZWZ0XT4+CmVuZG9iagoxNSAwIG9iago8 PC9CYXNlRm9udC9BSFNIWVQrQ01USTEwL0ZvbnREZXNjcmlwdG9yIDE0IDAg Ui9UeXBlL0ZvbnQKL0ZpcnN0Q2hhciA1OC9MYXN0Q2hhciAxMjEvV2lkdGhz WyAzMDcgMCAwIDAgMCAwCjAgNzQzIDcwNCA3MTYgMCAwIDAgMCAwIDAgMCA3 NjkgNjI3IDAgMCAwCjAgMCA3MjkgNTYyIDAgMCAwIDAgMCAwIDAgMCAwIDAg MCAwCjAgNTExIDQ2MCA0NjAgNTExIDQ2MCAwIDQ2MCAwIDMwNyAzMDcgMCAy NTYgODE4IDU2MiA1MTEKNTExIDQ2MCA0MjIgNDA5IDMzMiA1MzcgMCA2NjQg MCA0ODZdCi9FbmNvZGluZy9XaW5BbnNpRW5jb2RpbmcvU3VidHlwZS9UeXBl MT4+CmVuZG9iagoxMyAwIG9iago8PC9CYXNlRm9udC9TVEtBWEQrQ01CWDEw L0ZvbnREZXNjcmlwdG9yIDEyIDAgUi9UeXBlL0ZvbnQKL0ZpcnN0Q2hhciA0 MC9MYXN0Q2hhciAxMjIvV2lkdGhzWyA0NDcgNDQ3IDAgMCAwIDAgMCAwCjAg MCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAKMCAwIDAgMCA4ODIgNzU2 IDcyNCAwIDAgMCAwIDAgMCAxMDkyIDAgMAo3ODYgMCAwIDYzOSAwIDAgMCAw IDAgMCAwIDAgMCAwIDAgMAowIDU1OSAwIDUxMSA2MzkgNTI3IDM1MSAwIDAg MzE5IDAgMCAzMTkgOTU4IDYzOSA1NzUKNjM5IDAgNDc0IDQ1NCA0NDcgNjM5 IDAgMCA2MDcgNjA3IDUxMV0KL0VuY29kaW5nL1dpbkFuc2lFbmNvZGluZy9T dWJ0eXBlL1R5cGUxPj4KZW5kb2JqCjExIDAgb2JqCjw8L0Jhc2VGb250L0xF VFlXUStDTVI5L0ZvbnREZXNjcmlwdG9yIDEwIDAgUi9UeXBlL0ZvbnQKL0Zp cnN0Q2hhciA0MC9MYXN0Q2hhciAxMjEvV2lkdGhzWyA0MDAgNDAwIDAgMCAy ODUgMzQzIDI4NSAwCjUxNCA1MTQgNTE0IDUxNCA1MTQgNTE0IDAgNTE0IDUx NCA1MTQgMjg1IDAgMCAwIDAgMAowIDc3MSAwIDc0MiA3ODUgMCA2NzEgMCAw IDM3MSAwIDAgMCAwIDAgMAowIDAgMCAwIDc0MiA3NzEgNzcxIDEwNTYgMCAw IDAgMCAwIDAgMCAwCjAgNTE0IDU3MSA0NTcgMCA0NTcgMzE0IDUxNCA1NzEg Mjg1IDAgMCAyODUgODU2IDU3MSA1MTQKNTcxIDAgNDAyIDQwNSA0MDAgNTcx IDU0MiAwIDU0MiA1NDJdCi9FbmNvZGluZy9XaW5BbnNpRW5jb2RpbmcvU3Vi dHlwZS9UeXBlMT4+CmVuZG9iago4IDAgb2JqCjw8L1R5cGUvRm9udERlc2Ny aXB0b3IvRm9udE5hbWUvSk9LQ1hCK0NNUjEwL0ZvbnRCQm94Wy00MCAtMjUw IDEwMDkgNzUwXS9GbGFncyA0Ci9Bc2NlbnQgNzUwCi9DYXBIZWlnaHQgNzUw Ci9EZXNjZW50IC0yNTAKL0l0YWxpY0FuZ2xlIDAKL1N0ZW1WIDE1MQovTWlz c2luZ1dpZHRoIDMzMwovQ2hhclNldCgvTC9BL3kvbi90d28vYy9xdW90ZXJp Z2h0L00vQi9xdW90ZWRibGxlZnQvei9vL2QvWS9wYXJlbmxlZnQvTi9DL3Av ZS9wYXJlbnJpZ2h0L08vRC9mb3VyL3EvZi9QL0UvcXVvdGVkYmxyaWdodC9h dC9maXZlL3IvZy9GL2ZpL3MvaC9jb21tYS9SL0cvdC9pL2h5cGhlbi9TL0gv ZWlnaHQvdS9qL3BlcmlvZC9UL0kvdi9rL3NsYXNoL1UvY29sb24vdy9sL2Ev emVyby9WL3NlbWljb2xvbi9LL3gvbS9iL29uZS9XKS9Gb250RmlsZTMgMTgg MCBSPj4KZW5kb2JqCjE0IDAgb2JqCjw8L1R5cGUvRm9udERlc2NyaXB0b3Iv Rm9udE5hbWUvQUhTSFlUK0NNVEkxMC9Gb250QkJveFstMzUgLTIwNSA4NTkg NzE2XS9GbGFncyA0Ci9Bc2NlbnQgNzE2Ci9DYXBIZWlnaHQgNzE2Ci9EZXNj ZW50IC0yMDUKL0l0YWxpY0FuZ2xlIDAKL1N0ZW1WIDEyOAovTWlzc2luZ1dp ZHRoIDM1NwovQ2hhclNldCgvTC9BL3kvbi9jL0Ivby9kL0MvcC9lL3Evci9n L3MvUi90L2kvUy91L2ovY29sb24vdy9sL2EvSy9tL2IpL0ZvbnRGaWxlMyAy MCAwIFI+PgplbmRvYmoKMTIgMCBvYmoKPDwvVHlwZS9Gb250RGVzY3JpcHRv ci9Gb250TmFtZS9TVEtBWEQrQ01CWDEwL0ZvbnRCQm94WzAgLTI0OSAxMDUx IDc1MF0vRmxhZ3MgNAovQXNjZW50IDc1MAovQ2FwSGVpZ2h0IDc1MAovRGVz Y2VudCAtMjQ5Ci9JdGFsaWNBbmdsZSAwCi9TdGVtViAxNTcKL01pc3NpbmdX aWR0aCAzODMKL0NoYXJTZXQoL3kvbi9jL00vei9vL2QvcGFyZW5sZWZ0L3Av ZS9wYXJlbnJpZ2h0L0QvZi9QL0Uvci9GL3MvdC9pL1MvdS9sL2EveC9tKS9G b250RmlsZTMgMjIgMCBSPj4KZW5kb2JqCjEwIDAgb2JqCjw8L1R5cGUvRm9u dERlc2NyaXB0b3IvRm9udE5hbWUvTEVUWVdRK0NNUjkvRm9udEJCb3hbMCAt MjQ5IDEwMzYgNzUwXS9GbGFncyA0Ci9Bc2NlbnQgNzUwCi9DYXBIZWlnaHQg NzUwCi9EZXNjZW50IC0yNDkKL0l0YWxpY0FuZ2xlIDAKL1N0ZW1WIDE1NQov TWlzc2luZ1dpZHRoIDM0MgovQ2hhclNldCgvQS95L24vYy90d28vby90aHJl ZS9wYXJlbmxlZnQvQy9wL2UvcGFyZW5yaWdodC9EL2ZvdXIvZml2ZS9mL3Iv Zy9GL3Mvc2V2ZW4vaC9jb21tYS90L2kvaHlwaGVuL2VpZ2h0L3UvbmluZS9w ZXJpb2QvVC9JL3YvY29sb24vVS9sL2EvemVyby9WL3gvbS9iL29uZS9XKS9G b250RmlsZTMgMjQgMCBSPj4KZW5kb2JqCjIgMCBvYmoKPDwvUHJvZHVjZXIo RVNQIEdob3N0c2NyaXB0IDguMTUpCi9DcmVhdGlvbkRhdGUoRDoyMDA4MDgy OTE4MTMyOSkKL01vZERhdGUoRDoyMDA4MDgyOTE4MTMyOSkKL0NyZWF0b3Io ZHZpcHNcKGtcKSA1Ljk1YSBDb3B5cmlnaHQgMjAwNSBSYWRpY2FsIEV5ZSBT b2Z0d2FyZSkKL1RpdGxlKHd3dGZQb3N0RF9wb3NpdGlvbi5kdmkpPj5lbmRv YmoKeHJlZgowIDI3CjAwMDAwMDAwMDAgNjU1MzUgZiAKMDAwMDAwNDg2NiAw MDAwMCBuIAowMDAwMDI2MDgwIDAwMDAwIG4gCjAwMDAwMDQ4MDcgMDAwMDAg biAKMDAwMDAwNDY0NyAwMDAwMCBuIAowMDAwMDAwMDE1IDAwMDAwIG4gCjAw MDAwMDQ2MjcgMDAwMDAgbiAKMDAwMDAwNDkxNCAwMDAwMCBuIAowMDAwMDI0 NzI1IDAwMDAwIG4gCjAwMDAwMjI5ODcgMDAwMDAgbiAKMDAwMDAyNTcyMCAw MDAwMCBuIAowMDAwMDI0MzIyIDAwMDAwIG4gCjAwMDAwMjU0NDAgMDAwMDAg biAKMDAwMDAyMzk1MSAwMDAwMCBuIAowMDAwMDI1MTY4IDAwMDAwIG4gCjAw MDAwMjM2MTUgMDAwMDAgbiAKMDAwMDAwNDk1NSAwMDAwMCBuIAowMDAwMDA0 OTg1IDAwMDAwIG4gCjAwMDAwMDUwNDggMDAwMDAgbiAKMDAwMDAxMTg1NiAw MDAwMCBuIAowMDAwMDExODc3IDAwMDAwIG4gCjAwMDAwMTU1MDMgMDAwMDAg biAKMDAwMDAxNTUyNCAwMDAwMCBuIAowMDAwMDE4MzQ4IDAwMDAwIG4gCjAw MDAwMTgzNjkgMDAwMDAgbiAKMDAwMDAyMjk2NiAwMDAwMCBuIAowMDAwMDIz NDg0IDAwMDAwIG4gCnRyYWlsZXIKPDwgL1NpemUgMjcgL1Jvb3QgMSAwIFIg L0luZm8gMiAwIFIKL0lEIFso9FP7L6SvJRbS+R48hMYRUyko9FP7L6SvJRbS +R48hMYRUyldCj4+CnN0YXJ0eHJlZgoyNjI4MwolJUVPRgo= ---2105539665-822419221-1220027621=:401-- From bogus@does.not.exist.com Wed Nov 20 14:53:38 2019 From: bogus@does.not.exist.com () Date: Wed, 20 Nov 2019 13:53:38 -0000 Subject: Kein Betreff Message-ID: approaches are needed to facilitate the development of multi-agent systems ensuring their predictability and verifications. Moreover, formal declarative models and approaches have the potential of offering solutions satisfying the needs for specifying and design of multi-agent systems. From bogus@does.not.exist.com Wed Nov 20 14:53:38 2019 From: bogus@does.not.exist.com () Date: Wed, 20 Nov 2019 13:53:38 -0000 Subject: Kein Betreff Message-ID: system specifications or designs can be effectively implemented and tested. To address such issues, the workshop promotes the discussion and exchange of ideas concerning concepts, methodologies, techniques and principles that are important for multi-agent programming technology. Moreover, contributions that combine theoretical aspects with practical ones are gaining more and more attention in important application areas such as the electronic institutions, semantic web, web services, security, grid computing, ambient intelligence, pervasive computing, and electronic contracting. Topics of interest Topics of interest include, but are not limited to, the ones below: =95 Programming languages for multi-agent systems =95 Extensions of traditional languages for multi-agent programming =95 Semantics for multi-agent programming languages =95 Implementation of social and organisational aspects of MAS =95 Modal and epistemic logics for agent modelling =95 Model checking agents and multi-agent systems =95 Algorithms for multi-agent issues (e.g., coordination, cooperation, negotiation, distributed constraint satisfaction) =95 Declarative approaches to engineering agent systems =95 Declarative models of agent beliefs and capabilities =95 Declarative models of bounded rationality =95 Declarative paradigms for the combination of heterogeneous agents =95 Specification and verification logics =95 Logic programming approaches to agent systems =95 Methodologies for MAS analysis and design =95 Agent-oriented requirements analysis and specification =95 Theoretical and practical aspects of multi-agent programming =95 Computational complexity of MAS =95 High-level executable multi-agent specification languages =95 Agent communication in multi-agent programming =95 Implementation of social and organisational aspects of MAS =95 Agent development tools and platforms =95 Generic tools and infrastructures for multi-agent programming =95 Interoperability and standards for MAS =95 Programming of mobile agents =95 Safety and security for mobile MAS deployment =95 Fault tolerance and load balancing for mobile MAS =95 Formal methods for specification and verification of MAS =95 Verification tools for implementations of MAS =95 Experimental analysis of declarative agent technologies =95 Industrial experiences with (declarative) agent technologies =95 Service-oriented multiagent systems =95 Protocol specification and conformance checking =95 Declarative description of contracts and negotiation policies =95 Application areas for multi-agent programming languages =95 Applications using legacy systems =95 Programming MAS for Grid-based applications =95 Programming MAS for the Semantic Web =95 Deployed (industrial-strength) MAS =95 Benchmarks and testbeds for comparing MAS languages and tools =95 Test and debugging tools and techniques for MAS =95 Electronic institutions Submissions We encourage the submission of original papers in any of the areas above. We welcome submissions describing: Formal and declarative approaches to specify and design multi-agents systems, Programming languages, tools and techniques that provide effective programming constructs to facilitate the implementation of the essential concepts used in multi-agent systems, Aspects of agent-oriented software engineering such as methodologies, meta-models and software principles, and Multi-agent applications, showing clearly the added-value of multi-agent programming for designers and programmers both in academia and industry. Papers should be written in English, formatted according to the IEEEtran style (http://www.michaelshell.org/tex/ieeetran/), and they should not exceed seven (7) pages including title page, figures, references, etc. Submissions are managed using EasyChair (http://www.easychair.org/conferences/?conf=3Dlads009). Proceedings and post-workshop activities Printed copies of the proceedings will be available at the workshop. Print and electronic post-proceedings of selected and revised LADS'007 papers will be published by Springer in the Lecture Notes in Artificial Intelligence series. Further Enquiries All enquiries should be addressed to lads009 at easychair.org --=20 --------------------------------------------------------------- Joao Leite FCT-UNL - Universidade Nova de Lisboa, Faculdade de Ciencias e Tecnologia, Departamento de Informatica e-mail: jleite at di.fc.ul.pt web: http://centria.di.fct.unl.pt/~jleite --------------------------------------------------------------- From bogus@does.not.exist.com Wed Nov 20 14:53:38 2019 From: bogus@does.not.exist.com () Date: Wed, 20 Nov 2019 13:53:38 -0000 Subject: Kein Betreff Message-ID: approaches are needed to facilitate the development of multi-agent systems ensuring their predictability and verifications. Moreover, formal declarative models and approaches have the potential of offering solutions satisfying the needs for specifying and design of multi-agent systems. From bogus@does.not.exist.com Wed Nov 20 14:53:38 2019 From: bogus@does.not.exist.com () Date: Wed, 20 Nov 2019 13:53:38 -0000 Subject: Kein Betreff Message-ID: system specifications or designs can be effectively implemented and tested. To address such issues, the workshop promotes the discussion and exchange of ideas concerning concepts, methodologies, techniques and principles that are important for multi-agent programming technology. Moreover, contributions that combine theoretical aspects with practical ones are gaining more and more attention in important application areas such as the electronic institutions, semantic web, web services, security, grid computing, ambient intelligence, pervasive computing, and electronic contracting. Topics of interest Topics of interest include, but are not limited to, the ones below: =95 Programming languages for multi-agent systems =95 Extensions of traditional languages for multi-agent programming =95 Semantics for multi-agent programming languages =95 Implementation of social and organisational aspects of MAS =95 Modal and epistemic logics for agent modelling =95 Model checking agents and multi-agent systems =95 Algorithms for multi-agent issues (e.g., coordination, cooperation, negotiation, distributed constraint satisfaction) =95 Declarative approaches to engineering agent systems =95 Declarative models of agent beliefs and capabilities =95 Declarative models of bounded rationality =95 Declarative paradigms for the combination of heterogeneous agents =95 Specification and verification logics =95 Logic programming approaches to agent systems =95 Methodologies for MAS analysis and design =95 Agent-oriented requirements analysis and specification =95 Theoretical and practical aspects of multi-agent programming =95 Computational complexity of MAS =95 High-level executable multi-agent specification languages =95 Agent communication in multi-agent programming =95 Implementation of social and organisational aspects of MAS =95 Agent development tools and platforms =95 Generic tools and infrastructures for multi-agent programming =95 Interoperability and standards for MAS =95 Programming of mobile agents =95 Safety and security for mobile MAS deployment =95 Fault tolerance and load balancing for mobile MAS =95 Formal methods for specification and verification of MAS =95 Verification tools for implementations of MAS =95 Experimental analysis of declarative agent technologies =95 Industrial experiences with (declarative) agent technologies =95 Service-oriented multiagent systems =95 Protocol specification and conformance checking =95 Declarative description of contracts and negotiation policies =95 Application areas for multi-agent programming languages =95 Applications using legacy systems =95 Programming MAS for Grid-based applications =95 Programming MAS for the Semantic Web =95 Deployed (industrial-strength) MAS =95 Benchmarks and testbeds for comparing MAS languages and tools =95 Test and debugging tools and techniques for MAS =95 Electronic institutions Submissions We encourage the submission of original papers in any of the areas above. We welcome submissions describing: Formal and declarative approaches to specify and design multi-agents systems, Programming languages, tools and techniques that provide effective programming constructs to facilitate the implementation of the essential concepts used in multi-agent systems, Aspects of agent-oriented software engineering such as methodologies, meta-models and software principles, and Multi-agent applications, showing clearly the added-value of multi-agent programming for designers and programmers both in academia and industry. Papers should be written in English, formatted according to the IEEEtran style (http://www.michaelshell.org/tex/ieeetran/), and they should not exceed seven (7) pages including title page, figures, references, etc. Submissions are managed using EasyChair (http://www.easychair.org/conferences/?conf=3Dlads009). Proceedings and post-workshop activities Printed copies of the proceedings will be available at the workshop. Print and electronic post-proceedings of selected and revised LADS'007 papers will be published by Springer in the Lecture Notes in Artificial Intelligence series. Further Enquiries All enquiries should be addressed to lads009 at easychair.org --=20 --------------------------------------------------------------- Joao Leite FCT-UNL - Universidade Nova de Lisboa, Faculdade de Ciencias e Tecnologia, Departamento de Informatica e-mail: jleite at di.fct.ul.pt web: http://centria.di.fct.unl.pt/~jleite --------------------------------------------------------------- From bogus@does.not.exist.com Wed Nov 20 14:53:38 2019 From: bogus@does.not.exist.com () Date: Wed, 20 Nov 2019 13:53:38 -0000 Subject: Kein Betreff Message-ID: approaches are needed to facilitate the development of multi-agent systems ensuring their predictability and verifications. Moreover, formal declarative models and approaches have the potential of offering solutions satisfying the needs for specifying and design of multi-agent systems. From bogus@does.not.exist.com Wed Nov 20 14:53:38 2019 From: bogus@does.not.exist.com () Date: Wed, 20 Nov 2019 13:53:38 -0000 Subject: Kein Betreff Message-ID: system specifications or designs can be effectively implemented and tested. To address such issues, the workshop promotes the discussion and exchange of ideas concerning concepts, methodologies, techniques and principles that are important for multi-agent programming technology. Moreover, contributions that combine theoretical aspects with practical ones are gaining more and more attention in important application areas such as the electronic institutions, semantic web, web services, security, grid computing, ambient intelligence, pervasive computing, and electronic contracting. Topics of interest Topics of interest include, but are not limited to, the ones below: =95 Programming languages for multi-agent systems =95 Extensions of traditional languages for multi-agent programming =95 Semantics for multi-agent programming languages =95 Implementation of social and organisational aspects of MAS =95 Modal and epistemic logics for agent modelling =95 Model checking agents and multi-agent systems =95 Algorithms for multi-agent issues (e.g., coordination, cooperation, negotiation, distributed constraint satisfaction) =95 Declarative approaches to engineering agent systems =95 Declarative models of agent beliefs and capabilities =95 Declarative models of bounded rationality =95 Declarative paradigms for the combination of heterogeneous agents =95 Specification and verification logics =95 Logic programming approaches to agent systems =95 Methodologies for MAS analysis and design =95 Agent-oriented requirements analysis and specification =95 Theoretical and practical aspects of multi-agent programming =95 Computational complexity of MAS =95 High-level executable multi-agent specification languages =95 Agent communication in multi-agent programming =95 Implementation of social and organisational aspects of MAS =95 Agent development tools and platforms =95 Generic tools and infrastructures for multi-agent programming =95 Interoperability and standards for MAS =95 Programming of mobile agents =95 Safety and security for mobile MAS deployment =95 Fault tolerance and load balancing for mobile MAS =95 Formal methods for specification and verification of MAS =95 Verification tools for implementations of MAS =95 Experimental analysis of declarative agent technologies =95 Industrial experiences with (declarative) agent technologies =95 Service-oriented multiagent systems =95 Protocol specification and conformance checking =95 Declarative description of contracts and negotiation policies =95 Application areas for multi-agent programming languages =95 Applications using legacy systems =95 Programming MAS for Grid-based applications =95 Programming MAS for the Semantic Web =95 Deployed (industrial-strength) MAS =95 Benchmarks and testbeds for comparing MAS languages and tools =95 Test and debugging tools and techniques for MAS =95 Electronic institutions Submissions We encourage the submission of original papers in any of the areas above. We welcome submissions describing: Formal and declarative approaches to specify and design multi-agents systems, Programming languages, tools and techniques that provide effective programming constructs to facilitate the implementation of the essential concepts used in multi-agent systems, Aspects of agent-oriented software engineering such as methodologies, meta-models and software principles, and Multi-agent applications, showing clearly the added-value of multi-agent programming for designers and programmers both in academia and industry. Papers should be written in English, formatted according to the IEEEtran style (http://www.michaelshell.org/tex/ieeetran/), and they should not exceed seven (7) pages including title page, figures, references, etc. Submissions are managed using EasyChair (http://www.easychair.org/conferences/?conf=3Dlads009). Proceedings and post-workshop activities Printed copies of the proceedings will be available at the workshop. Print and electronic post-proceedings of selected and revised LADS'007 papers will be published by Springer in the Lecture Notes in Artificial Intelligence series. Further Enquiries All enquiries should be addressed to lads009 at easychair.org --=20 --------------------------------------------------------------- Joao Leite FCT-UNL - Universidade Nova de Lisboa, Faculdade de Ciencias e Tecnologia, Departamento de Informatica e-mail: jleite at di.fct.ul.pt web: http://centria.di.fct.unl.pt/~jleite --------------------------------------------------------------- From bogus@does.not.exist.com Wed Nov 20 14:53:38 2019 From: bogus@does.not.exist.com () Date: Wed, 20 Nov 2019 13:53:38 -0000 Subject: Kein Betreff Message-ID: from the Apennines to the Adriatic coast and the Alps over the Po = Valley.

     

     

    ORGANIZATION

    ^^^^^^^^^^^^

     

    Scientific directors:

    * Marco Bernardo    (University of = Urbino, IT)

    * Valerie = Issarny   (INRIA Paris-Rocquencourt, FR)

     

    Secretary:

    * = Roberta Partisani (CRU Bertinoro, IT)

     

    Webmaster:

    * = Alessandro Aldini (University of Urbino, IT)

     

     

    APPLICATION

    ^^^^^^^^^^^

     

    Prospective participants should send by 21 March = 2011 the application form, available on the school web site, to the two = e-mail addresses below:

     

       Marco Bernardo

       bernardo AT = sti.uniurb.it

     

       Roberta Partisani

       rpartisani AT ceub.it

     

    The = registration fee is 550 euros and includes the school = material.

     

    The accommodation fee is 350 euros and covers the = period June 12-19

    (7 nights) in = double room (to share with another participant), half board (breakfast = and lunch, dinner of June 12 included, lunch of June 29 = excluded).

     

    The reduced accommodation fee for the participants = who do not need a room is 100 euros and covers the period June = 13-18

    (6 = lunches).

     

    A very limited number of grants is available to = cover part of the registration fee (no grant can be requested to cover = the accommodation fee or the travel expenses).

     

    Notification of accepted/rejected applications and = grant requests will be communicated by March 31.

     

    Registration to the school is due by April = 20.

     

    No refund is possible for cancellation after May = 15.

     

     

    SPONSORSHIPS

    ^^^^^^^^^^^^

     

    Sponsorship for this event was kindly provided = by:

     

    * EU-funded project CONNECT (http://connect-forever.eu/).=

    * EU-funded project EternalS (https://www.eternals.eu/).

     

     

     

    ------=_NextPart_001_012D_01CBE882.300AAE70-- ------=_NextPart_000_012C_01CBE882.300AAE70 Content-Type: application/x-pkcs7-signature; name="smime.p7s" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="smime.p7s" MIAGCSqGSIb3DQEHAqCAMIACAQExCzAJBgUrDgMCGgUAMIAGCSqGSIb3DQEHAQAAoIIUOjCCBBow ggMCAhEAi1t1VoRUhQsAz684SM6xpDANBgkqhkiG9w0BAQUFADCByjELMAkGA1UEBhMCVVMxFzAV BgNVBAoTDlZlcmlTaWduLCBJbmMuMR8wHQYDVQQLExZWZXJpU2lnbiBUcnVzdCBOZXR3b3JrMTow OAYDVQQLEzEoYykgMTk5OSBWZXJpU2lnbiwgSW5jLiAtIEZvciBhdXRob3JpemVkIHVzZSBvbmx5 MUUwQwYDVQQDEzxWZXJpU2lnbiBDbGFzcyAxIFB1YmxpYyBQcmltYXJ5IENlcnRpZmljYXRpb24g QXV0aG9yaXR5IC0gRzMwHhcNOTkxMDAxMDAwMDAwWhcNMzYwNzE2MjM1OTU5WjCByjELMAkGA1UE BhMCVVMxFzAVBgNVBAoTDlZlcmlTaWduLCBJbmMuMR8wHQYDVQQLExZWZXJpU2lnbiBUcnVzdCBO ZXR3b3JrMTowOAYDVQQLEzEoYykgMTk5OSBWZXJpU2lnbiwgSW5jLiAtIEZvciBhdXRob3JpemVk IHVzZSBvbmx5MUUwQwYDVQQDEzxWZXJpU2lnbiBDbGFzcyAxIFB1YmxpYyBQcmltYXJ5IENlcnRp ZmljYXRpb24gQXV0aG9yaXR5IC0gRzMwggEiMA0GCSqGSIb3DQEBAQUAA4IBDwAwggEKAoIBAQDd hNS5tPmn2PMEeJzePdxsExbZet0kUWbAxyZZDawGCMKU0TMf8IM1H24byN6qbhVOVCfvxG0a7Avj DvBEpVfHQFgeo0cfcexg9m2UyBg57f5CGFbf5ExJEHhOAXY1YxI23Wa8AQQ2o1Vo1aI2CayrISZU Bq0/yhTgrMqtBh2V4vid8eBg/8J/dStMzNr+h5kh6rr+PlTX0ll42zxuz6ATABq4J6HkvmeWyqDF s5zdyXWe6zCaX6PN2a54GT8j6VzbKb2tVcgbVIxj9uim6sc3ElyjKR4C2dsfO7TXD1ZHgRUESq+D J9HFWIjB3faqp6MY2miqbRFR4b9la5+WdtE9AgMBAAEwDQYJKoZIhvcNAQEFBQADggEBAKtmjdez useatuZV0AXxnzGNWqrZqkYmD3Htpa1TVmIBRypE6f4/dAsTm7n0TRuy0V+yttKIXLOfzcvUp9lg lYQ6+ME3HWHK57DF5ZHaVKasMYGul97NCKy4wJeAf25ypOdpE5VlH8STPP15jwTUPk/q957OzWd8 T2UC/5GFVHPH/zb3hi3s0F5P/xGfcgbWuBrxTA0mZeJEgB7Hn+Pd6Ara7KUggGlooU9+4WvPB0H6 g468ON2wLhGxa7JCzJq8+UgieUoZD7IcPiB02WrDvvIoeBNWeU9tUOobsLVXsTdmWCPz3A/fCofE 74YF1TgUYJmjS94GlnEs8tu2H6TvP+4wggVDMIIEK6ADAgECAhAxF91/IOU9gFV+Ny66huPkMA0G CSqGSIb3DQEBBQUAMHUxCzAJBgNVBAYTAkpQMRwwGgYDVQQKExNWZXJpU2lnbiBKYXBhbiBLLksu MR8wHQYDVQQLExZWZXJpU2lnbiBUcnVzdCBOZXR3b3JrMScwJQYDVQQDEx5WZXJpU2lnbiBKYXBh biBDbGFzcyAxIENBIC0gRzMwHhcNMDkxMjA5MDAwMDAwWhcNMTQxMjA4MjM1OTU5WjCB6TELMAkG A1UEBhMCSlAxGDAWBgNVBAoTD05UVCBEb0NvTW8sSW5jLjEfMB0GA1UECxMWVmVyaVNpZ24gVHJ1 c3QgTmV0d29yazE9MDsGA1UECxM0VGVybXMgb2YgdXNlIGF0IGh0dHBzOi8vd3d3LnZlcmlzaWdu LmNvLmpwL3JwYSAoYykwOTE1MDMGA1UECxMsQ2xhc3MgMSBNYW5hZ2VkIFBLSSBJbmRpdmlkdWFs IFN1YnNjcmliZXIgQ0ExKTAnBgNVBAMTIEdsb2JhbCBCdXNpbmVzcyBEaXZpc2lvbiBDQSAtIEcy MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAv+9s1mywoPvqfd+OCGwXwPu9ufyJE3I/ VDe1t1g1xR4FHY4oMq03GQfGsnEvS8aIFKd6qHuG4oBu2sE0Cz7mf+XCa1ds5HNRC6HJFczDQ5wV elZM1epzh8rTZquRCz7ybzHAjzQwUtBGmtLml2guwDscWfU0qYZMaJuH7SSVuwgYA8Ko/zKkv8d8 /+ql1epRk50ljGHmBjPxeNwrn/2hE5qhYvj4kB8bPJVAzLLUjMeswp4DY4f3wxV/9JMEodtRKkro BCY0vxhK+2WcNMRQl+Qp6bPVgjStIB4G3Ld9DpnraUzxucuBkcQ+AlYboK9o8PLTYWpMveLtTaZz Wy5SIQIDAQABo4IBWDCCAVQwEgYDVR0TAQH/BAgwBgEB/wIBADB0BgNVHSAEbTBrMGkGC2CGSAGG +EUBBxcBMFowKgYIKwYBBQUHAgEWHmh0dHBzOi8vd3d3LnZlcmlzaWduLmNvLmpwL2NwczAsBggr BgEFBQcCAjAgGh5odHRwczovL3d3dy52ZXJpc2lnbi5jby5qcC9ycGEwDgYDVR0PAQH/BAQDAgEG MD4GA1UdHwQ3MDUwM6AxoC+GLWh0dHA6Ly9jcmwudmVyaXNpZ24uY28uanAvVlNKX0MxQ0FfRzNf Q1JMLmNybDARBglghkgBhvhCAQEEBAMCAQYwJQYDVR0RBB4wHKQaMBgxFjAUBgNVBAMTDUMxQzIt MS0yMDQ4LTMwHQYDVR0OBBYEFOIfi2xQW79IcnoehmbNeE2F66dQMB8GA1UdIwQYMBaAFI+kyenf vQxKTvGwN0khLk2G4PmoMA0GCSqGSIb3DQEBBQUAA4IBAQBuRoOGU98aCpq8brz22TE9LzdnlJhX +8dwSLDAQZ4q13UbA8Ppee9JWA1tyctPyCCpKI31tZJH3/MU3U8Z/dIAWXnGhTu69gnmA3yTz5uW Yfq5uDu9eWQvx9kY7/ViXuK9XGKTkmq+C/ndbWKmHWzbVdwmDMSN5Bw699KrespW+4mrlR+YAmCJ qujlvndfsPWKRFkfYJvYI9XQ/pyjICBWPIkMSKXO313KSnKiVf4ebh3ZCwZk/DLMOGZqXEoKr1uM z8mbUEi7A4mBjOuC+TeR8eaicysnVoL5unsICh4J1ESi7q740ZdQJ/xgZPF0Pu65bc5BQQlYuEXU kjtLDbWnMIIFTjCCBDagAwIBAgIQPZxuismYzfjy/QplwAPRujANBgkqhkiG9w0BAQUFADCB6TEL MAkGA1UEBhMCSlAxGDAWBgNVBAoTD05UVCBEb0NvTW8sSW5jLjEfMB0GA1UECxMWVmVyaVNpZ24g VHJ1c3QgTmV0d29yazE9MDsGA1UECxM0VGVybXMgb2YgdXNlIGF0IGh0dHBzOi8vd3d3LnZlcmlz aWduLmNvLmpwL3JwYSAoYykwOTE1MDMGA1UECxMsQ2xhc3MgMSBNYW5hZ2VkIFBLSSBJbmRpdmlk dWFsIFN1YnNjcmliZXIgQ0ExKTAnBgNVBAMTIEdsb2JhbCBCdXNpbmVzcyBEaXZpc2lvbiBDQSAt IEcyMB4XDTEwMDQyMzAwMDAwMFoXDTExMDQyMzIzNTk1OVowgegxGDAWBgNVBAoUD05UVCBEb0Nv TW8sSW5jLjEpMCcGA1UECxQgR2xvYmFsIEJ1c2luZXNzIERpdmlzaW9uIENBIC0gRzIxNTAzBgNV BAsTLFRlcm1zIG9mIHVzZSBhdCB3d3cudmVyaXNpZ24uY28uanAvcnBhIChjKTA5MSMwIQYDVQQL FBpDb21wYW55IC0gRE9DT01PIEV1cm8tTGFiczEZMBcGA1UEAxMQTWFzc2ltbyBQYW9sdWNjaTEq MCgGCSqGSIb3DQEJARYbcGFvbHVjY2lAZG9jb21vbGFiLWV1cm8uY29tMIIBIjANBgkqhkiG9w0B AQEFAAOCAQ8AMIIBCgKCAQEAp/oXsYu2/+wNwCbL3AIpkB3cF+wW8l/X8b1vYZD2xPBBT44gitgJ +8MNqtOLOFBrBO0scsGy5jK5TCzy/3hhSt4L0Vy6ybHC9lPzbFj/56q2Svmjw6g2VWBRMN6fgVNB PxTbbfMdhlS8AOKN1+1lut/N3+mCDwWDxk5Oh+PrzPBLVIF88czZ1vjLApof5aBCbLP9ghLG0tVf Q05Sckql2qPRqwJOTa3HtrKdExRQnFzaQYEegYAj2BmoIYFrDtGVbLoJSL8ACXPP3wVN0TxdgrIR 1xDqdy/VA7Hvt4ciB/SmldeBzOd1lUnbFJJC3fodPcdxZAlT/UTNp2pMggU9ywIDAQABo4HwMIHt MAkGA1UdEwQCMAAwCwYDVR0PBAQDAgWgMGUGA1UdHwReMFwwWqBYoFaGVGh0dHA6Ly9vbnNpdGVj cmwudmVyaXNpZ24uY28uanAvTlRURG9Db01vSW5jR2xvYmFsQnVzaW5lc3NEaXZpc2lvbkNBRzIv TGF0ZXN0Q1JMLmNybDBGBgNVHSAEPzA9MDsGC2CGSAGG+EUBBxcBMCwwKgYIKwYBBQUHAgEWHmh0 dHBzOi8vd3d3LnZlcmlzaWduLmNvLmpwL3JwYTARBglghkgBhvhCAQEEBAMCB4AwEQYKYIZIAYb4 RQEGCQQDAQH/MA0GCSqGSIb3DQEBBQUAA4IBAQB2g+Cnm//VH8ObMboh4qPzp91XbuSBy9thgnfs Yc63h1lM8PGgV6immciTZih075PbTxgLQcqSZXyfd7QgdCbF7085rRJ81nH4Gg2Wz3LL/22oCqmi k7BqWw+PUKyTGoXNRlIi6REV1YEbIMW1aLB39h0tx57aHNR/w+nu//Vav23XxIrBbuXixqdOMiCY T+fJnUeTaeKPYrDTcNSa4pnlm1fQorlYhYO6AMi4nH5sg5ZQ5eP0ewqxSLjk+5NfTck0ffpfidnd +ZCNNWEylQQ4G96y/nj2gbFXbql3zEd2Lq1cYSQovgn7+D5qMMPIvbsQK0xFxLoKqB4x0mgdGo/S MIIFfzCCBGegAwIBAgIQInnVCfoK8yhj3hE2EG+AajANBgkqhkiG9w0BAQUFADCByjELMAkGA1UE BhMCVVMxFzAVBgNVBAoTDlZlcmlTaWduLCBJbmMuMR8wHQYDVQQLExZWZXJpU2lnbiBUcnVzdCBO ZXR3b3JrMTowOAYDVQQLEzEoYykgMTk5OSBWZXJpU2lnbiwgSW5jLiAtIEZvciBhdXRob3JpemVk IHVzZSBvbmx5MUUwQwYDVQQDEzxWZXJpU2lnbiBDbGFzcyAxIFB1YmxpYyBQcmltYXJ5IENlcnRp ZmljYXRpb24gQXV0aG9yaXR5IC0gRzMwHhcNMDkwNDI4MDAwMDAwWhcNMTkwNDI3MjM1OTU5WjB1 MQswCQYDVQQGEwJKUDEcMBoGA1UEChMTVmVyaVNpZ24gSmFwYW4gSy5LLjEfMB0GA1UECxMWVmVy aVNpZ24gVHJ1c3QgTmV0d29yazEnMCUGA1UEAxMeVmVyaVNpZ24gSmFwYW4gQ2xhc3MgMSBDQSAt IEczMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAu/CZFv1G1RnJxz/Ap44L+r23AWSg iASJ+2gVjj0Sb4SoxOjg6QSgX34vmCT+3u3ksR0LqkrLxYPrikRQCncZM7QBIQDcuEheH1z/fH9p 9dqNDC+YWomtcbceXaOtFTiKInyUDiRsWgvZ29N8dvfLFarbzAMKnBgmtMqUPqYHLzs2VM6sYK1V s7O/gIQP4JnzDR6FMw/nYd0TB68NoNUwBLWPpoGC+si7Wild85aauddQVRuQ4qTeh6Bm2BcpcpFl Z3fnMQpMZIZ4/xfYouV5YIjpWJ/UIsgSnz0Yu1XEz3vqt7z/kK8/YXcK5dD9P0OHPmF9lzcw1uQo pHf6M++BxwIDAQABo4IBszCCAa8wDwYDVR0TAQH/BAUwAwEB/zAYBgNVHSAEETAPMA0GC2CGSAGG +EUBBxcBMDQGA1UdHwQtMCswKaAnoCWGI2h0dHA6Ly9jcmwudmVyaXNpZ24uY29tL3BjYTEtZzMu Y3JsMA4GA1UdDwEB/wQEAwIBBjApBgNVHREEIjAgpB4wHDEaMBgGA1UEAxMRQWZmU0NDMi0yMDQ4 LTEtNDEwHQYDVR0OBBYEFI+kyenfvQxKTvGwN0khLk2G4PmoMIHxBgNVHSMEgekwgeahgdCkgc0w gcoxCzAJBgNVBAYTAlVTMRcwFQYDVQQKEw5WZXJpU2lnbiwgSW5jLjEfMB0GA1UECxMWVmVyaVNp Z24gVHJ1c3QgTmV0d29yazE6MDgGA1UECxMxKGMpIDE5OTkgVmVyaVNpZ24sIEluYy4gLSBGb3Ig YXV0aG9yaXplZCB1c2Ugb25seTFFMEMGA1UEAxM8VmVyaVNpZ24gQ2xhc3MgMSBQdWJsaWMgUHJp bWFyeSBDZXJ0aWZpY2F0aW9uIEF1dGhvcml0eSAtIEczghEAi1t1VoRUhQsAz684SM6xpDANBgkq hkiG9w0BAQUFAAOCAQEAr+90sO4wQqBPsjVp/2PG7fBDtjdYhFVKwcdaQO08PsiZjOd7AwjEZpx/ RXZOvXi7xA13un7E9yLEb0l2q4e2369a+aKhMqzvv/qCPQA4TVUXA+KacQuC8FnDkWIZwQjLD/Dd d/u2sJDGPhk7M5gY6B1H/hNzeQdNgTRl4boolp2Q2emxyxMGFvWELG29yAMJiKiOndMdVHKRSLWo pPRELHIhRvI7FQ/M9nQokPsWVNYNqyBELd6FbksN3ZATTQktwdnDZ9LWwqr7o373onb8BHmXmAtM LvTlh/0sKdhHrAQJztxE6nH63XMI8BG9Uy+/Ff5OHqwBsFhnPtiCD9mM2zGCBWswggVnAgEBMIH+ MIHpMQswCQYDVQQGEwJKUDEYMBYGA1UEChMPTlRUIERvQ29NbyxJbmMuMR8wHQYDVQQLExZWZXJp U2lnbiBUcnVzdCBOZXR3b3JrMT0wOwYDVQQLEzRUZXJtcyBvZiB1c2UgYXQgaHR0cHM6Ly93d3cu dmVyaXNpZ24uY28uanAvcnBhIChjKTA5MTUwMwYDVQQLEyxDbGFzcyAxIE1hbmFnZWQgUEtJIElu ZGl2aWR1YWwgU3Vic2NyaWJlciBDQTEpMCcGA1UEAxMgR2xvYmFsIEJ1c2luZXNzIERpdmlzaW9u IENBIC0gRzICED2cborJmM348v0KZcAD0bowCQYFKw4DAhoFAKCCA0EwGAYJKoZIhvcNAQkDMQsG CSqGSIb3DQEHATAcBgkqhkiG9w0BCQUxDxcNMTEwMzIyMTAxMzM1WjAjBgkqhkiG9w0BCQQxFgQU 5biApj4yGDCwfdnQiRuVkS34+RUwgbcGCSqGSIb3DQEJDzGBqTCBpjALBglghkgBZQMEASowCwYJ YIZIAWUDBAEWMAoGCCqGSIb3DQMHMAsGCWCGSAFlAwQBAjAOBggqhkiG9w0DAgICAIAwDQYIKoZI hvcNAwICAUAwBwYFKw4DAgcwDQYIKoZIhvcNAwICASgwBwYFKw4DAhowCwYJYIZIAWUDBAIDMAsG CWCGSAFlAwQCAjALBglghkgBZQMEAgEwCgYIKoZIhvcNAgUwggEQBgkrBgEEAYI3EAQxggEBMIH+ MIHpMQswCQYDVQQGEwJKUDEYMBYGA1UEChMPTlRUIERvQ29NbyxJbmMuMR8wHQYDVQQLExZWZXJp U2lnbiBUcnVzdCBOZXR3b3JrMT0wOwYDVQQLEzRUZXJtcyBvZiB1c2UgYXQgaHR0cHM6Ly93d3cu dmVyaXNpZ24uY28uanAvcnBhIChjKTA5MTUwMwYDVQQLEyxDbGFzcyAxIE1hbmFnZWQgUEtJIElu ZGl2aWR1YWwgU3Vic2NyaWJlciBDQTEpMCcGA1UEAxMgR2xvYmFsIEJ1c2luZXNzIERpdmlzaW9u IENBIC0gRzICED2cborJmM348v0KZcAD0bowggESBgsqhkiG9w0BCRACCzGCAQGggf4wgekxCzAJ BgNVBAYTAkpQMRgwFgYDVQQKEw9OVFQgRG9Db01vLEluYy4xHzAdBgNVBAsTFlZlcmlTaWduIFRy dXN0IE5ldHdvcmsxPTA7BgNVBAsTNFRlcm1zIG9mIHVzZSBhdCBodHRwczovL3d3dy52ZXJpc2ln bi5jby5qcC9ycGEgKGMpMDkxNTAzBgNVBAsTLENsYXNzIDEgTWFuYWdlZCBQS0kgSW5kaXZpZHVh bCBTdWJzY3JpYmVyIENBMSkwJwYDVQQDEyBHbG9iYWwgQnVzaW5lc3MgRGl2aXNpb24gQ0EgLSBH MgIQPZxuismYzfjy/QplwAPRujANBgkqhkiG9w0BAQEFAASCAQBzb0Ywlk8Ggc1yNqmsupjCdv2G n6KUjnV7Bp4u5CREWyoMtTvZL7QBC5ygS1MQmp+B5O9L8dlBdTydZZkA3zJ4OA+3+B+G8hPwe9ad E9f9fq0f7WevRq9kQR+SM2yLaXlJ8o+kOVdGs9xC7vhkwv7E+wAIgGzDJyIc8gWpKNZhpCAQtlfZ fH7fFur5j2ETzIBiVKBYO1Oepvd1J/QQcstIHn/G+1+Gtxu0mD6ChQYmgcm84J0YyBzeodkLURz8 9h/mvj3fouzTMYppnN/tY8uSPk9nkMkl6kHSGmdn/TTVNtFFb5q0hyD1j151KFNFO3l1klh2hmRT ryx/teB9m94PAAAAAAAA ------=_NextPart_000_012C_01CBE882.300AAE70-- From bogus@does.not.exist.com Wed Nov 20 14:53:38 2019 From: bogus@does.not.exist.com () Date: Wed, 20 Nov 2019 13:53:38 -0000 Subject: Kein Betreff Message-ID: selected for short presentation. The list of accepted papers and the tentative program are online on the LOFT website. PRACTICAL INFORMATION For information on travel and accommodation: http://personal.us.es/hvd/loft= / ---------------------------------------------------------------------------= --------------------------- Prof. Wiebe van der Hoek Head of Department of Computer Science University of Liverpool http://www.csc.liv.ac.uk/~wiebe/ tel (+44 151) 7954292, (+44) 7970247480 fax (+44 151) 79 54235 Liverpool L69 3BX, United Kingdom Wiebe.Van-Der-Hoek at liverpool.ac.uk --_000_3616B442180D42D0969FC3CBE2573BB4liverpoolacuk_ Content-Type: text/html; charset="iso-8859-1" Content-ID: <13AD78D13604144FB150A262C8ADB93E at exchange.liv.ac.uk> Content-Transfer-Encoding: quoted-printable CALL FOR PARTICIPATION
                &nb= sp;            =  LOFT10  2012
    Tenth Conference on Logic and the Foundations of Game and Decision Theory             &nb= sp;  University of Sevilla, Spain, June 18-20, 2012
                &nb= sp;         http://personal.us.es/hvd/loft/

    CALL FOR PARTICIPATION
    Registration for the conference is now open. The EARLY registration fee
    (before June 1) is 110 euros.

    AIMS OF THE CONFERENCE
    This is the tenth in a series of bi-annual conferences on the applications = of logical methods to foundational issues in the theory of individual and i= nteractive decision-making. Preference is given to papers which bring toget= her the work and problems of several fields, such as game and decision theory, logic, computer science and arti= ficial intelligence, philosophy, cognitive psychology, mathematics and mind= sciences.

    The previous nine conferences took place in Marseille (France), January 199= 4, Torino (Italy), December 1996, December 1998, July 2000 and July 2002, L= eipzig (Germany), July 2004, Liverpool (UK), July 2006, Amsterdam (The Neth= erlands), July 2008 and Toulouse (France), July 2010.

    INVITED SPEAKERS
       * Walter Carnielli, University of Campinas, Brazil
       * Vincent Conitzer, Duke University, USA
       * Branden Fitelson, Rutgers University, USA
       * Aviad Heifetz, Open University of Israel
       * Andr=E9s Perea, University of Maastricht, Netherlands
    PROGRAM
    From bogus@does.not.exist.com Wed Nov 20 14:53:38 2019 From: bogus@does.not.exist.com () Date: Wed, 20 Nov 2019 13:53:38 -0000 Subject: Kein Betreff Message-ID: selected for short presentation. The list of accepted papers and the
    tentative program are online on the LOFT website.

    PRACTICAL INFORMATION
    For information on travel and accommodation: http://personal.us.es/hvd/loft/
    ----------------------------------------------------------------------= --------------------------------
    Prof. Wiebe van der Hoek
    Head of Department of Computer Science         &nb= sp;            
    University of Liverpool  
    http://www.csc.liv.ac.uk/~wieb= e/     
    tel (+44 151) 7954292, (+44) 7970247480
    fax             (+44 151) 79 54235
    Liverpool L69 3BX, United Kingdom   
    Wiebe.Van-Der-Hoek at li= verpool.ac.uk

    --_000_3616B442180D42D0969FC3CBE2573BB4liverpoolacuk_-- From bogus@does.not.exist.com Wed Nov 20 14:53:38 2019 From: bogus@does.not.exist.com () Date: Wed, 20 Nov 2019 13:53:38 -0000 Subject: Kein Betreff Message-ID: described in logical terms or not, we have languages which define some class of structures, and systems whose purpose is to compute structures in the class. Logic may be seen as an explicit basis for building systems, as an analytic tool, or as a formal approach to viewing the diversity of systems more uniformly. Topics of interest include, but are not limited to: - Logics relevant to the study of search and optimization problems - Languages for specifying or modelling search or optimization problems - Reasoning about or with specifications of search problems - Grounding and related language transformation methods - Expressiveness and complexity of logics and languages - Ground Solvers and their languages: SAT, ASP, SMT, FlatZinc, etc. - New or extended ground solver languages: SAT+Cardinality, SAT+TC, etc= . - Design of systems, solvers, and related tools - Approximation, tractable problem classes, etc. - Proof systems and inference methods underlying solvers. - Comparisons of different languages or methods - Interesting applications, either as case studies or challenges - Benchmark problems and instance collections IMPORTANT DATES Submission: April 17 Notification: May 1 Final Versions: May 20 Workshop: July 18 ORGANIZERS Marc Denecker, KU Leuven David Mitchell, Simon Fraser University Emilia Oikarinen, Aalto University PROGRAM COMMITTEE TBA SUBMISSION INFORMATION To encourage communication across areas, LaSh is a non-archival meeting. In addition to new technical work, we welcome presentation of relevant mate= rial which has appeared at conferences area-specific meetings or general confere= nces, and also position papers, challenges, system descriptions and speculative w= ork. From bogus@does.not.exist.com Wed Nov 20 14:53:38 2019 From: bogus@does.not.exist.com () Date: Wed, 20 Nov 2019 13:53:38 -0000 Subject: Kein Betreff Message-ID: described in logical terms or not, we have languages which define some=0A= class of structures, and systems whose purpose is to compute structures=0A= in the class. Logic may be seen as an explicit basis for building systems,= =0A= as an analytic tool, or as a formal approach to viewing the diversity of=0A= systems more uniformly.=0A= =0A= Topics of interest include, but are not limited to:=0A= =0A= - Logics relevant to the study of search and optimization problems=0A= - Languages for specifying or modelling search or optimization problems= =0A= - Reasoning about or with specifications of search problems=0A= - Grounding and related language transformation methods=0A= - Expressiveness and complexity of logics and languages=0A= - Ground Solvers and their languages: SAT, ASP, SMT, FlatZinc, etc.=0A= - New or extended ground solver languages: SAT+Cardinality, SAT+TC, etc= .=0A= - Design of systems, solvers, and related tools=0A= - Approximation, tractable problem classes, etc.=0A= - Proof systems and inference methods underlying solvers.=0A= - Comparisons of different languages or methods=0A= - Interesting applications, either as case studies or challenges=0A= - Benchmark problems and instance collections=0A= =0A= CONFIRMED SPEAKERS=0A= =0A= Plenary: Konstantin Korovin, University of Manchester=0A= =0A= Tomi Janhunen, Aalto University=0A= Stefan Woltran, TU Wien=0A= =0A= IMPORTANT DATES=0A= =0A= Submission: May 15 (Extended)=0A= Notification: May 21 (Revised)=0A= Final Versions: May 27 (Revised)=0A= Workshop: July 18=0A= =0A= ORGANIZERS=0A= =0A= Marc Denecker, KU Leuven=0A= David Mitchell, Simon Fraser University=0A= Emilia Oikarinen, Aalto University=0A= =0A= PROGRAM COMMITTEE=0A= =0A= David Bergman (University of Connecticut)=0A= Marc Denecker (K.U.Leuven) - chair=0A= Alan Frisch (University of York)=0A= Wolfgang Faber (University of Huddersfield)=0A= Marijn Heule (The University of Texas at Austin)=0A= Tomi Janhunen (Aalto University)=0A= Matti J=E4rvisalo (University of Helsinki)=0A= Ian Miguel (University of St Andrews)=0A= David Mitchell (Simon Fraser University) - chair=0A= Emilia Oikarinen (Aalto University) - chair=0A= Shahab Tasharrofi (Simon Fraser University)=0A= Eugenia Ternovska (Simon Fraser University)=0A= Mirek Truszczynski (University of Kentucky)=0A= =0A= SUBMISSION INFORMATION=0A= =0A= To encourage communication across areas, LaSh is a non-archival meeting.=0A= In addition to new technical work, we welcome presentation of relevant mate= rial=0A= which has appeared at conferences area-specific meetings or general confere= nces,=0A= and also position papers, challenges, system descriptions and speculative w= ork.=0A= From bogus@does.not.exist.com Wed Nov 20 14:53:38 2019 From: bogus@does.not.exist.com () Date: Wed, 20 Nov 2019 13:53:38 -0000 Subject: Kein Betreff Message-ID: Practice on Real Datasets Ernesto Damiani (University of Milan), [introductory/intermediate] = Process Discovery and Predictive Decision Making from Big Data Sets and Streams Gautam Das (University of Texas, Arlington), [intermediate/advanced] = Mining Deep Web Repositories Maarten de Rijke (University of Amsterdam), tba Geoffrey C. Fox (Indiana University, Bloomington), [intermediate] Using Software Defined Systems to Address Big Data Problems Minos Garofalakis (Technical University of Crete, Chania) [intermediate/advanced], Querying Continuous Data Streams Vasant G. Honavar (Pennsylvania State University, University Park) [introductory/intermediate], Learning Predictive Models from Big Data Mounia Lalmas (Yahoo! Research Labs, London), [introductory] Measuring = User Engagement Tao Li (Florida International University, Miami), [introductory/intermediate] Data Mining Techniques to Understand Textual Data Kwan-Liu Ma (University of California, Davis), [intermediate] Big Data Visualization Christoph Meinel (Hasso Plattner Institute, Potsdam), [introductory/intermediate] New Computing Power by In-Memory and = Multicore to Tackle Big Data David Padua (University of Illinois, Urbana-Champaign), [intermediate] = Data Parallel Programming Manish Parashar (Rutgers University, Piscataway), [intermediate] Big = Data in Simulation-based Science Srinivasan Parthasarathy (Ohio State University, Columbus), = [intermediate] Scalable Data Analysis Evaggelia Pitoura (University of Ioannina), [intermediate] Online Social Networks Vijay V. Raghavan (University of Louisiana, Lafayette), [introductory/intermediate] Visual Analytics of Time-evolving = Large-scale Graphs Pierangela Samarati (University of Milan), [intermediate], Data Security = and Privacy in the Cloud Peter Sanders (Karlsruhe Institute of Technology), [introductory/intermediate] Algorithm Engineering for Large Data Sets Johan Suykens (Katholieke Universiteit Leuven), = [introductory/intermediate] Fixed-size Kernel Models for Big Data Domenico Talia (University of Calabria, Rende), [intermediate] Scalable = Data Mining on Parallel, Distributed and Cloud Computing Systems Jieping Ye (Arizona State University, Tempe), [introductory/advanced] Large-Scale Sparse Learning and Low Rank Modeling ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Carlos Mart=EDn-Vide (Tarragona, chair) Florentina Lilica Voicu (Tarragona) REGISTRATION: It has to be done at http://grammars.grlmc.com/bigdat2015/registration.php=20 The selection of up to 8 courses requested in the registration template = is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each = course. Since the capacity of the venue is limited, registration requests will = be processed on a first come first served basis. The registration period = will be closed and the on-line registration facility disabled when the = capacity of the venue will be complete. It is much recommended to register prior = to the event. FEES: As far as possible, participants are expected to stay full-time. Fees = are a flat rate covering the attendance to all courses during the week. There = are several early registration deadlines. Fees depend on the registration deadline. ACCOMMODATION: Suggestions of accommodation will be provided in due time. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat=20 POSTAL ADDRESS: BigDat 2015 Lilica Voicu Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: Universitat Rovira i Virgili From bogus@does.not.exist.com Wed Nov 20 14:53:38 2019 From: bogus@does.not.exist.com () Date: Wed, 20 Nov 2019 13:53:38 -0000 Subject: Kein Betreff Message-ID: nts Competition). Based on the great success of previous ANAC, the ANAC2016= will be held at AAMAS2016. This year, we, ACAN, have the ANAC special sess= ion, in which the finalists of ANAC will describe their negotiating agents. Submission https://easychair.org/conferences/?conf=3Dacan2016 Submissions should conform to the ACM SIG style (see http://www.acm.org/publications/article-templates/proceedings-template= .html for more details) and should not be more than 8 pages long (excluding= appendices). The workshop welcomes submissions of original works relevant = to the topics described above. This year, the workshop will accept submissi= ons of both full papers (maximum 8 pages) and short papers (maximum 4 pages= ). Review Process and Acceptance Standards For gathering high quality papers, each paper needs to be reviewed by at le= ast three PC members or experts in the field. Acceptance standards include = its technical soundness, novelty, impact and readability. The same publicat= ion procedure as our previous workshops, we are planning to publish a Post-= Workshop book for ACAN2016 in Books Series Studies in Computational Intelli= gence, by Springer. Organization Organizing Committee: Prof. Dr. Katsuhide Fujita (Tokyo University of Agriculture and Technology,= Japan) Prof. Dr. Naoki Fukuta (Shizuoka University, Japan) Prof. Dr. Takayuki Ito (Nagoya Institute of Technology, Japan) Prof. Dr. Minjie Zhang (University of Wollongong, Australia) Dr. Quan Bai (Auckland University of Technology) Dr. Fenghui Ren (University of Wollongong, Australia) Dr. Chao Yu (Dalian University of Technology, China) Dr. Reyhan Aydo=F0an (Ozyegin University, Turkey) Senior Committee Members: Dr. Rafik Hadfi, (Nagoya Institute of Technology, Japan) Dr. Valentin Robu (Heriot-Watt University, UK) Prof. Dr. Tokuro Matsuo (Advanced Institute of Industrial Technology, Japan= ) Prof. Dr. Miguel Angel Lopez-Carmona (Universidad de Alcala, Spain) Prof. Dr. Ivan Marsa-Maestre (Universidad de Alcala, Spain) Contact Katsuhide Fujita Faculty of Engineering, Tokyo University of Agriculture and Technology Email: katfuji[at]cc.tuat.ac.jp -------- Dr Minjie Zhang Professor The Director of Intelligent Systems Research Centre The Head of Postgraduate Studies School of Computing and Information Technology The University of Wollongong NSW 2522, Australia Phone: +61 2 4221 4745 Fax: + 61 2 4221 4170 Email: minjie at uow.edu.au URL: http://www.uow.edu.au/~minjie --_000_9d9b252736f9454a95269bf837e04264doriaduoweduau_ Content-Type: text/html; charset="iso-8859-9" Content-Transfer-Encoding: quoted-printable

     <= /p>

     <= /p>

    From: Minjie Zhang
    Sent: Monday, 7 December 2015 11:51 AM
    To: 'DAI-List at engr.sc.edu'
    Subject: CFPs: ACAN2016 in conjunction with AAMAS2016, 9-13 May 2016= , Singapore

     

    Call for Papers: The Ninth International Workshop on Agent-b= ased Complex Automated Negotiations (ACAN2016)
    To be held in conjunction with the 15th International Joint Conference on A= utonomous Agents and Multi-Agent Systems (AAMAS 2016)
    http://www.uow.= edu.au/~fren/ACAN2016/index.html

    This workshop will be co-organised in conjunction with the Seven= th International Automated Negotiating Agents Competition (ANAC 2016).=

    Important dates

    • Subm= ission deadline: February 1, 2016
    • Acce= ptance notification: February 22, 2016
    • Came= ra-ready deadline: March 7, 2016
    • ACAN= 2016: May 9 or 10, 2016

     
    Scope and Background
    Complex Automated Negotiations have been widely studied and are one of the = emerging areas of research in the field of Autonomous Agents and Multi-Agen= t Systems. The complexity in an automated negotiation depends on several fa= ctors: the number of negotiated issues, dependencies between these issues, representation of the utility, = negotiation procedural and protocol, negotiation form (bilateral or multi-p= arty), time constraints negotiation goals, and so on. Complex automated neg= otiation scenarios are concerned with negotiation encounters where we may have for instance, a large number= of agents, a large number of issues with strong interdependencies, real ti= me constraints, concurrent and interdepended negotiation, and etc. Many rea= l world negotiation scenarios present one or more of the mentioned elements. Software agents can support the aut= omation of complex negotiations, by negotiating on the behalf of their owne= rs and providing adequate strategies to their owners to achieve realistic, = win-win agreements. In order to provide solutions in such complex automated negotiation scenarios, researc= h has focused on incorporating different technologies including search, CSP= , graphical utility models, Bayesian nets, auctions, utility graphs, optimi= zation and predicting and learning methods. The applications of complex automated negotiations could include = e-commerce tools, decision-making support tools, negotiation support tools,= collaboration tools, as well as knowledge discovery and agent learning too= ls.
    ACAN2016 will discuss, among others, the following aspects and topics of su= ch complex automated negotiations within the field of Autonomous Agents and= Multi-Agent Systems, which have distinct relationships with AAMAS main con= ference topics:

    • Comp= lex Automated Negotiations Frameworks and Mechanisms
      • =
    • Bila= teral and Multilateral Negotiations, High dimension Multi-Issue Negotiation= s,
    • Larg= e Scale Negotiations, Concurrent Negotiations, Multiple Negotiations,<= /o:p>
    • Sequ= ential Negotiations, Negotiations under Asymmetric Information, and so on
    • Pred= iction of Opponent's Behaviours and Strategies in Negotiations
    • Simu= lation Models and Platforms for Complex Negotiations
      • =
    • Coor= dination Mechanisms for Complex Negotiations
    • Matc= hmaking and Brokering Mechanisms
    • 2-Si= ded Matching
    • Util= ity and Preference Representations in Negotiations
      • Comp= utational Complexity of Multi-Issue Negotiations
    • Real= -life Aspects of Electronic Negotiations
    • Nego= tiations with Humans, Negotiations in Social Networks etc.
    • Appl= ications for Automated Negotiations (e.g. cloud computing, smart grid, elec= tronic commerce etc.)

     
    A considerable number of researchers in various sub-communities of autonomo= us agents and multi-agent systems are actively working on these and related= issues. They are, for instance, being studied in agent negotiations, multi= -issue negotiations, auctions, mechanism design, electronic commerce, voting, secure protocols, matchmaking and bro= kering, argumentation, co-operation mechanisms and distributed optimization= . The goal of this workshop is to bring together researchers from these com= munities to learn about each other's approaches to the complex negotiation problems, encourages the exchange of= ideas between the different areas, and potentially fosters long-term resea= rch collaborations to accelerate progress towards scaling up to larger and = more realistic applications.
     
    Automated Negotiating Agents Competition (ANAC) Special Session<= /strong>
    From bogus@does.not.exist.com Wed Nov 20 14:53:38 2019 From: bogus@does.not.exist.com () Date: Wed, 20 Nov 2019 13:53:38 -0000 Subject: Kein Betreff Message-ID: nts Competition). Based on the great success of previous ANAC, the ANAC2016= will be held at AAMAS2016. This year, we, ACAN, have the ANAC special sess= ion, in which the finalists of ANAC will describe their negotiating agents.

    Submission
    https://easy= chair.org/conferences/?conf=3Dacan2016
    Submissions should conform to the ACM SIG style
    (see http://www.acm.org/publications/article-templates/proceedings-template.html= for more details) and should not be more than 8 pages long (excluding = appendices). The workshop welcomes submissions of original works relevant t= o the topics described above. This year, the workshop will accept submissions of both full papers (maximum 8 = pages) and short papers (maximum 4 pages).

    Review Process and Acceptance Standards<= span style=3D"font-family:"Calibri","sans-serif";color:= black">
    For gathering high quality papers, each paper needs to be reviewed by at le= ast three PC members or experts in the field. Acceptance standards include = its technical soundness, novelty, impact and readability. The same publicat= ion procedure as our previous workshops, we are planning to publish a Post-Workshop book for ACAN2016 in Books Seri= es Studies in Computational Intelligence, by Springer.
     
    Organization
    = Organizing Committee:
    Prof. Dr. Katsuhide Fujita (Tokyo University of Agriculture and Technology,= Japan)
    Prof. Dr. Naoki Fukuta (Shizuoka University, Japan)
    Prof. Dr. Takayuki Ito (Nagoya Institute of Technology, Japan)
    Prof. Dr. Minjie Zhang (University of Wollongong, Australia)
    Dr. Quan Bai (Auckland University of Technology)
    Dr. Fenghui Ren (University of Wollongong, Australia)
    Dr. Chao Yu (Dalian University of Technology, China)
    Dr. Reyhan Aydo=F0an (Ozyegin University, Turkey)

    Senior Committee Members:
    Dr. Rafik Hadfi, (Nagoya Institute of Technology, Japan)
    Dr. Valentin Robu (Heriot-Watt University, UK)
    Prof. Dr. Tokuro Matsuo (Advanced Institute of Industrial Technology, Japan= )
    Prof. Dr. Miguel Angel Lopez-Carmona (Universidad de Alcala, Spain)
    Prof. Dr. Ivan Marsa-Maestre (Universidad de Alcala, Spain)
    =  
    Contact
     Katsuhide Fujita
    Faculty of Engineering, Tokyo University of Agriculture and Technology
    Email: katfuji[at]cc.tuat.ac.jp

    --------
    Dr Minjie Zhang
    Professor

    The Director of Intelligent = Systems Research Centre

    The Head of Postgraduate Stu= dies
    School of Computing and Information Technology
    The University of Wollongong
    NSW 2522, Australia
    Phone: +61 2 4221 4745
    Fax: + 61 2 4221 4170
    Email: minjie at uow.edu.au
    URL:     http://www.uow.edu.au/~minjie

    --_000_9d9b252736f9454a95269bf837e04264doriaduoweduau_--