- computational.science - lists.iccsa.org

Open Ph.D. Position ESR4 within the European InnoCyPES Project
by Massimo CAFARO 06 Jul '21

06 Jul '21

InnoCyPES is a project funded under H2020 Marie Skłodowska-Curie Actions, Innovative Training Networks. Within the project, there is an available position at the University of Salento, Lecce, for talented, enthusiastic, and ambitious candidates with the skills and knowledge to make excellent research and breakthroughs in the field of cyber physical energy systems. The successful ESR (Early Stage Researcher) candidate will enroll in the PhD programme in Engineering of Complex Systems and be employed for 36 months in the InnoCyPES network, consisting of 7 academic beneficiaries, 4 industrial beneficiaries, in collaboration with 10 partner organizations. InnoCyPES targets at the key bottlenecks of digital transformation of the current energy system, where the ESRs are expected to study, investigate and improve various facets of digitalized and interconnected energy systems. Supervised by a consortium of prominent and experienced academic institutions, research institutes and industrial partners, they will collaboratively develop a cutting-edge system management platform that covers the entire lifecycle of data for energy system planning, operation and maintenance, based on an understanding of the energy system as a cyber-physical system. The ESR will be enrolled in an intensive doctoral training program that is both intersectoral – involving key stakeholders – and interdisciplinary, including information science, energy systems engineering and social science. Benefits All InnoCyPES ESRs will benefit from: - Extensive training in technical and transferrable skills; - Participation to network events, workshops and conferences; - A prestigious three-year MSCA Fellowship; - A competitive salary including mobility and family allowances; - Intersectoral secondment experience. Qualifications Applicants shall have proven interest in interdisciplinary and intersectoral research, and with specific interest in the InnoCyPES research areas as evidenced by the application documents. Besides, the following requirements are to be met: 1) have obtained their Master of Science degree in Computer Science, Computer Engineering or equivalent; 2) An excellent academic record (grades of B or higher) 3) have engineering background relevant to the following areas but not limited to: distributed computing, databases, distributed data management, security and privacy; knowledge of times series storage and analysis is a plus; 4) have good command of English (minimum C1 or equivalent). Requirements The applicants must fulfill the following conditions: 1) Early stage researchers: Applicants must be early-stage researchers, which means at the date of start, be in the first four years (full-time equivalent research experience) of their research careers and have not been awarded a doctoral degree; 2) Mobility Rule: researchers must not have resided or carried out their main activity (work, studies, etc.) in the country of the host institute for more than 12 months in the 3 years immediately before the recruitment date. Compulsory national service, short stays such as holidays, and time spent as part of a procedure for obtaining refugee status under the Geneva Convention1 are not taken into account. For international European interest organisations, international organisations, the European Commission's Joint Research Centre (JRC) or an 'entity created under Union law', recruited researchers must not have spent more than 12 months in the 3 years immediately before the recruitment date at the same appointing organisation. Are you interested? If you are interested in this exciting and challenging opportunity, please apply. Applicants of any age and of any nationality are eligible. The recruitment process follows an open, transparent, impartial, equitable and merit-based procedure and the European Charter and Code of Conduct for the Recruitment of Researchers. Consortium partners Host institute - Technical University of Denmark (DTU), Denmark - University of Utrecht (UU), Netherlands - Électricité de France (EDF), France - Delft University of Technology (TUD), Netherlands - University of Salento (UNILE), Italy - Norwegian University of Science and Technology (NTNU), Norway - Imperial College of London (ICL), United Kingdom - Dansk Energi (DE), Denmark - Austrian Institute of Technology (AIT), Austria - Siemens Gamesa Renewable Energy (SGRE), Denmark - Tajfun HiL (THiL), Serbia Partner organizations - Commonwealth Scientific and Industrial Research Organisation (CSIRO), Australia - DEPSYS (DEP), Switzerland - Equinor Energy (EQN), Norway - Swiss Federal Institute of Technology (ETH), Switzerland - Phase to Phase (Ph2Ph), Netherland - Instituto de Engenharia de Sistemas e Computadores - Investigação e Desenvolvimento (INESC), Portugal - NARI Technology (NARI), China - University of New South Wales (UNSW), Australia - Siemens, Denmark - Ørsted Wind Power (Ørsted), Denmark Open ESR position ESR4: Large scale data management The sheer quantum of data being created and collected across jurisdictions requires a carefully planned and proactive approach to data management. The need for fusion and integration of multiple data sources characterized by fragmented data ownership is driving innovative approaches to large scale distributed data management and integration to avoid inconsistent and inaccurate data. The aim is to investigate, design and implement a fully decentralized solution to provide efficient management of dynamically updated information and support for distributed queries. One or more domain specific use cases shall be identified within the context of the project, considering both the current and future needs of some of the involved partners. These nicely fit into the ESR research plan, owing to the need of surveying the user’s requirements to begin with; simultaneously, the uses cases can also be thought of as sources of advanced data management challenges. · Host organisation: University of Salento, Italy · PhD-enrolment: University of Salento · Duration: 36 months · Expected start date: ~Nov 2021 · Secondment: DE (4 months), TUD (4 months) · Research directors: Prof. Massimo Cafaro massimo.cafaro(a)unisalento.it Prof. Italo Epicoco italo.epicoco(a)unisalento.it Simon Tindemans S.H.Tindemans(a)tudelft.nl HOW TO APPLY: https://www1.unisalento.it/bandi-concorsi/-/bandi/view/65641043 The tender is available as “Phd call - Engineering of complex systems - 37° cycle" https://www1.unisalento.it/c/document_library/get_file?p_l_id=63872469&fold… Applicants will find the position searching the document for Research Area No. 3 N. 1 position funded on InnoCyPES research program Large scale data management and integration In particular, applicants are strongly advised to check in the same document the "Additional note for the position funded on the InnoCyPES research program”, in which all of the requirements for this position are listed. The deadline for applications is July 8 01.00 PM Italian time. - ************************************************************************************ Massimo Cafaro, Ph.D. Associate Professor of Parallel Algorithms and Data Mining Dept. of Engineering for Innovation University of Salento, Lecce, Italy Via per Monteroni 73100 Lecce, Italy Voice/Fax +39 0832 297371 Web http://sara.unisalento.it/~cafaro Web https://www.unisalento.it/people/massimo.cafaro E-mail massimo.cafaro(a)unisalento.it E-mail cafaro(a)ieee.org E-mail cafaro(a)acm.org CMCC Foundation Euro-Mediterranean Center on Climate Change Via Augusto Imperatore, 16 - 73100 Lecce massimo.cafaro(a)cmcc.it ************************************************************************************ --

