From amedeo.napoli at loria.fr Sun Jun 1 23:26:34 2014 From: amedeo.napoli at loria.fr (Amedeo Napoli) Date: Sun, 1 Jun 2014 23:26:34 +0200 (CEST) Subject: [fg-arc] CFP FCA4AI Workshop at ECAI 2014 (extended deadline and last call) In-Reply-To: <423185719.15594541.1401657980014.JavaMail.zimbra@loria.fr> Message-ID: <260141211.15594545.1401657994780.JavaMail.zimbra@loria.fr> ------------------------------------------------------------------------------------------------------------------- Call for Papers ------------------------------------------------------------------------------------------------------------------- -- FCA4AI (Third Edition) -- ``What can FCA do for Artificial Intelligence?'' co-located with ECAI 2014, Prague, Czech Republic August 19 2014 http://www.fca4ai.hse.ru ------------------------------------------------------------------------------------------------------------------- General Information. The first and the second editions of the FCA4AI Workshop (ECAI 2012, Montpellier and IJCAI 2013, Beijing) showed that many researchers working in Artificial Intelligence are indeed interested by a powerful method for classification and mining such as Formal Concept Analysis (see http://ceur-ws.org/Vol-939/ and http://ceur-ws.org/Vol-1058/). We have the chance to organize a new edition of the workshop in Prague at the ECAI 2014 Conference. Formal Concept Analysis (FCA) is a mathematically well-founded theory aimed at data analysis and classification. FCA allows one to build a concept lattice and a system of dependencies (implications) which can be used for many AI needs, e.g. knowledge processing involving learning, knowledge discovery, knowledge representation and reasoning, ontology engineering, and as well as information retrieval and text processing. Thus, there exist many ``natural links'' between FCA and AI. Recent years have been witnessing increased scientific activity around FCA, in particular a strand of work emerged that is aimed at extending the possibilities of FCA w.r.t. knowledge processing, such as work on pattern structures and relational context analysis. These extensions are aimed at allowing FCA to deal with more complex than just binary data, both from the data analysis and knowledge discovery point of view and from the knowledge representation point of view, including, e.g., ontology engineering. All these works extend the capabilities of FCA and offer new possibilities for AI activities in the framework of FCA. Accordingly, in this workshop, we will be interested in two main issues: - How can FCA support AI activities such as knowledge processing (knowledge discovery, knowledge representation and reasoning), learning (clustering, pattern and data mining), natural language processing, information retrieval. - How can FCA be extended in order to help AI researchers to solve new and complex problems in their domain. The workshop is dedicated to discuss such issues. TOPICS OF INTEREST include but are not limited to: - Concept lattices and related structures: description logics, pattern structures, relational structures. - Knowledge discovery and data mining with FCA: association rules, itemsets and data dependencies, attribute implications, data pre-processing, redundancy and dimensionality reduction, classification and clustering. - Knowledge engineering and ontology engineering: knowledge representation and reasoning. - Scalable algorithms for concept lattices and artificial intelligence ``in the large'' (distributed aspects, big data). - Applications of concept lattices: semantic web, information retrieval, visualization and navigation, pattern recognition. The workshop will include time for audience discussion for having a better understanding of the issues, challenges, and ideas being presented. IMPORTANT DATES: Submission deadline: June 15, 2014 Notification to authors: July 10, 2014 Final version: July 21, 2014 Workshop: August 19, 2014 SUBMISSION DETAILS: The workshop welcomes submissions in pdf format in Springer's LNCS style. Submissions can be: - technical papers not exceeding 8 pages, - system descriptions or position papers on work in progress not exceeding 4 pages Submissions are via EasyChair at https://www.easychair.org/conferences/?conf=fca4ai2014 (opening soon) The workshop proceedings will be published as CEUR proceedings. A selection of the best papers presented at the workshop will be considered for a special issue of a high-level journal. WORKSHOP CHAIRS: Sergei O. Kuznetsov Higher Schools of Economics, Moscow, Russia Amedeo Napoli LORIA-INRIA, Vandoeuvre les Nancy, France Sebastian Rudolph Technische Universitaet Dresden, Germany PROGRAM COMMITTEE (in constitution) Mathieu D'Aquin, Open University, Milton Keynes, UK Franz Baader, Technische Universitaet Dresden, Germany Radim Belohlavek, Palacky University, Olomouc, Czech Republic Karell Bertet, Universit? de La Rochelle, France Claudio Carpineto, Fondazione Ugo Bordoni, Roma, Italy Felix Distel, Technische Universitaet Dresden, Germany S?bastien Ferr?, IRISA Rennes, France Bernhard Ganter, Technische Universitaet Dresden, Germany Pascal Hitzler, Wright State University, Dayton, Ohio, USA Marianne Huchard, LIRMM Montpellier, France Dmitry I. Ignatov, Higher School of Economics, Moscow, Russia Mehdi Kaytoue, LIRIS-INSA, University of Lyon, France Markus Kr?tzsch, University of Oxford, UK Sergei A. Obiedkov, Higher Schools of Economics, Moscow, Russia Jan Outrata, Palacky University, Olomouc, Czech Republic Uta Priss, Ostfalia University of Applied Sciences, Wolfenb?ttel, Germany Baris Sertkaya, SAP Dresden, Germany, Henry Soldano, Universit? de Paris-Nord, France Gerd Stumme, Universitaet Kassel, Germany Petko Valtchev, Universit? du Qu?bec ? Montr?al, Montr?al, Canada ------------------------------------------------------------------------------------------------------------------- ------------------------------------------------------------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: From ibichind at oswego.edu Mon Jun 2 18:51:21 2014 From: ibichind at oswego.edu (Isabelle Bichindaritz) Date: Mon, 2 Jun 2014 12:51:21 -0400 Subject: [fg-arc] CFP WK on Synergies between CBR and Data Mining @ ICCBR - Deadline 6/23/2014 Message-ID: ICCBR-14 Workshop Workshop on Synergies between CBR and Data Mining Call for Papers At the core of CBR lies the ability of a system to learn from past cases. However, CBR systems often incorporate data mining methods, for example, to organize their memory or to learn adaptation rules. In turn, data mining systems often utilize CBR as a learning methodology, for example, through a common set of problems with the nearest-neighbor method and reinforcement learning. Meanwhile, the machine learning community, which is tightly coupled with data mining, has historically included CBR among the types of instance-based learning. This workshop will be dedicated to studying in-depth the possible synergies between case-based reasoning (CBR) and data mining. It also aims at identifying potentially fruitful ideas for co-operative problem-solving where both CBR and data mining researchers can compare and combine methods. In particular, new advances in data mining may help CBR to advance its field of study and play a vital role in the future of data mining. This first Workshop on Synergies between CBR and Data Mining aims to: * provide a forum for identifying important contributions and opportunities for research on combining CBR and data mining, * promote the systematic study of how to synergistically integrate CBR and data mining, * showcase synergistic systems using CBR and data mining. Some of the technical issues addressed, and potential outcomes of the workshop, are to identify the data mining methods used in CBR, to categorize the problems addressed by data mining in CBR, to propose methodological improvements to fit this context?s needs, preferred types and methods, and guidelines to better develop CBR systems taking advantage of all data mining research has to offer. Similarly, the workshop will identify the CBR methods used in data mining, categorize the problems addressed by CBR in data mining, propose methodological improvements to fit this context?s needs, preferred types and methods, and guidelines to better develop data mining systems taking advantage of all CBR research has to offer. We welcome all those interested in the problems and promise of synergistically combining CBR and data mining whether they belong to the CBR, the data mining community, or the machine learning community. Topics of interest include (but are not limited to): * Architectures for synergistic systems between CBR and data mining * Theoretical frameworks for synergistic systems between CBR and data mining * Memory structure mining in CBR * Memory organization mining in CBR (decision tree induction, etc.) * Case mining * Feature selection in CBR * Knowledge discovery in CBR (adaptation knowledge, meta-knowledge, etc.) * Concept mining in CBR * Image and multimedia mining in CBR * Temporal mining in CBR * Text mining in CBR * Nearest-neighbor systems and CBR * Instance-based learning and CBR * Reinforcement learning and CBR * CBR and statistics * CBR and statistical data analysis * CBR in multi-strategy learning systems * CBR and similarity and metric learning * CBR and Big Data * Application specific synergies between CBR and data mining (medicine, bioinformatics, social networks, sentiment analysis, etc.) Paper presentations will be interspersed with discussions in which we characterize, categorize, and discuss the synergies between CBR and data mining. A wrap-up round table discussion will summarize the lessons learnt, issues identified, and future directions. Submission Requirements Submitted papers are limited to 10 pages in length. All papers are to be submitted via the ICCBR-14 EasyChair system (https://www.easychair.org/conferences/?conf=iccbr2014). Papers should be in Springer LNCS format. Author's instructions, along with LaTeX and Word macro files, are available at http://www.springer.de/comp/lncs/authors.html. Submissions should be original papers that have not already been published elsewhere. However, papers may include previously published results that support a new theme, as long as all past publications are fully referenced. Dates * Submission Deadline: June 23, 2014 * Notification Date: August 12, 2014 * Camera-Ready Deadline: August 31, 2014 * Workshop date: September 29, 2014 Workshop Web Site: http://cs.oswego.edu/~bichinda/iccbr2014/ Organizing Committee Co-Chairs Isabelle Bichindaritz State University of New York, Oswego Oswego, NY, 13126, USA Phone: +1 315 312 2683 Email: ibichind at oswego.edu Cindy Marling Ohio University Athens, Ohio, 45701, USA Phone: +1 740 593 1246 Email: marling at ohio.edu Stefania Montani University of Piemonte Orientale I-15100 Alessandria, Italy Phone: +30 0131 360158 Email: stefania.montani at unipmn.it -- Dr. Isabelle Bichindaritz Assistant Professor SUNY Oswego Computer Science Department Shineman 427 7060 New York 104 Oswego, NY 13126 USA Ph: (315) 312 2683 Email: ibichind at oswego.edu -------------- next part -------------- An HTML attachment was scrubbed... URL: From wadt2014 at gmail.com Fri Jun 6 09:40:21 2014 From: wadt2014 at gmail.com (2014 wadt) Date: Fri, 6 Jun 2014 10:40:21 +0300 Subject: [fg-arc] WADT 2014 - 2nd Call for Papers Message-ID: ====================================================================== SECOND CALL FOR PAPERS - Submission now open! WADT 2014 22nd International Workshop on Algebraic Development Techniques http://wadt2014.cs.ovgu.de September 4-7, 2014, Sinaia, Romania ====================================================================== AIMS AND SCOPE The algebraic approach to system specification encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, it now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed and mobile systems). The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends. TOPICS OF INTEREST Typical, but not exclusive topics of interest are: - Foundations of algebraic specification - Other approaches to formal specification, including process calculi and models of concurrent, distributed and mobile computing - Specification languages, methods, and environments - Semantics of conceptual modelling methods and techniques - Model-driven development - Graph transformations, term rewriting and proof systems - Integration of formal specification techniques - Formal testing and quality assurance, validation, and verification WORKSHOP FORMAT AND LOCATION The workshop will take place over four days, Thursday to Sunday, at Hotel International Sinaia. Presentations will be selected on the basis of submitted abstracts. INVITED SPEAKERS Christoph Benzmueller (FU Berlin, Germany) Rustan Leino (Microsoft Research, USA) IMPORTANT DATES Submission deadline for abstracts: June 15, 2014 Notification of acceptance: June 30, 2014 Early registration: July 15, 2014 Final abstract due: July 25, 2014 Workshop in Sinaia: September 4-7, 2014 SUBMISSIONS The scientific programme of the workshop will include presentations of recent results and ongoing research. The presentations will be selected by the Steering Committee on the basis of submitted abstracts according to originality, significance and general interest. The abstracts must be up to two pages long including references. If a longer version of the condtribution is available, it can be made accessible on the web and referenced in the abstract. The abstracts have to be submitted electronically via the EasyChair system, at the URL http://www.easychair.org/conferences/?conf=wadt2014 PROCEEDINGS After the workshop, selected authors will be invited to submit full papers for the refereed proceedings, which will be published as a volume of Lecture Notes in Computer Science (Springer). SPONSORSHIP The workshop takes place under the auspices of IFIP WG 1.3. WADT STEERING COMMITTEE Michel Bidoit (France) Andrea Corradini (Italy) Jose Fiadeiro (UK) Rolf Hennicker (Germany) Hans-Jorg Kreowski (Germany) Till Mossakowski (Germany) [chair] Fernando Orejas (Spain) Francesco Parisi-Presicce (Italy) Grigore Rosu (United States) Andrzej Tarlecki (Poland) ORGANIZING COMMITTEE Razvan Diaconescu (Romania) Mihai Codescu (Germany) Ionut Tutu (UK) CONTACT INFORMATION Email: wadt2014 at gmail.com Homepage: http://wadt2014.cs.ovgu.de -------------- next part -------------- An HTML attachment was scrubbed... URL: From lina.ye at inria.fr Tue Jun 10 11:18:37 2014 From: lina.ye at inria.fr (lina.ye at inria.fr) Date: Tue, 10 Jun 2014 11:18:37 +0200 (CEST) Subject: [fg-arc] ACM SAC 2015: Software Verification and Testing Track - First CfP Message-ID: <201406100918.s5A9IbHx017168@ubac.inrialpes.fr> ================================================== 30th Annual ACM Symposium on Applied Computing Software Verification and Testing Track April 13 - 17, 2015, Salamanca, Spain More information: http://fmt.cs.utwente.nl/conferences/sac-svt2015/ and http://www.acm.org/conferences/sac/sac2015/ =================================================== Important dates --------------- * September 12, 2014: Submission of regular papers * November 17, 2014: Notification of paper acceptance/rejection * December 8, 2013: Camera-ready copies of accepted papers ACM Symposium on Applied Computing ---------------------------------- The ACM Symposium on Applied Computing (SAC) has gathered scientists from different areas of computing over the past twenty-nine years. The forum represents an opportunity to interact with different communities sharing an interest in applied computing. SAC 2015 is sponsored by SIGAPP and will be held at the UNESCO world heritage city of Salamanca in Spain. Software Verification and Testing Track --------------------------------------- We invite authors to submit new results in formal verification and testing, as well as development of technologies to improve the usability of formal methods in software engineering. Also welcome are detailed descriptions of applications of mechanical verification to large scale software. Possible topics include, but are not limited to: - model checking - theorem proving - correct by construction development - model-based testing - verification-based testing - symbolic execution - static and run-time analysis - abstract interpretation - analysis methods for dependable systems - software certification and proof carrying code - fault diagnosis and debugging - verification of large scale software systems - real world applications and case studies applying software verification Submissions Guidelines ---------------------- Paper submissions must be original, unpublished work. Submissions should be in electronic format, via the START site: http://www.acm.org/conferences/sac/sac2015/Paper-SubmissionUploadPage.htm Author(s) name(s) and address(es) must not appear in the body of the paper, and self-reference should be avoided and made in the third person. Submitted paper will undergo a blind review process. Authors of accepted papers should submit an editorial revision of their papers that fits within six two-column pages (an extra two pages, to a total of eight pages, may be available at a charge). Please comply to this page limitation already at submission time. Accepted papers will be published in the ACM SAC 2015 proceedings. Paper registration is required, allowing the inclusion of the paper/poster in the conference proceedings. An author or a proxy attending SAC MUST present the paper. This is a requirement for the paper/poster to be included in the ACM/IEEE digital library. No-show of scheduled papers and posters will result in excluding them from the ACM/IEEE digital library. A special issue of Science of Computer Programming has been confirmed. Selected papers will be invited for submission, and will be peer-reviewed according to the standard policy of Science of Computer Programming. Student Research Competition ---------------------------- As before, SAC 2015 organises a Student Research Competition (SRC) Program to provide graduate students the opportunity to meet and exchange ideas with researchers and practitioners in their areas of interest. Guidelines and information about the SRC program can be found at http://www.acm.org/conferences/sac/sac2015/. Submission to the SRC program should be in electronic form via the following website http://www.acm.org/conferences/sac/sac2015/SRC-SubmissionUploadPage.htm Program Committee (to be completed) ----------------- Laura Brandan Briones, National University of Cordoba, Argentina Maximiliano Cristi??, Universidad Nacional de Rosario, Argentina Marco Faella, University of Naples, Italy Ylies Falcone, University of Grenoble Alpes, France Fabrice Kordon, University Pierre et Marie Curie, France Malte Lochau, Darmstadt University, Germany Annabelle McIver, Macquarie University, Australia Mercedes Merayo, Universidad Complutense de Madrid, Spain Dominique Mery, University of Lorraine, France Mohammad Mousavi, Halmstad University, Sweden Brian Nielsen, Aalborg University, Denmark Jun Pang, University of Luxembourg, Luxembourg Corina Pasareanu, NASA Ames, USA Wishnu Prasetya, Utrecht University, The Netherlands Marjan Sirjani, Reykjavik University, Iceland Hasan S??zer, ??zyegin University, Turkey Tanja Vos, Valencia University, Spain Anton Wijs, Eindhoven University of Technology, The Netherlands Liu Yang, Nanyang Technological University, Singapore Gianluigi Zavattaro, University of Bologna, Italy Lijun Zhang, Chinese Academy of Sciences, China Program Committee Chairs ----------------- Gwen Sala??n, University of Grenoble Alpes, France Marielle Stoelinga, University of Twente, Netherlands From riebisch at informatik.uni-hamburg.de Thu Jun 12 08:49:31 2014 From: riebisch at informatik.uni-hamburg.de (Riebisch, Matthias) Date: Thu, 12 Jun 2014 06:49:31 +0000 Subject: [fg-arc] =?iso-8859-1?q?Letzter_Aufruf_zur_Teilnahme_an_der_Jahre?= =?iso-8859-1?q?stagung_=22Architekturen_f=FCr_die_Industrie_4=2E0=22_7=2E?= =?iso-8859-1?q?-8=2E_Juli_2014?= In-Reply-To: References: Message-ID: Herzliche Einladung zur Teilnahme (bitte entschuldigen Sie, wenn Sie diese Email mehrfach erhalten haben) Am 07./08. Juli 2014 findet die Jahrestagung der GI-Fachgruppe "Architekturen" am ABB Forschungszentrum in Ladenburg bei Mannheim statt. Das Motto der diesj?hrigen Veranstaltung lautet: "Architekturen f?r die Industrie 4.0" Das Programm zur Veranstaltung finden Sie unten angef?gt und auf der Webseite http://fg-arc.gi.de/veranstaltungen/architekturen-2014.html Die Teilnahmegeb?hr betr?gt 130 EUR f?r Nicht-GI-Mitglieder, die auch herzlich zur Teilnahme eingeladen sind. Zur Registrierung schreiben Sie bitte eine E-Mail an folgende Adresse: architekturen2014 at koziolek.de Bitte geben Sie in der E-Mail die folgenden Daten an: Betreff: Registrierung Architekturen 2014 Name: Organisation / Firma: Rechnungsanschrift: GI-Mitglied (ja/nein): Teilnahme am Abendevent 7.7. (ja/nein): Teilnahme am Arbeitskreis MDA (ja/nein): Teilnahme am Arbeitskreis L2S2 (ja/nein): Ich w?rde mich freuen, Sie dort begr?ssen zu d?rfen. Mit besten Gr??en Florian Matthes Sprecher der Fachgruppe Architekturen im FB SWT der GI ============================================= Call for Participation ARCHITEKTUREN 2014 Jahrestagung der GI-Fachgruppe "Architekturen" 07.-08. Juli 2014 ABB Forschungszentrum in Ladenburg (bei Mannheim) http://fg-arc.gi.de/veranstaltungen/architekturen-2014.html ============================================= Das Motto der diesj?hrigen Veranstaltung lautet: "Architekturen f?r die Industrie 4.0" Die vierte industrielle Revolution bezeichnet die Reorganisation von industriellen Produktionsprozessen zur umfassenden Ausnutzung der M?glichkeiten sogenannter Cyber-Physischen Systemen. Dabei verschmelzen physikalische und virtuelle Welt unter einer zunehmender Vernetzung. Dies soll zur Realisierung wandlungsf?higer, ressourceneffizienter und ergonomischer Produktionsprozesse f?hren. Dazu werden im Rahmen von Vortr?gen aus Wissenschaft, Technologietransfer und Industrie entsprechende L?sungsans?tze aus Perspektive des Softwarearchitekten diskutiert. ============================================= ANMELDUNG Die Anmeldung k?nnen Sie nun vornehmen: http://fg-arc.gi.de/veranstaltungen/architekturen-2014/anmeldung.html ANREISE http://fg-arc.gi.de/veranstaltungen/architekturen-2014/tagungsort.html UNTERKUNFT http://fg-arc.gi.de/veranstaltungen/architekturen-2014/unterkunft.html Bitte beachten Sie das nur bis zum 22.05. reservierte Zimmerkontingent im Hotel Leonardo nahe des ABB Forschungszentrums in Ladenburg. (Stichwort: Architekuren 2014) ============================================= PROGRAMM Montag, 7.7.2014 09:00 Arbeitskreistreffen AK-MDA, Steffen Becker, Universit?t Paderborn 12:00 Mittagessen 13:00 Er?ffnung der Haupttagung, Jan-Henning Fabian, ABB 13:30 Auf dem Weg zur Industrie 4.0 Referenzarchitektur, Friedrich Vollmar, IBM 14:00 Safety und Security in der Industrie 4.0, Mario Trapp, Fraunhofer IESE 14:30 Entwurfstechniken f?r die flexible Vernetzung in Produktionsanlagen, Matthias Meyer, Universit?t Paderborn 15:00 Pause 15:30 Agentenbasierte Architektur f?r die Dynamische Rekonfiguration von Cyber-Physical-Production-Systems, Birgit Vogel-Heuser, TU M?nchen 16:00 Forschungsbedarf f?r Cyber-Physical Systems im Kontext der Industrie 4.0, Stefan Kowalewski, RWTH Aachen 16:30 ?ffentliche Sitzung der GI-Fachgruppe Architekturen, Florian Matthes, Matthias Riebisch, TU M?nchen, Universit?t Hamburg 17:30 Pause 18:00 Rundgang ABB Automation Forum 19:00 Abendessen 22:00 Ende Tag 1 Dienstag, 8.7.2014 09:00 Architectural Refactoring for Cloud, Olaf Zimmermann, Hochschule Rapperswil 09:30 Innovating Internet Of Things, Stefan Ried, Forrester Research 10:00 The Automation Cloud, Thomas Goldschmidt, ABB 10:30 Pause 11:00 Von Produktlinien zu SW-?kosystemen: Konzepte, Methoden, Werkzeuge, Klaus Schmid, Universit?t Hildesheim 11:30 Laufzeitsysteme f?r Plug&Produce, Christian Buckl, fortiss 12:00 N.N. 12:30 Abschluss Haupttagung, Heiko Koziolek, ABB 13:00 Mittagessen 14:00 Arbeitskreistreffen AK-L2S2, Stefan Sauer, Universit?t Paderborn 18:00 Ende Tag 2 ============================================= ORGANISATOREN Heiko Koziolek, ABB Forschungszentrum Ladenburg Dominik Domis, ABB Forschungszentrum Ladenburg Thomas Goldschmidt, ABB Forschungszentrum Ladenburg -------------- next part -------------- An HTML attachment was scrubbed... URL: From cesar.a.munoz at nasa.gov Tue Jun 10 21:08:02 2014 From: cesar.a.munoz at nasa.gov (MUNOZ, CESAR (LARC-D320)) Date: Tue, 10 Jun 2014 19:08:02 +0000 Subject: [fg-arc] [fm-announcements] Fourth Verified Software Competition (VSComp), 14-16 June, 2014 Message-ID: Fourth Verified Software Competition (VSComp) 2014 14-15 June 2014 http://vscomp.org Organizers: Ernie Cohen, Marcelo Frias, Peter M?ller, Natarajan Shankar The Fourth Verified Software Competition (VSComp) aims to showcase the progress in verification technology. The competition will occur over 48 hours during the weekend of 14/15 June starting with the publication of the challenge problems at 0900 GMT of Sat June 14 and ending with the submission deadline for the solutions at 0900 GMT of Mon June 16. Teams of up to three individuals can register to participate just prior to the start of the competition at http://vscomp.org. The competition will consist of five verification challenges (with possible sub-problems) spanning a range of domains, including (but not limited to) sequential and concurrent algorithms, refinement, assertional verification, and metatheory. Teams will have to solve the challenge problems using mechanized tools. Teams are allowed to use multiple tools to tackle the challenges. Only the best three problem solutions from each team will be taken into consideration for evaluating team performance. An FAQ Wiki page will be maintained at the website to clarify questions that might come up before or during the competition. After the competition, solutions will be made publicly available for peer review by the other teams. Teams should be available to answer questions during the peer review process, and if necessary, be prepared to make their verification tools available for experimentation. Based on the results of the peer review, the organizers will evaluate the solutions for correctness, completeness, and clarity. The winners will be given short speaking slots at VSTTE 2014 which takes place in Vienna during July 17, 18, 2014. The competition will run on an honor system to ensure that above guidelines are being followed by each of the teams. We especially encourage the participation of all-student teams and teams that are using tools developed by others. Questions or comments about the contest should be sent to vscomp2014 at gmail.com. --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From grlmc at urv.cat Sat Jun 7 22:12:05 2014 From: grlmc at urv.cat (GRLMC) Date: Sat, 7 Jun 2014 22:12:05 +0200 Subject: [fg-arc] BigDat 2015: June 23, 2014 - 1st registration deadline Message-ID: <858CD2810A98464EBBBB089D734C9BA8@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ***************************************************** INTERNATIONAL WINTER SCHOOL ON BIG DATA BigDat 2015 Tarragona, Spain January 26-30, 2015 Organized by Rovira i Virgili University http://grammars.grlmc.com/bigdat2015/ ***************************************************** --- 1st registration deadline: June 23, 2014 --- ***************************************************** AIM: BigDat 2015 is a research training event for graduates and postgraduates in the first steps of their academic career. It aims at updating them about the most recent developments in the fast developing area of big data, which covers a large spectrum of current exciting research, development and 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. All big data subareas will be displayed, namely: foundations, infrastructure, management, search and mining, security and privacy, and applications. Main challenges of analytics, management and storage of big data will be identified through 5 keynote lectures and 23 six-hour courses, which will tackle the most lively and promising topics. The organizers believe outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. ADDRESSED TO: Graduate and postgraduates from around the world. There are no formal pre-requisites in terms of academic degrees. However, since there will be differences in the course levels, specific knowledge background may be required for some of them. BigDat 2015 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. They will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. REGIME: In addition to keynotes, 3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another. VENUE: BigDat 2015 will take place in Tarragona, located 90 kms. to the south of Barcelona. The venue will be: Campus Catalunya Universitat Rovira i Virgili Av. Catalunya, 35 43002 Tarragona KEYNOTE SPEAKERS: Ricardo Baeza-Yates (Yahoo! Research Labs, Barcelona), Big Data or Right Data? - to be confirmed - Ian Foster (Argonne National Laboratory), tba Geoffrey C. Fox (Indiana University, Bloomington), tba C. Lee Giles (Pennsylvania State University, University Park), tba William D. Gropp (University of Illinois, Urbana-Champaign), tba COURSES AND PROFESSORS: Hendrik Blockeel (Katholieke Universiteit Leuven), [intermediate] Decision Trees for Big Data Analytics Diego Calvanese (Free University of Bozen-Bolzano), [introductory/intermediate] End-User Access to Big Data Using Ontologies Jiannong Cao (Hong Kong Polytechnic University), [introductory/intermediate] Programming with Big Data Edward Y. Chang (HTC Corporation, New Taipei City), tba 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), tba 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 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?n-Vide (Tarragona, chair) Florentina Lilica Voicu (Tarragona) REGISTRATION: It has to be done at http://grammars.grlmc.com/bigdat2015/registration.php 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 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 --- Este mensaje no contiene virus ni malware porque la protecci?n de avast! Antivirus est? activa. http://www.avast.com From hasselbring at email.uni-kiel.de Tue Jun 10 22:44:50 2014 From: hasselbring at email.uni-kiel.de (Wilhelm (Willi) Hasselbring) Date: Tue, 10 Jun 2014 21:44:50 +0100 Subject: [fg-arc] Aufruf zur Teilnahme Jahrestagung "Architekturen 2014" zum Thema Industrie 4.0 In-Reply-To: <1e1397595fb94acca7105e22955b7f0c@AMSPR06MB533.eurprd06.prod.outlook.com> References: <1e1397595fb94acca7105e22955b7f0c@AMSPR06MB533.eurprd06.prod.outlook.com> Message-ID: <53976E42.7070105@email.uni-kiel.de> [siehe auch den Anhang f?r Details] ============================================= Call for Participation ARCHITEKTUREN 2014 Jahrestagung der GI-Fachgruppe "Architekturen" 07.-08. Juli 2014 ABB Forschungszentrum in Ladenburg (bei Mannheim) http://fg-arc.gi.de/veranstaltungen/architekturen-2014.html ============================================= Das Motto der diesj?hrigen Veranstaltung lautet: "Architekturen f?r die Industrie 4.0" Die vierte industrielle Revolution bezeichnet die Reorganisation von industriellen Produktionsprozessen zur umfassenden Ausnutzung der M?glichkeiten sogenannter Cyber-Physischen Systemen. Dabei verschmelzen physikalische und virtuelle Welt unter einer zunehmender Vernetzung. Dies soll zur Realisierung wandlungsf?higer, ressourceneffizienter und ergonomischer Produktionsprozesse f?hren. Dazu werden im Rahmen von Vortr?gen aus Wissenschaft, Technologietransfer und Industrie entsprechende L?sungsans?tze aus Perspektive des Softwarearchitekten diskutiert. ============================================= ANMELDUNG Die Anmeldung k?nnen Sie nun vornehmen: http://fg-arc.gi.de/veranstaltungen/architekturen-2014/anmeldung.html ANREISE http://fg-arc.gi.de/veranstaltungen/architekturen-2014/tagungsort.html UNTERKUNFT http://fg-arc.gi.de/veranstaltungen/architekturen-2014/unterkunft.html Bitte beachten Sie das nur bis zum 22.05. reservierte Zimmerkontingent im Hotel Leonardo nahe des ABB Forschungszentrums in Ladenburg. (Stichwort: Architekuren 2014) ============================================= PROGRAMM Montag, 7.7.2014 09:00 Arbeitskreistreffen AK-MDA, Steffen Becker, Universit?t Paderborn 12:00 Mittagessen 13:00 Er?ffnung der Haupttagung, Jan-Henning Fabian, ABB 13:30 Auf dem Weg zur Industrie 4.0 Referenzarchitektur, Friedrich Vollmar, IBM 14:00 Safety und Security in der Industrie 4.0, Mario Trapp, Fraunhofer IESE 14:30 Entwurfstechniken f?r die flexible Vernetzung in Produktionsanlagen, Matthias Meyer, Universit?t Paderborn 15:00 Pause 15:30 Agentenbasierte Architektur f?r die Dynamische Rekonfiguration von Cyber-Physical-Production-Systems, Birgit Vogel-Heuser, TU M?nchen 16:00 Forschungsbedarf f?r Cyber-Physical Systems im Kontext der Industrie 4.0, Stefan Kowalewski, RWTH Aachen 16:30 ?ffentliche Sitzung der GI-Fachgruppe Architekturen, Florian Matthes, Matthias Riebisch, TU M?nchen, Universit?t Hamburg 17:30 Pause 18:00 Rundgang ABB Automation Forum 19:00 Abendessen 22:00 Ende Tag 1 Dienstag, 8.7.2014 09:00 Architectural Refactoring for Cloud, Olaf Zimmermann, Hochschule Rapperswil 09:30 Innovating Internet Of Things, Stefan Ried, Forrester Research 10:00 The Automation Cloud, Thomas Goldschmidt, ABB 10:30 Pause 11:00 Von Produktlinien zu SW-?kosystemen: Konzepte, Methoden, Werkzeuge, Klaus Schmid, Universit?t Hildesheim 11:30 Laufzeitsysteme f?r Plug&Produce, Christian Buckl, fortiss 12:00 N.N. 12:30 Abschluss Haupttagung, Heiko Koziolek, ABB 13:00 Mittagessen 14:00 Arbeitskreistreffen AK-L2S2, Stefan Sauer, Universit?t Paderborn 18:00 Ende Tag 2 ============================================= ORGANISATOREN Heiko Koziolek, ABB Forschungszentrum Ladenburg Dominik Domis, ABB Forschungszentrum Ladenburg Thomas Goldschmidt, ABB Forschungszentrum Ladenburg -------------- next part -------------- A non-text attachment was scrubbed... Name: Architekturen2014-Programm_V2.pdf Type: application/pdf Size: 425255 bytes Desc: not available URL: From wadt2014 at gmail.com Sun Jun 15 19:10:40 2014 From: wadt2014 at gmail.com (2014 wadt) Date: Sun, 15 Jun 2014 20:10:40 +0300 Subject: [fg-arc] WADT 2014 - 3rd Call for Papers Message-ID: ====================================================================== THIRD CALL FOR PAPERS - Extension to abstract submission deadline! WADT 2014 22nd International Workshop on Algebraic Development Techniques http://wadt2014.cs.ovgu.de September 4-7, 2014, Sinaia, Romania NEW! Christoph Benzmueller and Rustan Leino will be the invited speakers of WADT 2014 ====================================================================== AIMS AND SCOPE The algebraic approach to system specification encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, it now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed and mobile systems). The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends. TOPICS OF INTEREST Typical, but not exclusive topics of interest are: - Foundations of algebraic specification - Other approaches to formal specification, including process calculi and models of concurrent, distributed and mobile computing - Specification languages, methods, and environments - Semantics of conceptual modelling methods and techniques - Model-driven development - Graph transformations, term rewriting and proof systems - Integration of formal specification techniques - Formal testing and quality assurance, validation, and verification WORKSHOP FORMAT AND LOCATION The workshop will take place over four days, Thursday to Sunday, at Hotel International Sinaia. Presentations will be selected on the basis of submitted abstracts. INVITED SPEAKERS Christoph Benzmueller (FU Berlin, Germany) Rustan Leino (Microsoft Research, USA) IMPORTANT DATES Submission deadline for abstracts: June 30, 2014 Notification of acceptance: July 7, 2014 Early registration: July 15, 2014 Final abstract due: July 25, 2014 Workshop in Sinaia: September 4-7, 2014 SUBMISSIONS The scientific programme of the workshop will include presentations of recent results and ongoing research. The presentations will be selected by the Steering Committee on the basis of submitted abstracts according to originality, significance and general interest. The abstracts must be up to two pages long including references. If a longer version of the condtribution is available, it can be made accessible on the web and referenced in the abstract. The abstracts have to be submitted electronically via the EasyChair system, at the URL http://www.easychair.org/conferences/?conf=wadt2014 PROCEEDINGS After the workshop, selected authors will be invited to submit full papers for the refereed proceedings, which will be published as a volume of Lecture Notes in Computer Science (Springer). SPONSORSHIP The workshop takes place under the auspices of IFIP WG 1.3. WADT STEERING COMMITTEE Michel Bidoit (France) Andrea Corradini (Italy) Jose Fiadeiro (UK) Rolf Hennicker (Germany) Hans-Jorg Kreowski (Germany) Till Mossakowski (Germany) [chair] Fernando Orejas (Spain) Francesco Parisi-Presicce (Italy) Grigore Rosu (United States) Andrzej Tarlecki (Poland) ORGANIZING COMMITTEE Razvan Diaconescu (Romania) Mihai Codescu (Germany) Ionut Tutu (UK) CONTACT INFORMATION Email: wadt2014 at gmail.com Homepage: http://wadt2014.cs.ovgu.de -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at urv.cat Sat Jun 14 22:02:09 2014 From: grlmc at urv.cat (GRLMC) Date: Sat, 14 Jun 2014 22:02:09 +0200 Subject: [fg-arc] TPNC 2014: 3rd call for papers Message-ID: <8B4C5507A0B64641B0393B9B712921B1@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************** ************** 3rd INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING TPNC 2014 Granada, Spain December 9-11, 2014 Organized by: Soft Computing and Intelligent Information Systems (SCI2S) University of Granada Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/tpnc2014/ **************************************************************************** ************** AIMS: TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2014 will reserve significant room for young scholars at the beginning of their career. It aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature. VENUE: TPNC 2014 will take place in Granada, in the region of Andaluc?a, to the south of Spain. The city is the seat of a rich Islamic historical legacy, including the Moorish citadel and palace called Alhambra. SCOPE: Topics of either theoretical, experimental, or applied interest include, but are not limited to: * Nature-inspired models of computation: - amorphous computing - cellular automata - chaos and dynamical systems based computing - evolutionary computing - membrane computing - neural computing - optical computing - swarm intelligence * Synthesizing nature by means of computation: - artificial chemistry - artificial immune systems - artificial life * Nature-inspired materials: - computing with DNA - nanocomputing - physarum computing - quantum computing and quantum information - reaction-diffusion computing * Information processing in nature: - developmental systems - fractal geometry - gene assembly in unicellular organisms - rough/fuzzy computing in nature - synthetic biology - systems biology * Applications of natural computing to: algorithms, bioinformatics, control, cryptography, design, economics, graphics, hardware, learning, logistics, optimization, pattern recognition, programming, robotics, telecommunications etc. A flexible "theory to/from practice" approach would be the perfect focus for the expected contributions. STRUCTURE: TPNC 2014 will consist of: - invited talks - peer-reviewed contributions INVITED SPEAKERS: Kalyanmoy Deb (East Lansing, US), Multi-Criterion Problem Solving: A Niche for Natural Computing Methods Marco Dorigo (Brussels, BE), Swarm Intelligence Francisco Herrera (Granada, ES), Bioinspired Real Parameter Optimization: Where We Are and What?s Next PROGRAMME COMMITTEE: Hussein A. Abbass (Canberra, AU) Uwe Aickelin (Nottingham, UK) Thomas B?ck (Leiden, NL) Christian Blum (San Sebasti?n, ES) Jinde Cao (Nanjing, CN) Vladimir Cherkassky (Minneapolis, US) Sung-Bae Cho (Seoul, KR) Andries P. Engelbrecht (Pretoria, ZA) Terence C. Fogarty (London, UK) Fernando Gomide (Campinas, BR) Inman Harvey (Brighton, UK) Francisco Herrera (Granada, ES) Tzung-Pei Hong (Kaohsiung, TW) Thomas Jansen (Aberystwyth, UK) Yaochu Jin (Guildford, UK) Okyay Kaynak (Istanbul, TR) Satoshi Kobayashi (Tokyo, JP) Soo-Young Lee (Daejeon, KR) Derong Liu (Chicago, US) Manuel Lozano (Granada, ES) Carlos Mart?n-Vide (Tarragona, ES, chair) Ujjwal Maulik (Kolkata, IN) Risto Miikkulainen (Austin, US) Frank Neumann (Adelaide, AU) Leandro Nunes de Castro (S?o Paulo, BR) Erkki Oja (Aalto, FI) Lech Polkowski (Warsaw, PL) Brian J. Ross (St. Catharines, CA) Marc Schoenauer (Orsay, FR) Biplab Kumar Sikdar (Shibpur, IN) Dipti Srinivasan (Singapore, SG) Darko Stefanovic (Albuquerque, US) Umberto Straccia (Pisa, IT) Thomas St?tzle (Brussels, BE) Ponnuthurai N. Suganthan (Singapore, SG) Johan Suykens (Leuven, BE) El-Ghazali Talbi (Lille, FR) Jon Timmis (York, UK) Fernando J. Von Zuben (Campinas, BR) Michael N. Vrahatis (Patras, GR) Xin Yao (Birmingham, UK) ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Carlos Garc?a-Mart?nez (C?rdoba) Carlos Mart?n-Vide (Tarragona, co-chair) Manuel Lozano (Granada, co-chair) Francisco Javier Rodr?guez (Granada) Florentina Lilica Voicu (Tarragona) SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, etc.) and should be prepared according to the standard format for the Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Submissions have to be uploaded to: https://www.easychair.org/conferences/?conf=tpnc2014 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference. A special issue of the journal Soft Computing (Springer, 2012 JCR impact factor: 1.124) 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 period for registration is open from April 5 to December 9, 2014. The registration form can be found at: http://grammars.grlmc.com/tpnc2014/Registration.php DEADLINES: Paper submission: July 17, 2014 (23:59h, CET) Notification of paper acceptance or rejection: August 24, 2014 Final version of the paper for the LNCS proceedings: September 7, 2014 Early registration: September 7, 2014 Late registration: November 25, 2014 Submission to the post-conference journal special issue: March 11, 2015 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: TPNC 2014 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: Universidad de Granada Universitat Rovira i Virgili --- Este mensaje no contiene virus ni malware porque la protecci?n de avast! Antivirus est? activa. http://www.avast.com From pc-chairs at di2014.org Mon Jun 16 10:02:32 2014 From: pc-chairs at di2014.org (=?utf-8?q?Frederic_Benhamou_=26_Milad_Doueihi_-__=23di2014_Co-Chairs?=) Date: Mon, 16 Jun 2014 10:02:32 +0200 Subject: [fg-arc] #di2014 Conference - Registration is now open! Message-ID: <20140616080304.9EC9A474A2C@smtp.univ-nantes.fr> An HTML attachment was scrubbed... URL: From raoul.strackx at cs.kuleuven.be Fri Jun 20 14:53:21 2014 From: raoul.strackx at cs.kuleuven.be (Raoul Strackx) Date: Fri, 20 Jun 2014 14:53:21 +0200 Subject: [fg-arc] [ESSoS'15] Call for Papers Message-ID: <53A42EC1.8030506@cs.kuleuven.be> Call for papers ESSoS International Symposium on Engineering Secure Software and Systems (ESSoS) March 4 - 6, 2015, Milan, Italy https://distrinet.cs.kuleuven.be/events/essos/2015/calls-papers.html In cooperation with: (pending) ACM SIGSAC and SIGSOFT and IEEE CS (TCSP) CONTEXT AND MOTIVATION Trustworthy, secure software is a core ingredient of the modern world. So is the Internet. Hostile, networked environments, like the Internet, can allow vulnerabilities in software to be exploited from anywhere. To address this, high-quality security building blocks (e.g., cryptographic components) are necessary, but insufficient. Indeed, the construction of secure software is challenging because of the complexity of modern applications, the growing sophistication of security requirements, the multitude of available software technologies and the progress of attack vectors. Clearly, a strong need exists for engineering techniques that scale well and that demonstrably improve the software's security properties. GOAL AND SETUP The goal of this symposium, which will be the sixth in the series, is to bring together researchers and practitioners to advance the states of the art and practice in secure software engineering. Being one of the few conference-level events dedicated to this topic, it explicitly aims to bridge the software engineering and security engineering communities, and promote cross-fertilization. The symposium will feature two days of technical program. In addition to academic papers, the symposium encourages submission of high-quality, informative industrial experience papers about successes and failures in security software engineering and the lessons learned. Furthermore, the symposium also accepts short idea papers that crisply describe a promising direction, approach, or insight. TOPICS Paper submissions are solicited in all areas relating to secure software and secure systems research, including but not limited to: - Cloud security, virtualization for security - Mobile devices security - Automated techniques for vulnerability discovery and analysis - Model checking for security - Binary code analysis, reverse-engineering - Programming paradigms, models, and domain-specific languages for security - Operating system security - Verification techniques for security properties - Malware: detection, analysis, mitigation - Security in critical infrastructures - Security economics - Security by design - Static and dynamic code analysis for security - Web applications security - Program rewriting techniques for security - Security measurements - Empirical secure software engineering - Security-oriented software reconfiguration and evolution - Computer forensics - Processes for the development of secure software and systems - Human-computer interaction for security - Security testing - Embedded software security IMPORTANT DATES Abstract submission: September 8, 2014 Paper submission: September 15, 2014 Author notification: November 17, 2014 Camera-ready: December 7, 2014 SUBMISSION AND FORMAT The proceedings of the symposium are published by Springer-Verlag in the Lecture Notes in Computer Science Series (http://www.springer.com/lncs). Submissions should follow the formatting instructions of Springer LNCS. Submitted papers must present original, non-published work of high quality. For selected papers, there will be an invitation to submit extended versions to a special issue in the International Journal of Information Security. Two types of papers will be accepted: - FULL PAPERS (max 14 pages without bibliography/appendices) - May describe original technical research with a solid foundation, such as formal analysis or experimental results, with acceptance determined mostly based on novelty and validation. Or, may describe case studies applying existing techniques or analysis methods in industrial settings, with acceptance determined mostly by the general applicability of techniques and the completeness of the technical presentation details. - IDEA PAPERS (max 8 pages with bibliography) - May crisply describe a novel idea that is both feasible and interesting, where the idea may range from a variant of an existing technique all the way to a vision for the future of security technology. Idea papers allow authors to introduce ideas to the field and get feedback, while allowing for later publication of complete, fully-developed results. Submissions will be judged primarily on novelty, excitement, and exposition, but feasibility is required, and acceptance will be unlikely without some basic, principled validation (e.g., extrapolation from limited experiments or simple formal analysis). In the proceedings, idea papers will clearly identified by means of the "Idea" tag in the title. STEERING COMMITTEE Jorge Cuellar (Siemens AG) Wouter Joosen (Katholieke Universiteit Leuven) - chair Fabio Massacci (Universit? di Trento) Gary McGraw (Cigital) Bashar Nuseibeh (The Open University) Daniel Wallach (Rice University University) ORGANIZING COMMITTEE General chair: Stefano Zanero (Politecnico di Milano, IT) Program co-chairs: Frank Piessens (Katholieke Universiteit Leuven, BE); Juan Caballero (IMDEA Software Institute, ES) Doctoral Symposium co-chairs: Haris Mouratidis (University of Brighton , UK); Federico Maggi (Politecnico di Milano, IT); Christos Kalloniatis (University of the Aegean, Greece) Publication chair: Nataliia Bielova (INRIA Sophia Antipolis-M?diterran?e, FR) Industry chair: Luca Compagna (SAP Product Security Research, FR) Publicity chair: Raoul Strackx (Katholieke Universiteit Leuven, BE) Local arrangements chair: TBA Web chair: Ghita Saevels (Katholieke Universiteit Leuven, BE) PROGRAM COMMITTEE Aslan Askarov, Harvard University, US Leyla Bilge, Symantec Research Labs, FR Stefano Calzavara, Universit? Ca' Foscari Venezia, IT Lorenzo Cavallaro, Royal Holloway, University of London, UK Bruno Crispo, University of Trento, IT Werner Dietl, University of Waterloo, CA Michael Franz, University of California, Irvine, US Christian Hammer, Saarland University, DE Marieke Huisman, University of Twente, NL Somesh Jha, University of Wisconsin, US Martin Johns, SAP Research, DE Christian Kreibich, Lastline, US Zhenkai Liang, National University of Singapore, SG Jay Ligatti, University of South Florida, US Nick Nikiforakis, Stony Brook University, US Georgios Portokalidis, Stevens Institute of Technology, US Joachim Posegga, University of Passau, DE Alexander Pretschner, Technische Universit?t M?nchen, DE Tamara Rezk, INRIA, FR Konrad Rieck, University of G?ttingen, DE Andrei Sabelfeld, Chalmers University of Technology, SE Ahmad-Reza Sadeghi, TU Darmstadt, DE Asia Slowinska, Vrije Universiteit Amsterdam, NL Pierre-Yves Strub, IMDEA Software Institute, ES Carmela Troncoso, Gradiant, ES Xiaofeng Wang, Indiana University, US Mohammad Zulkernine, Queen's University, CA Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm From dsp at iai.uni-bonn.de Sun Jun 22 20:08:14 2014 From: dsp at iai.uni-bonn.de (Daniel Speicher) Date: Sun, 22 Jun 2014 20:08:14 +0200 Subject: [fg-arc] SKY 2014 CFP - 5th International Workshop on Software Knowledge (Rome/Italy) Message-ID: <53A71B8E.40608@iai.uni-bonn.de> CALL FOR PAPERS 5th International Workshop on Software Knowledge SKY website: http://www.ic3k.org/SKY.aspx October 22, 2014 Rome, Italy In Cooperation with: ERCIM, AAAI, ACM SIGMIS, ACM SIGART and IKMS Sponsored by: INSTICC INSTICC is Member of: FIPA, WfMC and OMG Logistics Partner: SCITEVENTS CO-CHAIRS: Iaakov Exman, JCE - The Jerusalem College of Engineering, Israel Juan Llorens, Carlos III University of Madrid, Spain Anabel Fraga, Carlos III University of Madrid, Spain Juan Miguel Gomez, Carlos III University of Madrid, Spain IMPORTANT DATES: Paper Submission: July 18, 2014 Authors Notification (regular papers): July 31, 2014 Final Regular Paper Submission and Registration: August 12, 2014 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - ?Software Knowledge? ? in short SKY ? means that software in its higher abstraction levels is a new kind of knowledge, Runnable knowledge. Thus, the classes and relationships of a software UML diagram are easily viewed as the classes and relationships of a knowledge ontology. For further details visit SoftwareKnowledge.org. The main theme of the SKY2014 Workshop is Requirements and Software Knowledge. Time is ripe to investigate the promising implications of Software Knowledge ideas to real life Software Systems? Requirements. SKY2014 topics of relevance include but are not limited to: Software-Knowledge Requirements, Tools and Operations - Software-Knowledge Requirements for Large Scale Systems - Abstract Operations for Industrial Applications - Software-Knowledge selectivity and traceability - Software-Knowledge Sharing: Meta-models, interchange formats, and tools - Knowledge Driven Architecture and Engineering Software-Knowledge Runnability and Meaning - Ontologies in complex systems - Ontologies for Software Requirements verification - Semantics above and beyond design patterns - Runnable and testable knowledge representations - Software-Knowledge representation and modeling - Web dynamics and interestingness SKY is a satellite workshop of the IC3K 2014 Conference (http://www.ic3k.org/), to be held in Rome, Italy on October 21 - 24, 2014. It will be sponsored by the Institute for Systems and Technologies of Information and Control and Communication (INSTICC) and held in cooperation with the European Research Consortium for Informatics and Mathematics (ERCIM), Association for the Advancement of Artificial Intelligence (AAAI), ACM Special Interest Group on Management Information Systems (ACM SIGMIS), ACM Special Interest Group on Artificial Intelligence (ACM SIGART) and Information & Knowledge Management Society (IKMS). INSTICC is Member of the Foundation for Intelligent Physical Agents (FIPA), Workflow Management Coalition (WfMC) and Object Management Group (OMG). The Logistics Partner is the Science and Technology Events (SCITEVENTS). Submitted papers will be subject to a double-blind review process. All accepted papers will be published in the workshop proceedings, under an ISBN reference, on paper and CD-ROM support. The proceedings will be submitted for indexation by Thomson Reuters Conference Proceedings Citation Index (ISI), INSPEC, DBLP, EI (Elsevier Index) and Scopus. All presented papers will be also available at the SCITEPRESS Digital Library (http://www.scitepress.org/DigitalLibrary). SCITEPRESS is a member of CrossRef (http://www.crossref.org/). For more details, please take a look at the workshop website available at http://www.ic3k.org/SKY.aspx Should you have any question or suggestions please don?t hesitate to contact me. Kind regards, Vera Coelho IC3K Secretariat Av. D. Manuel I, 27A 2.Esq. 2910-595 Setubal, Portugal Tel.: +351 265 100 033 Fax: +44 203 014 8813 Email: ic3k.secretariat at insticc.org -- GPG/PGP KeyID: 0xD15FCEF6 Daniel Speicher University of Bonn +49 (0228) 73-4315 Institute of Computer Science III dsp at iai.uni-bonn.de Roemerstrasse 164 http://sewiki.iai.uni-bonn.de/dsp D-53117 Bonn From ahmed at cs.queensu.ca Mon Jun 23 21:00:27 2014 From: ahmed at cs.queensu.ca (Ahmed E. Hassan) Date: Mon, 23 Jun 2014 15:00:27 -0400 Subject: [fg-arc] ICSME 2014 CFP - ERA/Tool Demo/Doctoral Symposium/Industry Tracks Message-ID: ============================================ ICSME 2014 CFP - ERA/Tool Demo/Doctoral Symposium/Industry Tracks ============================================ 30th IEEE International Conference on Software Maintenance and Evolution Sept 29 - Oct 3, 2014 - Victoria, British Columbia, Canada http://icsme2014.org/ Twitter: @IEEEICSME Sponsored by IEEE Computer Society Technical Council on Software Engineering (TCSE) ============================================ The deadline for the ERA/Tool Demo/Doctoral Symposium/Industry tracks is approaching! Please read below and refer to the web page for further information. ================================ IMPORTANT DATES ================================ Abstract submission: June 23, 2014 (optional) Full papers submission: June 30, 2014 Notification: July 31, 2014 Camera-ready: August 7, 2014 *** One week submission 'Grace Period' for all paper tracks *** Authors can update the PDF file for a paper submitted by the submission deadline for one week. No new papers will be accepted during the grace period. ================================ ERA Track ================================ The goal of the Early Research Achievements (ERA) track is to provide researchers and practitioners with a forum for presenting great, promising ideas in early stages of research. These ideas do not require a strong empirical evaluation! The 2014 ERA track aims to provide constructive feedback to guide you from your initial idea and limited evaluation towards a solid ICSME 2014 paper with strong empirical underpinnings. The topics of interest for this track are the same as for the main research track, i.e., all the topics in the research and practice of software maintenance and evolution. Papers submitted to the ERA track must not have been accepted previously for publication or submitted for review to another conference, journal, or book. Further details are available at: http://www.icsme.org/call-for-papers/era-track-cfp ================================ Doctoral Symposium Track ================================ As with previous editions, ICSME 2014 will feature a double doctoral symposium: Pre-doctoral: The first part is dedicated to PhD students in the midst of their doctoral studies in the field of software maintenance, who intend to finish their PhD within the next two years (2015-2016). This symposium aims to provide PhD students with an opportunity to present their ongoing work, to interact with other researchers in the field, and to get constructive feedback from senior researchers. Participants will discuss their goals, methods, and results at an early stage in their research. Post-doctoral: The second part is dedicated to researchers who have delivered their PhD dissertations in the area of software maintenance and evolution within the last 2 years (2012-2014). This symposium aims to provide a forum for post-docs to present the highlights of their work to the ICSME community. Moreover, participants will be asked to reflect on the PhD process itself, and share some lessons learned with PhD students as well as PhD advisors. Further details are available at: http://www.icsme.org/call-for-papers/doctoral-symposium ================================ Industrial Track ================================ This track brings together participants from academia and industry in a venue that highlights practical and real-world studies of software maintenance and evolution. This track aims to foster mutually-beneficial links between those engaged in scientific research and practitioners working to improve software maintenance and evolution practices. Experiences from practitioners provide crucial input into future research directions and allow others to learn from successes and failures. Further details are available at: http://www.icsme.org/call-for-papers/industry-track-cfp ================================ Tool Demo Track ================================ This track provides an opportunity for researchers and practitioners to present and discuss the most recent advances, experiences, and challenges in the field of software maintenance with the goal of allowing live presentation of new research tools. Whether the tools are early research prototypes or polished tools prepared for commercialization (but not yet commercialized), this track provides the perfect opportunity to reach an international audience of researchers and practitioners, and solicit critical feedback. Further details are available at: http://www.icsme.org/call-for-papers/tool-demo-track-cfp ================================ CHAIRS ================================ General Chair: Hausi A. Mu?ller, University of Victoria, Canada Research Track Co-Chairs: Leon Moonen, Simula Research Laboratory, Norway Lori, Pollock, University of Delaware, USA Industry Track Co-Chairs: Grace Lewis, Carnegie Mellon SEI, USA Marin Litoiu, York University, Canada Carl Worms, Credit Suisse, Switzerland ERA Track Co-Chairs: Andy Zaidman, TU Delft, The Netherlands Denys Poshyvanyk, College of William and Mary, USA Tool Demo Co-Chairs: Abram Hindle, University of Alberta, Canada Daniel German, University of Victoria, Canada Doctoral Symposium Co-Chairs: James Cordy, Queen's University, Canada Margaret-Anne Storey, University of Victoria, Canada -------------- next part -------------- An HTML attachment was scrubbed... URL: From amedeo.napoli at loria.fr Tue Jun 24 18:06:27 2014 From: amedeo.napoli at loria.fr (Amedeo Napoli) Date: Tue, 24 Jun 2014 18:06:27 +0200 (CEST) Subject: [fg-arc] Postdoc position: Knowledge Discovery for biomarker identification In-Reply-To: <1047175943.5126533.1403625920885.JavaMail.zimbra@loria.fr> Message-ID: <1870489271.5126969.1403625987691.JavaMail.zimbra@loria.fr> ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Postdoc position available at INRA Clermont-Ferrand -- LORIA/Inria Nancy Grand Est Knowledge Discovery for biomarker identification (Knowledge Discovery based on Formal Concept Analysis, pattern mining and preferences, for the identification of early predictive biomarkers of diseases) Location: Clermont-Ferrand - Nancy Duration: 2 years Keywords: biomarker, prediction, Formal Concept Analysis, knowledge discovery, multi-dimensional modeling. Description of the task. The goal of the project is to identify predictive (bio)markers of the evolution of health status toward metabolic syndrome development (from metabolomics signatures, socio-economic parameters and ``food habits''), with the objective of building a model and determining whether the integration of multidimensional parameters improves prediction. Finally, this approach should allow to identify determinants of the evolution of health status. In this project, the volume of data is very important and data are as well heterogeneous (both numerical and symbolic). The integration of large volumes of data can be guided by domain knowledge and be supported by a data schema considered as a mediation system (virtual integration needing correspondences between data sources). This global schema can be based on a concept lattice and defined for materializing the characteristics and the correspondences between data sources. The concept lattice provides a classification structure that can be used for various tasks, such as data indexing, information retrieval, data mining, data modeling, and reasoning. The concept lattice is built thanks to Formal Concept Analysis (FCA), which can be considered as a symbolic method for knowledge discovery (KD). It is also planned to use pattern mining methods for extracting frequent or rare patterns and association rules as well. In this context, the post-doc fellow?s research will consist in studying the set of data to be analyzed from a theoretical and practical point of view. The theoretical point of view consists in checking which symbolic KD methods are appropriate for analyzing the data and which kind of coupling with numerical KD methods could bring more useful results. The practical point of view consists in applying the given methods to the data to be analyzed and to interpret the results. Algorithms for FCA, pattern mining and numerical KD methods will be reused but new developments or adaptations are planned for carrying out this project. Application: The candidate should prepare a detailed CV including a complete bibliography, a motivation letter and recommendation letters as a single pdf file. This file should be sent by email to both contacts below. Contacts: Estelle Pujos-Guillot, INRA (Institut National de la Recherche Agronomique) UMR 1019 Human Nutrition Unit Research Centre of Clermont-Ferrand/Theix F-63122 St Gen?s Champanelle France Tel: +33 473 624 141 Email: estelle.pujos at clermont.inra.fr Amedeo Napoli, LORIA (CNRS - Inria Nancy Grand Est - Universit? de Lorraine) ?quipe Orpailleur - B?timent B BP 239, F-54506 Vandoeuvre-les-Nancy Tel: +33 383 592 068 Email: Amedeo.Napoli at loria.fr ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at urv.cat Sat Jun 28 18:18:55 2014 From: grlmc at urv.cat (GRLMC) Date: Sat, 28 Jun 2014 18:18:55 +0200 Subject: [fg-arc] SSTiC 2014: last-minute half-price registration Message-ID: <64ED2F13B08C44AA890B95683433B2B6@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************* 2014 TARRAGONA INTERNATIONAL SUMMER SCHOOL ON TRENDS IN COMPUTING SSTiC 2014 Tarragona, Spain July 7-11, 2014 Organized by Rovira i Virgili University http://grammars.grlmc.com/sstic2014/ ********************************************************************* --- Last-minute registration at half price! --- ********************************************************************* AIM: SSTiC 2014 is the second edition in a series started in 2013. For the previous event, see http://grammars.grlmc.com/SSTiC2013/ SSTiC 2014 will be a research training event mainly addressed to PhD students and PhD holders in the first steps of their academic career. It intends to update them about the most recent developments in the diverse branches of computer science and its neighbouring areas. To that purpose, renowned scholars will lecture and will be available for interaction with the audience. SSTiC 2014 will cover the whole spectrum of computer science through 6 keynote lectures and 21 six-hour courses dealing with some of the most lively topics in the field. The organizers share the idea that outstanding speakers will really attract the brightest students. ADDRESSED TO: Graduate students from around the world. There are no formal pre-requisites in terms of the academic degree the attendee must hold. However, since there will be several levels among the courses, reference may be made to specific knowledge background in the description of some of them. SSTiC 2014 is also appropriate for more senior people who want to keep themselves updated on developments in their own field or in other branches of computer science. They will surely find it fruitful to listen and discuss with scholars who are main references in computing nowadays. REGIME: In addition to keynotes, 3 parallel sessions will be held during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another. VENUE: SSTiC 2014 will take place in Tarragona, located 90 kms. to the south of Barcelona. The venue will be: Campus Catalunya Universitat Rovira i Virgili Av. Catalunya, 35 43002 Tarragona KEYNOTE SPEAKERS: Larry S. Davis (U Maryland, College Park), A Historical Perspective of Computer Vision Models for Object Recognition and Scene Analysis David S. Johnson (Columbia U, New York), Open and Closed Problems in NP-Completeness George Karypis (U Minnesota, Twin Cities), Top-N Recommender Systems: Revisiting Item Neighborhood Methods Steffen Staab (U Koblenz), Explicit and Implicit Semantics: Two Sides of One Coin Philip Wadler (U Edinburgh), You and Your Research and The Elements of Style Ronald R. Yager (Iona C, New Rochelle), Social Modeling COURSES AND PROFESSORS: Divyakant Agrawal (Qatar Computing Research Institute, Doha), [intermediate] Scalable Data Management in Enterprise and Cloud Computing Infrastructures Pierre Baldi (U California, Irvine), [intermediate] Big Data Informatics Challenges and Opportunities in the Life Sciences Rajkumar Buyya (U Melbourne), [intermediate] Cloud Computing John M. Carroll (Pennsylvania State U, University Park), [introductory] Usability Engineering and Scenario-based Design Kwang-Ting (Tim) Cheng (U California, Santa Barbara), [introductory/intermediate] Smartphones: Hardware Platform, Software Development, and Emerging Apps Amr El Abbadi (U California, Santa Barbara), [introductory] The Distributed Foundations of Data Management in the Cloud Richard M. Fujimoto (Georgia Tech, Atlanta), [introductory] Parallel and Distributed Simulation Mark Guzdial (Georgia Tech, Atlanta), [introductory] Computing Education Research: What We Know about Learning and Teaching Computer Science David S. Johnson (Columbia U, New York), [introductory] The Traveling Salesman Problem in Theory and Practice George Karypis (U Minnesota, Twin Cities), [intermediate] Programming Models/Frameworks for Parallel & Distributed Computing Aggelos K. Katsaggelos (Northwestern U, Evanston), [intermediate] Optimization Techniques for Sparse/Low-rank Recovery Problems in Image Processing and Machine Learning Arie E. Kaufman (U Stony Brook), [intermediate/advanced] Visualization Carl Lagoze (U Michigan, Ann Arbor), [introductory] Curation of Big Data Dinesh Manocha (U North Carolina, Chapel Hill), [introductory/intermediate] Robot Motion Planning Bijan Parsia (U Manchester), [introductory] The Empirical Mindset in Computer Science Robert Sargent (Syracuse U), [introductory] Validation of Models Steffen Staab (U Koblenz), [intermediate] Programming the Semantic Web Mike Thelwall (U Wolverhampton), [introductory] Sentiment Strength Detection for Twitter and the Social Web Jeffrey D. Ullman (Stanford U), [introductory] MapReduce Algorithms Nitin Vaidya (U Illinois, Urbana-Champaign), [introductory/intermediate] Distributed Consensus: Theory and Applications Philip Wadler (U Edinburgh), [intermediate] Topics in Lambda Calculus and Life ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Carlos Mart?n-Vide (Tarragona, chair) Florentina Lilica Voicu (Tarragona) REGISTRATION: It has to be done at http://grammars.grlmc.com/sstic2014/registration.php 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 when the capacity of the venue will be complete. It is very convenient to register prior to the event. DEADLINES AND FEES: As far as possible, participants are expected to attend for the whole (or most of the) week (full-time). Fees are a flat rate allowing one to participate to all courses. They vary depending on the registration deadline: Last-minute registration: July 5, 2014 --- 250 Euro On-site registration: July 11, 2014 --- 530 Euro ACCOMMODATION: Information about accommodation is available on the website of the School. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: SSTiC 2014 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 --- Este mensaje no contiene virus ni malware porque la protecci?n de avast! Antivirus est? activa. http://www.avast.com