1 0

Postdoc Research Fellow position in autonomous cyber-physical systems security at ADSC Singapore
by Tan Rui (Assoc Prof) 06 Jul '21

06 Jul '21

Postdoc Research Fellow position in autonomous cyber-physical systems security at ADSC Singapore A Research Fellow position is immediately available at Advanced Digital Sciences Center (ADSC) to conduct research and development for a new project in autonomous cyber-physical systems. The project aims at studying both internal and external attacks in autonomous cyber-physical systems using learning-based approaches. The successful candidate will work on designing the attack strategy for the adversary and defence strategy for the system operator using the machine learning or deep learning techniques. The specific task will include problem formulation, machine learning or deep learning algorithm designing and testing. Qualification requirements: - Phd in computer science or electrical engineering. - Experience in machine learning or deep learning. Skills requirements: - Familiar with Python, or C/C++ programming - Experience in cyber security or cyber-physical system is a plus - Capability of independent research - Good communication skills, and work under stress How to apply: Interested candidates can apply at https://my.engr.illinois.edu/apply To receive prompt review, please also send a copy of CV to lou.xin(a)adsc-create.edu.sg. Shortlisted candidates will be notified. Illinois At Singapore Pte. Ltd./ Advanced Digital Sciences Center (ADSC) is a university-related organization affiliated with the University of Illinois at Urbana-Champaign (UIUC) established 2009 for the conduct of research in Singapore with founding funding from National Research Foundation (NRF). ADSC operates in Singapore under the Singapore-chartered Illinois at Singapore Pte. Ltd. in partnership with NRF and interfaces with UIUC in the USA for many of its support functions. ADSC is home to approximately 50 researchers and students focusing on breakthrough innovations in information technologies supporting interactive cyber infrastructures that are expected to have a major impact in transforming humans’ use of information in data-intensive, technologically developed societies. ADSC’s research mission is carried out through projects that facilitate interactions among UIUC researchers, local researchers and their industry partners. Through this, ADSC aims to enhance Singapore’s position as a hub for leading edge research. For more information about this area at ADSC, please visit ADSC's website: http://adsc.illinois.edu/ ________________________________ CONFIDENTIALITY: This email is intended solely for the person(s) named and may be confidential and/or privileged. If you are not the intended recipient, please delete it, notify us and do not copy, use, or disclose its contents. Towards a sustainable earth: Print only when necessary. Thank you.

1 0

[Abstract Deadline in 1 Week] - IEEE International Conference on High Performance Computing, Data, and Analytics, HiPC 2021
by Sanmukh Kuppannagari 02 Jul '21

02 Jul '21

********************************************************************** We apologize if you received multiple copies of this email. Please feel free to distribute it to those who might be interested ********************************************************************** Abstract Submission deadline for the IEEE International Conference on High Performance Computing, Data, Analytics, and Data Science, HiPC 2021 is in one week. Please register your papers before the deadline. Abstract Submission Deadline: 8 July, 2021 Paper Submission Deadline: 16 July, 2021 (hard deadline) More information can be found at the call for papers: https://hipc.org/call-for-papers/ Regards, Sanmukh Kuppannagari Senior Research Associate University of Southern California https://sanmukh.github.io/

1 0

[MHPC] Meet with us!
by Master in HPC 01 Jul '21

01 Jul '21

1 0

ScalA@SC21 CFP - Papers due August 27
by Engelmann, Christian 30 Jun '21

30 Jun '21

We apologize if you receive multiple copies of this notice. ----------------------------------------------------------------------------- ScalA21: 12th Workshop on Latest Advances in Scalable Algorithms for Large-Scale Systems held in conjunction with the SC21: The International Conference on High Performance Computing, Networking, Storage and Analysis November 19, 2021, St. Louis, MO, USA <http://www.csm.ornl.gov/srt/conferences/Scala/2021> Novel scalable scientific algorithms are needed in order to enable key science applications to exploit the computational power of large-scale systems. This is especially true for the current tier of leading petascale machines and the road to exascale computing as HPC systems continue to scale up in compute node and processor core count. These extreme-scale systems require novel scientific algorithms to hide network and memory latency, have very high computation/communication overlap, have minimal communication, and have no synchronization points. With the advent of Big Data and AI in the past few years the need of such scalable mathematical methods and algorithms able to handle data and compute intensive applications at scale becomes even more important. Scientific algorithms for multi-petaflop and exa-flop systems also need to be fault tolerant and fault resilient, since the probability of faults increases with scale. Resilience at the system software and at the algorithmic level is needed as a crosscutting effort. Finally, with the advent of heterogeneous compute nodes that employ standard processors as well as GPGPUs, scientific algorithms need to match these architectures to extract the most performance. This includes different system-specific levels of parallelism as well as co-scheduling of computation. Key science applications require novel mathematical models and system software that address the scalability and resilience challenges of current- and future-generation extreme-scale HPC systems. Submission Guidelines --------------------- Authors are invited to submit manuscripts in English structured as technical papers at a length of at least 6 letter size (8.5in x 11in) pages and not exceeding 8 pages, including figures, tables, and references using the IEEE format for conference proceedings. Reference style files are available at <http://www.ieee.org/conferences_events/conferences/publishing/templates.html>. Submitted papers must represent original unpublished research that is not currently under review for any other conference or journal. Papers not following these guidelines will be rejected without review and further action may be taken, including (but not limited to) notifications sent to the heads of the institutions of the authors and sponsors of the conference. Submissions received after the due date, exceeding length limit, or not appropriately structured may also not be considered. Papers should be submitted electronically at <https://submissions.supercomputing.org>. All manuscripts will be peer-reviewed and judged on correctness, originality, technical strength, and significance, quality of presentation, and interest and relevance to the workshop attendees. At least one author of an accepted paper must register for and present the paper at the workshop. Authors may contact the workshop program chair, Christian Engelmann at engelmannc(a)ornl.gov, for more information. Important Web Sites ------------------- - ScalA21 Website: <https://www.csm.ornl.gov/srt/conferences/Scala/2021> - ScalA21 Submissions: <https://submissions.supercomputing.org> - SC21 website: <http://sc21.supercomputing.org/> Important Dates --------------- - Full paper submission: August 27, 2021 - Notification of acceptance: September 27, 2021 - Final paper submission (firm): TBD - Workshop/conference early registration: October 15, 2021 - Workshop: 8:30am - 12pm CST, November 19, 2021 Topics of interest include, but are not limited to: --------------------------------------------------- - Novel scientific algorithms that improve performance, scalability, resilience, and power efficiency - Porting scientific algorithms and applications to many-core and heterogeneous architectures - Performance and resilience limitations of scientific algorithms and applications at scale, including Data Science approaches in dealing with Big Data - Crosscutting approaches (system software and applications) in addressing scalability challenges - Scientific algorithms that can exploit extreme concurrency (e.g. 1 billion for exascale by 2023) - Naturally fault tolerant, self-healing, or fault oblivious scientific algorithms - Programming model and system software support for algorithm scalability and resilience (including ones enabling Big Data processing) Workshop Chairs --------------- - Vassil Alexandrov, Hartree Centre, Science and Technology Facilities Council, UK - Al Geist, Oak Ridge National Laboratory, USA - Jack Dongarra, University of Tennessee, Knoxville, USA Workshop Program Chair ---------------------- - Christian Engelmann, Oak Ridge National Laboratory, USA Contact at engelmannc(a)ornl.gov Program Committee ----------------- - Hartwig Anzt, University of Tennessee, Knoxville, USA - Rick Archibald, Oak Ridge National Laboratory, USA - Marco Berghoff, Karlsruhe Institute of Technology, Germany - Hans-Joachim Bungartz, Technical University of Munich, Germany - Florina M. Ciorba, University of Basel, Switzerland - James Elliott, Sandia National Laboratories, USA - Nahid Emad, University of Versailles SQ, France - Wilfried Gansterer, University of Vienna, Austria - Yasuhiro Idomura, Japan Atomic Energy Agency, Japan - Kirk E. Jordan, IBM T.J. Watson Research, USA - Dieter Kranzlmueller, Ludwig-Maximilians-University Munich, Germany - Sriram Krishnamoorthy, Pacific Northwest National Laboratory, USA - Paul Lin, Lawrence Berkeley National Laboratory, USA - Kengo Nakajima, RIKEN, Japan - Yves Robert, ENS Lyon, France - Stuart Slattery, Oak Ridge National Laboratory, USA - Keita Teranishi, Sandia National Laboratories, USA -- Christian Engelmann, Ph.D. Senior Scientist & Group Leader Intelligent Systems and Facilities Group Advanced Computing Systems Research Section Computer Science and Mathematics Division Oak Ridge National Laboratory Mail: P.O. Box 2008, Oak Ridge, TN 37831-6173, USA Phone: +1 (865) 574-3132 / Fax: +1 (865) 576-5491 e-Mail: engelmannc(a)ornl.gov / Home: www.christian-engelmann.info

2 2

2nd CFP - 17th Doctoral Consortium (DC) on Logic Programming (ICLP-DC 2021)
by Miguel Areias 29 Jun '21

29 Jun '21

========================================================================= CALL FOR PAPERS ICLP DC 2021 - 17th Doctoral Consortium (DC) on Logic Programming ========================================================================= The 17th Doctoral Consortium (DC) on Logic Programming provides students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and experts in the field. The preliminary website of the DC can be found at: https://sites.google.com/view/iclp-dc-2021/iclp-2021-doctoral-consortium The DC will take place during the 37th International Conference on Logic Programming (ICLP) https://iclp2021.dcc.fc.up.pt (September 20-27, 2021), as a fully virtual event. The best paper from the DC will be given the opportunity to make a presentation in a session of the main ICLP conference. Important Dates *************** Paper submission: July 15, 2021 Notification: August 01, 2021 Camera-ready copy: August 10, 2021 DC presentations: TBA (fully virtual event) DC students are highly recommended to attend the Autumn School on Logic Programming and Constraint Programming (https://sites.google.com/view/iclp-dc-2021/autumn-school-on-logic-programmi…) Audience ******** The DC is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Master's program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to): ** Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. ** Languages: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming Techniques. ** Declarative programming: Declarative program development, Analysis, Type and mode inference, Partial evaluation, Abstract interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization. ** Implementation: Virtual machines, Compilation, Memory management, Parallel/distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces. ** Related Paradigms and Synergies: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer Set Programming, Interaction with SAT, SMT and CSP solvers, Logic programming techniques for type inference and theorem proving, Argumentation, Probabilistic Logic Programming, Relations to object-oriented and Functional programming. ** Applications: Databases, Big Data, Data integration and federation, Software engineering, Natural language processing, Web and Semantic Web, Agents, Artificial intelligence, Computational life sciences, Education, Cybersecurity, and Robotics. Submissions by students who have presented their work at previous ICLP DC editions are allowed, but should occur only if there are substantial changes or improvements to the student's work. The DC offers participants a convenient, more informal way to interact with established researchers and fellow students, through presentations, question-answer sessions, panel discussions, and invited presentations. The Doctoral Consortium will also provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued, research presentation. Discussants *********** Renowned experts and researchers in the fields of logic and constraint programming will join in evaluating submissions and will participate in the DC, providing valuable feedback to DC participants. Goals ***** ** To provide doctoral students working in the fields of logic and constraint programming with a friendly and open forum to present their research ideas, listen to ongoing work from peer students, and receive constructive feedback. ** To provide students with relevant information about important issues for doctoral candidates and future academics. ** To develop a supportive community of scholars and a spirit of collaborative research. ** To support a new generation of researchers with information and advice on academic, research, industrial, and non-traditional career paths. Submission Details ****************** Submissions of the research summary must be made in EPTCS format (http://info.eptcs.org/) and submitted via EasyChair. All papers must be written in English and should be between 5 and 10 pages. For all accepted DC papers, the student is required to attend the DC program and give a presentation during the DC. A program committee consisting of experts in various areas related to logic and constraint programming reviews the submissions. Papers are reviewed by at least two, and usually three, referees. The submission package should consist of the research summary in the format mentioned above, a short vita or cover letter of the applicant, a letter of recommendation from applicant's faculty advisor, and one paragraph statement outlining how the school will benefit the applicant. All material is to be submitted electronically, in PDF format on the Easychair system. Easychair link: https://easychair.org/conferences/?conf=iclp2021 (Doctoral Consortium track) Research summary (make sure to include your complete name, address, and affiliation): The body of your research summary (no more than 10 pages, but 5 is fine as well!) should provide a clear overview of your research, its potential impact, and its current status. You are encouraged to include the following sections: ** Introduction and problem description ** Background and overview of the existing literature ** Goal of the research ** Current status of the research ** Preliminary results accomplished (if any) ** Open issues and expected achievements ** Bibliographical references Review Criteria *************** The DC program committee will select participants based on their anticipated contribution to the DC objectives. Participants typically have settled on their thesis directions and have their research proposal accepted by their thesis committee. Students will be selected based on clarity and completeness of their submission package, relevance of their research area w.r.t. the focus of ICLP, stage of research, recommendation letter, and evidence of promise towards a successful career in research and academia, such as published papers or technical reports. Registration ************ Registration is part of the ICLP 2021 registration. Registration costs for ICLP will be lower than usual since it is virtual this year. We aim to find sponsoring to cover the registration cost of students participating in the DC, but this still has to be confirmed. Program co-chairs ***************** Bart Bogaerts, Vrije Universiteit Brussel Carmine Dodaro, University of Calabria Program Committee ***************** Daniela Inclezan, Miami University OH Johannes Fichte, TU Dresden Fabio Fioravanti, University of Chieti-Pescara Gregory Gelfond, University of Nebraska at Omaha Zeynep G. Saribatur, Vienna University of Technology Frank Valencia, LIX, Ecole Polytechnique Matthias Van der Hallen, KU Leuven Yi Wang, Arizona State University Jessica Zangari, University of Calabria

1 0

Phd opprtunities @University of Lille and INRIA
by El-ghazali Talbi 29 Jun '21

29 Jun '21

*** Re-Posting - Please help distribute it to interested once **** 2 PhD Opportunity in optimization, metaheuristics and deep learning - Deadline July 30, 2021 1. "Multi-criteria design and optimization of deep learning models: Application to embedded systems". Collaboration with IRT-SystemX Paris Saclay. See the linkhttps://www.irt-systemx.fr/recrutement/multi-criteria-automated-design-and-optimization-of-deep-neural-networks/ for more details. 2. "Optimization of deep learning models for spacio-temporel prediction", Collaboration with EDF Paris Saclay. contact: Prof. El-Ghazali TALBI, e-mail:el-ghazali.talbi@univ-lille.fr -- ********************************************************************** META'2021 International Conference on Metaheuristics and Nature Inspired Computing 27-30 Oct 2021, Marrakech, Morocco http://meta2021.sciencesconf.org *********************************************************************** ********************************************************************** OLA'2022 International Conference on Optimization and Learning July 2022, Sicilia, Italy *********************************************************************** Prof. El-ghazali TALBI Polytech'Lille, University Lille - INRIA CRISTAL - CNRS guide2research.com

1 0

[CFP]13th Int. Conf. on on Neural Computation Theory and Applications :: New Submission Deadline - July 2nd
by Alessio Martino 25 Jun '21

25 Jun '21

CALL FOR PAPERS 13th International Conference on Neural Computation Theory and Applications New Regular/Position Paper Submission Deadline: July 02, 2021 http://www.ncta.ijcci.org/ <http://www.ncta.ijcci.org/> October 25 - 27, 2021 Online Streaming In Cooperation with Spanish Association of Artificial Intelligence Association for the Advancement of Artificial Intelligence Associazione Italiana per l'Intelligenza Artificiale Neural computation and artificial neural networks, especially in relation to deep learning, have seen an explosion of interest over the recent decades, and are being successfully applied across an extraordinary range of problem domains, in areas as diverse as finance, medicine, engineering, geology and physics, in problems of complex dynamics and complex behavior prediction, classification or control. Several architectures, learning strategies and algorithms have been introduced in this highly dynamic field in the last couple of decades. Nowadays, having reached notable scientific and applicative maturity, neural computation and related techniques are considered as major basis toward the completion of intelligent artificial systems. This conference intends to be a major forum for scientists, engineers and practitioners interested in the study, analysis, design, modeling and implementation of neural computing systems, both theoretically and in a broad range of application fields. Conference Chair(s) Juan Julian Merelo, University of Granada, Spain Kevin Warwick (honorary), University of Reading and Coventry University, United Kingdom Program Chair(s) H. K. Lam, King's College London, United Kingdom Marie Cottrell, Université Paris1, France With the presence of internationally distinguished keynote speakers: Susana Vieira, University of Lisbon, Portugal Joseph Rynkiewicz, Université de Paris 1 Panthéon-Sorbonne, France Carlos Coello, CINVESTAV-IPN, Mexico Barbara Hammer, Bielefeld University, Germany Proceedings will be submitted for indexation by: SCOPUS, Google Scholar, The DBLP Computer Science Bibliography, Semantic Scholar, Microsoft Academic, Engineering Index (EI), Web of Science / Conference Proceedings Citation Index. 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 SCI Series book. All papers presented at the conference venue will also be available at the SCITEPRESS Digital Library. Also, a short list of best papers will be invited for a post-conference special issue of the Springer Nature Computer Science journal. Kind regards, Mónica Saramago NCTA Secretariat Web: http://www.ncta.ijcci.org/ <http://www.ncta.ijcci.org/> e-mail: ncta.secretariat(a)insticc.org <mailto:ncta.secretariat@insticc.org> ________________________________________ Alessio Martino, PhD, Research Fellow Italian National Research Council Institute of Cognitive Sciences and Technologies (ISTC-CNR) Via San Martino della Battaglia 44, 00185 Rome, Italy <https://www.google.com/maps/place/Via+S.+Martino+della+Battaglia,+44,+00185…> Phone: (+39)0644362370-5 E-mail: alessio.martino(a)istc.cnr.it <mailto:alessio.martino@istc.cnr.it> Web: www.istc.cnr.it/en <http://www.istc.cnr.it/en>

1 0

Deadlines Approaching - IEEE International Conference on High Performance Computing, Data, and Analytics, HiPC 2021
by Sanmukh Kuppannagari 23 Jun '21

23 Jun '21

********************************************************************** We apologize if you received multiple copies of this email. Please feel free to distribute it to those who might be interested ********************************************************************** Paper submission deadlines for the IEEE International Conference on High Performance Computing, Data, Analytics, and Data Science, HiPC 2021 are approaching. Please note that these are hard deadlines and no further extension will be granted. Abstract Submission Deadline: 8 July, 2021 Paper Submission Deadline: 16 July, 2021 (hard deadline) More information can be found at the call for papers: https://hipc.org/call-for-papers/ Regards, Sanmukh Kuppannagari Senior Research Associate University of Southern California https://sanmukh.github.io/

1 0

CFP - Workshop on Goal-directed Execution of Answer Set Programs (GDE 2021)
by Miguel Areias 15 Jun '21

15 Jun '21

========================================================================= CALL FOR PAPERS GDE 2021: Workshop on Goal-directed Execution of Answer Set Programs https://utdallas.edu/~gupta/gde21 ========================================================================= A workshop of 37th International Conference on Logic Programming September 20-27, 2021 (the event will be virtual) ========================================================================= Workshop Aim: ************* Answer set programming is a successful extension of logic programming for solving combinatorial problems as well as knowledge representation and reasoning problems. Most current implementations of ASP work by grounding a program and using a SAT solver-like technology to find the answer sets. While this approach is extremely efficient, relying on grounding of the program leads to significant blow-up of the program size, and computing the whole model makes finding justification of an atom in the model hard. This limits the applicability of ASP to problems dealing with large knowledge bases. Goal-directed or query-driven execution strategies have been proposed that do not require grounding. The goal of this workshop is to foster discussion around challenges and opportunities that such approaches present. Tentative list of topics include: ********************************* * Non-grounding based implementations of ASP * Constructive Negation * Implementation Technology for Goal-directed ASP * Applications of Goal-directed ASP * Query-driven Constraint ASP * System Description * Tabling in goal-directed ASP Systems * Coinductive Logic Programming and ASP Submission Instructions: ************************ Technical papers, position papers, as well as extended abstracts are welcome. Papers should be maximum 15 pages long and in LNCS Format. Email the paper in pdf format to the workshop organizers by the deadline date. Important Dates: **************** Paper Submission: August 5, 2021 Decision Notification: August 15, 2021 Workshop Date: TBA (During one of ICLP'21 Conference days) Invited Speakers: ***************** TBA Organizers: *********** *Gopal Gupta, The University of Texas at Dallas, USA; Gopal.Gupta(a)utdallas.edu *Joaquin Arias, Joaquin Arias, Universidad Rey Juan Carlos, Spain; Joaquin.Arias(a)urjc.es *Elmer Salazar, The University of Texas at Dallas, USA; Elmer.Salazar(a)utdallas.edu Program Committee: ****************** TBA =========================================================================

1 0