From raoul.strackx at CS.KULEUVEN.BE Fri Aug 1 11:06:36 2014 From: raoul.strackx at CS.KULEUVEN.BE (Raoul Strackx) Date: Fri, 1 Aug 2014 11:06:36 +0200 Subject: [fg-arc] [ESSOS] International Symposium on Engineering Secure Software and Systems Message-ID: <53DB589C.2030904@cs.kuleuven.be> === Call for papers === Conference: International Symposium on Engineering Secure Software and Systems (ESSoS) Date: March 4 - 6, 2015 Venue: Milan, Italy Website: https://distrinet.cs.kuleuven.be/events/essos/2015/ 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 Demo submission: October 24, 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. == Demo Session Submission == This year we are planning to include a demonstration session in the symposium. If you are working on practical solutions to industrial-relevant problems in key areas of ESSOS, consider disseminating about your experience at our demonstration session. To be considered for presentation, a proposal describing the demonstration should be mailed to the Industry Chair, Luca Compagna (luca.compagna at sap.com). The following type of submission will be accepted: Demo presentation (short description, max 4 pages, not published in proceedings) - May shortly describe (i) the overall problem, (ii) the architecture underlying the system demonstrated, and (iii) one or more use case scenarios that present how the audience will gain an understanding of the underlying technology. Submissions will be evaluated based on the motivation of the work behind the use of the system to be demonstrated and its novelty. Demo presentations will not be included in the formal proceeding of ESSOS. == 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 Wenke Lee, Georgia Institute of Technology, 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 Kapil Singh, IBM Research, US 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 From aali at ltu.edu Tue Aug 5 14:41:23 2014 From: aali at ltu.edu (Ahad Ali) Date: Tue, 05 Aug 2014 08:41:23 -0400 Subject: [fg-arc] =?iso-8859-1?q?IEOM_2015_Dubai_-_Sponsored_by_IEEE_=26_I?= =?iso-8859-1?q?NFORMS=2C_Submission_deadline_-_August_30?= Message-ID: <20218981c1f6468a8969dab7c87f2d72@ltu.edu> Apologies for cross-posting Dear Colleagues: IEOM Society is organizing IEOM 2015 Conference in Dubai at Hyatt Regency during March 3-5, 2015. The event is sponsored by IEEE and INFORMS. All conference full papers will be published in the IEEE Xplore and indexed. Please follow IEEE format for full paper submission. You can present your research with abstract only as well. Please submit paper(s) or abstract(s) online: Online Paper/Abstract Submission Link: www.xcdsystem.com/ieom2015/ Submission deadline: August 30, 2014 Following are the key highlights of the program: . Keynote speakers o Dr. G. Don Taylor, Charles O. Gordon Professor and Department Head, Grad Department of Industrial and Systems Engineering, Virginia Tech, Blacksburg, VA, USA and Past IIE President (Opening Keynote) o Chris Smith; Vice President & Managing Director of Boeing Saudi Arabia o Dr. Chris Backhouse, Professor of Product Innovation, School of Mechanical and Manufacturing Engineering, Loughborough University, Leicestershire, UK o Dr. Leland Blank, Professor and Dean of Engineering, American University of Sharjah, UAE and Past IIE President . Global engineering education including a penal session Panelists: o Dr. Funso Falade, President, African Engineering Education Association o Dr. Hans-Juergen Hoyer, Secretary General of the International Federation for Engineering Education Societies (IFEES) o Dr. Abu Masud, Interim Dean of Graduate School and Boeing Global Engineering Professor at Wichita State University and o Dr. Hamid Parsaei, Professor of Industrial and Systems Engineering at Texas A&M University (College Station) and Associate Dean for Academic Affairs at Texas A&M University Qatar . Industry solutions . Operations excellence . Poster sessions . Capstone student paper competitions . Student paper completion . IEOM annual awards . Panel sessions . Town hall meetings . And many more You can see details in the conference website: www.iieom.org. All presentations of global engineering education, industry solutions and operations excellence will be published in the Conference CDROM proceedings. Based on all the programs and a unique diverse participants from more than 70 countries around the word, it would be a great value added event. I hope, you would not miss it. We look forward to seeing you in Dubai. Regards, Dr. Ahad Ali, Lawrence Technological University Conference Chair Majid Abab, The Boeing Co. and Resh Plaha, Crystal Quality, UK Industry Solutions Chairs Dr. Abdur Rahim, University of New Brunswick - Fredericton, Canada Honorary Chair IEOM Society www.iieom.org Join IEOM Society as a Member online: http://iieom.org/ieom/membership/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From riebisch at informatik.uni-hamburg.de Tue Aug 12 09:35:42 2014 From: riebisch at informatik.uni-hamburg.de (Riebisch, Matthias) Date: Tue, 12 Aug 2014 07:35:42 +0000 Subject: [fg-arc] =?iso-8859-1?q?Aufruf_f=FCr_Beitr=E4ge_zum_Doktorandensy?= =?iso-8859-1?q?mposium_der_SE_2015_-_bis_19=2E_Oktober?= Message-ID: Aufruf f?r Beitr?ge zum Doktorandensymposium der SE 2015 Das Symposium richtet sich an Doktorandinnen und Doktoranden aus allen Bereichen der Softwaretechnik, die ihr Promotionsthema bereits eingegrenzt haben und vom Feedback und Wissen erfahrener Wissenschaftlern und Wissenschaftlerinnen profitieren m?chten. *Ziele* Nachdem das Promotionsthema aufgestellt sind, m?ssen die Forschungsfragen klar formuliert werden, geeignete Methoden ausw?hlen, um den Gegenstand ihres Promotionsthemas fundiert zu erforschen. Auch die Frage, wie man den eigenen Ansatz wissenschaftlich evaluiert, sollte schon so fr?h wie m?glich gekl?rt sein. Dieses Doktorandensymposium hat zum Ziel, Hinweise f?r die Auswahl der Forschungsmethoden und Evaluationen der teilnehmenden Doktorandinnen und Doktoranden zu geben beziehungsweise zu bereits existierenden Pl?nen Feedback zu liefern. *Inhalt* Das Symposium ist als Workshop gedacht, in dem den Doktorandinnen und Doktoranden die M?glichkeit gegeben wird, ihre Forschungsfragen, gegebenenfalls auch erste Ergebnisse und insbesondere die Forschungsmethoden sowie Ideen zur Evaluation ihres Forschungsvorhaben erfahrenen Wissenschaftlern vorzustellen, um von diesen Feedback und Hilfestellungen zu bekommen, mit deren Hilfe sie ihre Vorhaben besser umsetzen k?nnen. Dar?ber hinaus bietet der Workshop die Gelegenheit, Kontakte zu anderen Forscherinnen und Forschern zu kn?pfen. *Einreichungen* Einzureichen ist ein Artikel mit maximal vier Seiten im LNI-Format. Der Artikel umrei?t kurz das Forschungsthema mit den genauen Fragen, die durch die Forschung beantwortet werden sollen, und beschreibt dann den geplanten Ansatz, diese Fragen zu beantworten, und schlie?lich die Ideen zur Evaluation. Die Autorschaft sollte beim Doktoranden/der Doktorandin liegen. Einreichungen erfolgen ?ber Easychair https://easychair.org/conferences/?conf=se2015 Akzeptierte Beitr?ge werden in den Tagungsband der SE 2015 aufgenommen. Es wird erwartet, dass sich bei Annahme der Autor/die Autorin als Teilnehmer zur Konferenz registriert und dort vortr?gt. *Programm-Komitee* Matthias Riebisch, Uni Hamburg (Vorsitz) Gregor Engels, Uni Paderborn Rainer Koschke, Uni Bremen Claus Lewerentz, TU Cottbus Horst Lichter, RWTH Aachen Lutz Prechelt, FU Berlin Kurt Schneider, Uni Hannover (Zusage steht teilweise noch aus) *Wichtige Daten* Einreichung von Beitr?gen: bis 19. Oktober 2014 Benachrichtigung: bis 15. November 2014 Beitr?ge f?r den Tagungsband: bis 5. Januar 2015 Doktorandensymposium SE2015: 18. M?rz 2015 *Links* Konferenz SE2015 http://swm2015.de/se-2015 Doktorandensymposium der SE 2015 http://swm2015.de/se-2015/tracks/doksym-se15 Einreichungen ?ber Easychair https://easychair.org/conferences/?conf=se2015 Dieser Aufruf als PDF http://st.inf.tu-dresden.de/se15/cfDok-SE15.pdf R?ckfragen und Kontakt mailto:doksym-se2015 at informatik.uni-hamburg.de From grlmc at urv.cat Fri Aug 15 10:40:57 2014 From: grlmc at urv.cat (GRLMC) Date: Fri, 15 Aug 2014 10:40:57 +0200 Subject: [fg-arc] BigDat 2015: August 23, registration deadline Message-ID: <9194BBA4D4134028AB75C95A55DD5347@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/ ***************************************************** --- 3rd registration deadline: August 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 4 keynote lectures and 24 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: Ian Foster (Argonne National Laboratory), tba Geoffrey C. Fox (Indiana University, Bloomington), Mapping Big Data Applications to Clouds and HPC C. Lee Giles (Pennsylvania State University, University Park), Scholarly Big Data: Information Extraction and Data Mining William D. Gropp (University of Illinois, Urbana-Champaign), tba COURSES AND PROFESSORS: Hendrik Blockeel (KU 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), [introductory/advanced] >From Design of Distributed and Online Algorithms to Hands-on Code Lab Practice on Real Datasets Ernesto Damiani (University of Milan), [introductory/intermediate] Process Discovery and Predictive Decision Making from Big Data Sets and Streams Gautam Das (University of Texas, Arlington), [intermediate/advanced] Mining Deep Web Repositories Maarten de Rijke (University of Amsterdam), tba Geoffrey C. Fox (Indiana University, Bloomington), [intermediate] Using Software Defined Systems to Address Big Data Problems Minos Garofalakis (Technical University of Crete, Chania) [intermediate/advanced], Querying Continuous Data Streams Vasant G. Honavar (Pennsylvania State University, University Park) [introductory/intermediate], Learning Predictive Models from Big Data Mounia Lalmas (Yahoo! Research Labs, London), [introductory] Measuring User Engagement Tao Li (Florida International University, Miami), [introductory/intermediate] Data Mining Techniques to Understand Textual Data Kwan-Liu Ma (University of California, Davis), [intermediate] Big Data Visualization Christoph Meinel (Hasso Plattner Institute, Potsdam), [introductory/intermediate] New Computing Power by In-Memory and Multicore to Tackle Big Data David Padua (University of Illinois, Urbana-Champaign), [intermediate] Data Parallel Programming Manish Parashar (Rutgers University, Piscataway), [intermediate] Big Data in Simulation-based Science Srinivasan Parthasarathy (Ohio State University, Columbus), [intermediate] Scalable Data Analysis Evaggelia Pitoura (University of Ioannina), [intermediate] Online Social Networks Vijay V. Raghavan (University of Louisiana, Lafayette), [introductory/intermediate] Visual Analytics of Time-evolving Large-scale Graphs Pierangela Samarati (University of Milan), [intermediate], Data Security and Privacy in the Cloud Peter Sanders (Karlsruhe Institute of Technology), [introductory/intermediate] Algorithm Engineering for Large Data Sets Johan Suykens (KU 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 Kristin.Y.Rozier at nasa.gov Sat Aug 16 07:23:59 2014 From: Kristin.Y.Rozier at nasa.gov (Kristin Yvonne Rozier) Date: Fri, 15 Aug 2014 22:23:59 -0700 Subject: [fg-arc] [fm-announcements] Call for Highlights: Aerospace America Intelligent Systems Year In Review Message-ID: <53EEEAEF.7030002@nasa.gov> All, Please consider submitting a highlight about your work! It is only 150 words and it would really help to call attention to the important role of formal methods in the future of aerospace! Cheers, Kristin *********************************************** Call for Highlights Intelligent Systems 2014 Year In Review Aerospace America magazine Due date: August 25, 2014 (firm) *********************************************** This is a call for submissions for the "Year In Review" December, 2014 issue of Aerospace America magazine. We are looking for summaries of interesting aerospace applications of intelligent systems, of approximately 150 words in length, with an accompanying graphic if possible. Each highlight will be integrated within an overall narrative, so key organizations/affiliations should be identified within the text to enable proper credit to be given; including a URL for further information on your work is required. The AIAA Intelligent Systems Technical Committee will select, from among all submissions received, six that will be highlighted in the year-end issue of Aerospace America magazine. ********************************************************************* SUBMISSION: ---------- Deadline: Monday, August 25, 2014 (firm) Submit through EasyChair: https://easychair.org/conferences/?conf=yir2014 ********************************************************************* HIGHLIGHT GUIDELINES: --------------------- * 150 words * describing an advancement in research relating to aerospace intelligent systems * describing work that occurred or is projected to occur between January and December, 2014 * identifying key organizations/affiliations * including a URL for further information and a word or phrase to hyperlink it to in the onine version of the article (Please list the word, phrase, or lab name to be hyperlinked after the highlight text, with the desired URL.) * with an accompanying graphic, if possible: include after the highlight text a URL for a high-resolution JPG; include photo credit and caption ********************************************************************* IMPORTANT DATES: --------------------- * Submission Deadline: August 25, 2014 (firm) * Notification of selection for Aerospace America article: September 1, 2014 * Proofs go out for author approval of AIAA ISTC newsletter: October 1, 2014 * Aerospace America article is published: December 1, 2014 * AIAA ISTC highlight newsletter is published: December 1, 2014 ********************************************************************* ARTICLE INFORMATION: -------------------- This article will cover the most important developments this year in aerospace intelligent systems. Breakthroughs, setbacks, and industry trends that have occurred during the past year, the reasons they are important, and their impact on the aerospace community are also relevant. More information on what types of aerospace systems qualify as intelligent is available here: https://info.aiaa.org/tac/isg/ISTC/Web%20Pages/What%20Is%20An%20Intelligent%20System.aspx. Aerospace America reaches 40,000 people in a broad cross section of disciplines. highlights should be written so that all of them are able to understand the content, without acronyms if possible. ********************************************************************* BACKGROUND: ----------- The AIAA Intelligent Systems Technical Committee (ISTC) is concerned with the application of Intelligent System (IS) technologies and methods to aerospace systems, the verification and validation of these systems, and the education of the AIAA membership in the use of IS technologies in aerospace and other technical disciplines. See the Intelligent Systems Technical Committee website for more information on our technology focus: https://info.aiaa.org/tac/ISG/ISTC/default.aspx. Previous years' print articles are available at https://ti.arc.nasa.gov/dev/profile/kyrozier/publications/#MagazineArticles. This year there will be two versions: a paper article with authors' designated hyperlink text bolded and an online article with the provided URL linked. Also, with author permission, all submitted highlights (not just the six selected for the article) will be included on the AIAA ISTC website and newsletter. Requests for permission and approval of camera-ready versions will go out on October 1, 2014. -- ____________________________________________________________ __ /\ \ \_____ / \ ###[==_____> / \ /_/ __ / __ \ \ \_____ | ( ) | ###[==_____> /| /\/\ |\ /_/ / | | | | \ / |=|==|=| \ Kristin Yvonne Rozier, Ph.D. / | | | | \ Research Computer Scientist / USA | ~||~ |NASA \ NASA Ames Research Center |______| ~~ |______| Phone: (650) 604-3197 (__||__) Fax: (650) 604-3594 /_\ /_\ !!! !!! http://ti.arc.nasa.gov/profile/kyrozier/ Any opinions expressed in this email are my own. --- 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 Gwen.Salaun at inria.fr Mon Aug 18 17:40:58 2014 From: Gwen.Salaun at inria.fr (Gwen.Salaun at inria.fr) Date: Mon, 18 Aug 2014 17:40:58 +0200 (CEST) Subject: [fg-arc] Postdoc Position on Verification of Asynchronously Communicating Systems, Inria/LIG, Grenoble, France Message-ID: <201408181540.s7IFewPi026580@ubac.inrialpes.fr> The Convecs team (Inria Grenoble Rh?ne-Alpes research center / LIG laboratory) recruits a postdoc. More information at: http://convecs.inria.fr/jobs/2014b.html Applications should be addressed directly to Gwen Sala?n, preferably by e-mail. Applications received after October 10th, 2014 might not be considered if a candidate has been selected already. From fsen2015 at ipm.ir Tue Aug 19 20:10:57 2014 From: fsen2015 at ipm.ir (Marjan Sirjani) Date: Tue, 19 Aug 2014 14:10:57 -0400 Subject: [fg-arc] Second Call for Papers: FSEN 2015 Message-ID: <53F39331.7040805@ipm.ir> An HTML attachment was scrubbed... URL: From taentzer at Mathematik.Uni-Marburg.de Wed Aug 20 10:10:27 2014 From: taentzer at Mathematik.Uni-Marburg.de (Gabriele Taentzer) Date: Wed, 20 Aug 2014 10:10:27 +0200 Subject: [fg-arc] =?utf-8?q?SE_2015_-_Aufruf_f=C3=BCr_Tutorienbeitr=C3=A4g?= =?utf-8?q?e_zur_Software_Engineering_Tagung_2015?= Message-ID: <53F457F3.700@mathematik.uni-marburg.de> Aufruf f?r Tutorienbeitr?ge zur Software Engineering Tagung 2015 Die deutsche Software Engineering Tagung ist das wichtigste j?hrliche Treffen der Software Engineering-Community im deutschsprachigen Raum. In diesem Jahr steht die Tagung unter dem Motto ?Sichere Cyber-Physikalische Systeme?. Tutorien sind ein wesentlicher Teil des Programms, da sie einen guten Einblick in aktuelle Themen des Software Engineering geben und zur Verbreitung des Wissens beitragen. ?hnlich wie das technisch-wissenschaftliche Hauptprogramm der SE 2015 folgt das Tutorienprogramm dem Konzept vor allem die besten internationalen Leistungen in Deutschland zu zeigen. Daher werden insbesondere Tutorien zur Einreichung aufgefordert, die bereits auf international renommierten Fachtagungen erfolgreich durchgef?hrt wurden. Dies k?nnen sowohl wissenschaftlich orientierte Tutorien sein, die auf renommierten wissenschaftlichen Tagungen gehalten wurden, als auch praktisch orientierte Tutorien, die bereits auf wichtigen Tagungen der industriellen Praxis erfolgreich angeboten wurden. In Abh?ngigkeit von der Verf?gbarkeit von R?umen k?nnen auch neue Tutorien akzeptiert werden. Einreichungen Vorschl?ge f?r Tutorien sollten die folgenden Informationen enthalten und nicht mehr als drei Seiten (LNI-Format) umfassen. 1. Angabe der Hauptkontaktperson mit vollst?ndigen Kontaktdaten, sowie Angaben zu weiteren Organisatoren. 2. Titel, Akronym, Thema (inkl. Motivation warum dieses Thema f?r die SE 2015 wichtig ist) 3. F?r Tutorien, die bereits gehalten wurden: Angabe der entsprechenden Events; jeweils mit Teilnehmerzahl und falls eine Bewertung durch Teilnehmerfeedback durchgef?hrt wurde, die letzte verf?gbare Bewertung. F?r neue Tutorien eine Kurzdarstellung, auf welchen Erfahrungen dieses Tutorium beruht. 4. Gew?nschte L?nge (Halb- / Ganztag-Tutorium) und Vorzugsdatum (17. oder 18. M?rz 2015) 5. Zusammenfassung (max. 150 Worte) f?r die Webseite der SE 2015. 6. Eine Erl?uterung des geplanten Ablaufs, dabei sollten stichwortartig die wesentlichen Inhalte dargestellt werden. Au?erdem sollte auf den Vermittlungsansatz (Vortrag, Diskussion, ?bung usw.) eingegangen werden. 7. Beispielmaterialien (bspw. bei Vortrag ca. 10 Folien, gegebenenfalls mit Erl?uterung). 8. Es wird ein eigener Beitrag zur Bewerbung der Tutorien erwartet: Darstellung der Werbestrategie. 9. Darstellung der notwendigen Raumausstattung und anderer organisatorischer Voraussetzungen. Bitte reichen Sie Ihre Vorschl?ge per Email an taentzer at informatik.uni-marburg.de ein. Die Konferenzorganisation beh?lt es sich vor, Tutorien mit weniger als 8 zahlenden Teilnehmern abzusagen. Eine Beschreibung der Tutorien im Umfang von 2 Seiten (LNI) wird in den Tagungsband aufgenommen. Bei Fragen wenden Sie sich bitte an die Verantwortliche f?r das Tutorienprogramm: Gabriele Taentzer, taentzer at informatik.uni-marburg.de Tutorial Komitee Gabriele Taentzer, Universit?t Marburg, (Vorsitz) Ina Sch?fer, TU Braunschweig, Michael Stal, Siemens, Stefan Wagner, Universit?t Stuttgart Wichtige Daten Einreichung von Tutorien-Vorschl?gen: bis 19. Oktober 2014 Benachrichtigung: bis 15. November 2014 Tutorienbeschreibung (f?r Tagungsband): bis 15. Dezember 2014 Tutorienunterlagen zur Vervielf?ltigung: bis 31. Januar 2015 -- ------------------------------------------ Prof. Dr. Gabriele Taentzer Philipps-Universit?t Marburg Fachbereich Mathematik und Informatik Hans-Meerwein-Str. D-35032 Marburg Phone: +49-6421-2821532 Email: taentzer at mathematik.uni-marburg.de ------------------------------------------ From zimmer at informatik.uni-halle.de Thu Aug 21 09:07:29 2014 From: zimmer at informatik.uni-halle.de (Prof. Dr. Wolf Zimmermann) Date: Thu, 21 Aug 2014 09:07:29 +0200 Subject: [fg-arc] =?utf-8?q?SE_2015_-_Aufruf_f=C3=BCr_Workshops_zur_Softwa?= =?utf-8?q?re_Engineering_Tagung_2015?= Message-ID: <53F59AB1.2010409@informatik.uni-halle.de> Aufruf f?r Workshops zur Software Engineering Tagung 2015 Die deutsche Software Engineering Tagung ist das wichtigste j?hrliche Treffen der Software Engineering-Community im deutschsprachigen Raum. In diesem Jahr steht die Tagung unter dem Motto ?Sichere Cyber-Physikalische Systeme?. Neben dem technisch-wissenschaftlichen Hauptprogramm stellt das Workshop-Programm immer einen wesentlichen Bestandteil des Tagungs-Programms dar. Durch das offene Workshop-Format ist es sogar in besonderer Weise m?glich neue Teilgebiete des Software Engineering zu f?rdern und eine starke Vernetzung und Kooperation von Wissenschaft und Praxis zu erreichen. Prinzipiell sind alle Themen mit klarem Software-Engineering-Bezug m?gliche Workshop-Themen. Einreichungen Vorschl?ge f?r Workshops sollten die folgenden Informationen enthalten und nicht mehr als drei Seiten umfassen. 1. Angabe der Hauptkontaktperson mit vollst?ndigen Kontaktdaten und zus?tzlichen Organisatoren 2. Darstellung des Erfahrungshintergrunds der Organisatoren (sowohl in Bezug auf Workshops als auch allgemein). 3. Gew?nschte L?nge (Halbtages- / Ganztages- Workshop) und bevorzugtes Datum (17. oder 18. Februar 2015) 4. Titel, Akronym, Thema (inkl. Motivation warum dieses Thema f?r die SE 2015 wichtig ist) 5. Erwartete Ergebnisse (Arbeitsziele) des Workshops 6. Zusammenfassung (max. 150 Worte) f?r die Workshopdarstellung auf der Webseite der SE 2015. Es wird erwartet, dass der Workshop bei Annahme eine eigene, zus?tzliche Webseite erstellt. 7. Eine Erl?uterung des geplanten Ablaufs, dabei sollte insbesondere deutlich werden welchen Umfang Diskussionen und welchen Vortr?ge haben werden und in welcher Weise die Organisatoren beabsichtigen die Diskussionen anzuregen. 8. Liste der Programm-Komitee-Mitglieder (Vorschl?ge und bereits eingeholte Zusagen) 9. Erl?uterung der Werbestrategie 10. Erl?uterung des Auswahlprozesses f?r Workshopbeitr?ge (dieser muss wissenschaftlichen Standards gen?gen) 11. Angabe der erwarteten und der minimalen Zahl der Teilnehmer. Bei neuen Workshops = begr?ndete Sch?tzung, bei Workshops, die zuvor bereits gehalten wurden: Erfahrungswerte. 12. Darstellung der notwendigen Raumausstattung und anderer organisatorischer Voraussetzungen. Die Vorschl?ge k?nnen jederzeit an wolf.zimmermann at informatik.uni-halle.de eingereicht werden. Um eine fr?hzeitige Organisation und Werbung zu erm?glichen, erhalten Sie innerhalb von vier Wochen eine Entscheidung. Bei Fragen wenden Sie sich bitte an den Verantwortlichen f?r das Workshop-Programm: Wolf Zimmermann, wolf.zimmermann at informatik.uni-halle.de. Akzeptierte Workshops m?ssen von den jeweiligen Organisatoren geeignet angek?ndigt werden. Die SE 2015 wird zus?tzlich einen gemeinsamen Call f?r alle Workshops ver?ffentlichen. Die Organisatoren werden gebeten, nachdem ihr Thema akzeptiert wurde, eine Webseite einzurichten, mit deren Hilfe sie die Teilnehmer ?ber Inhalte und zeitlichen Ablauf, sowie ?ber den Workshop imAllgemeinen informieren. Dar?ber hinaus k?nnen die Organisatoren eine zweiseitige Beschreibung des Workshops im Tagungsband ver?ffentlichen (LNI-Format). Die Konferenzorganisation beh?lt es sich vor Workshops mit weniger als 8 zahlenden Teilnehmern abzusagen. Workshop-Komitee Wolf Zimmermann, Universit?t Halle-Wittenberg, (Vorsitz) Andreas Both, Unister GmbH (Leipzig) Anne Koziolek, Karlsruhe Institute of Technology Klaus Schmid, Universit?t Hildesheim Wichtige Daten Einreichung von Vorschl?gen: bis 15.10.2014 Benachrichtigung: vier Wochen nach Einreichung Workshopbeschreibung (f?r Tagungsband): bis 1. Dezember 2014 Einreichung Workshop-Beitr?ge: bis 16. Dezember 2014 Benachrichtigung zu Workshop-Beitr?gen: bis 13. Januar 2015 Finale Beitr?ge: bis 27. Januar 2015 From Gwen.Salaun at inria.fr Thu Aug 21 12:58:17 2014 From: Gwen.Salaun at inria.fr (Gwen.Salaun at inria.fr) Date: Thu, 21 Aug 2014 12:58:17 +0200 (CEST) Subject: [fg-arc] ACM SAC 2015: Software Verification and Testing Track - Final CfP Message-ID: <201408211058.s7LAwHvO017834@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 ----------------- 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 Tingting Han, University of London, UK Fabrice Kordon, University Pierre et Marie Curie, France Stefan Leue, University of Konstanz, Germany Shaoying Liu, Hosei University, Japan 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 sebastian.goetz at acm.org Fri Aug 22 12:09:19 2014 From: sebastian.goetz at acm.org (=?ISO-8859-1?Q?Sebastian_G=F6tz?=) Date: Fri, 22 Aug 2014 12:09:19 +0200 Subject: [fg-arc] Call for Papers - SOFTWARE ENGINEERING IDEEN TRACK @ SE 2015 Message-ID: SE 2015 - SOFTWARE ENGINEERING IDEEN TRACK Aufruf zur Einreichung von Beitraegen fuer den *Software*Engineering*Ideen*Track* der SE 2015 UEBER DIE SE 2015 UND DEN SEI-TRACK Die Software-Engineering-Tagung ist das wichtigste jaehrliche Treffen der Software-Engineering-Community im deutschsprachigen Raum. Ein besonderer Schwerpunkt der SE 2015 ist das Thema "Sichere cyber-physikalische Systeme". Das Ziel des Software-Engineering-Ideen-Tracks ist, ein Forum fuer die Praesentation von vielversprechenden Ideen und Innovationen im Bereich des Software-Engineering bereitzustellen, welche noch nicht vollstaendig implementiert oder evaluiert wurden. Die Beitraege koennen eine Forschungsidee, erste Resultate einer Dissertation oder eine formativ durchgefuehrte Fallstudie praesentieren, wobei der Bezug auf ein zukuenftiges Forschungsfeld, ein neuartiges Werkzeug, eine neue Methode oder die neuartige Zusammenarbeit mit anderen Disziplinen erkennbar sein sollte. MOEGLICHE EINREICHUNGEN Fuer das SEI-Programm koennen Beitraege zu folgenden Bereichen eingereicht werden: - Innovative Forschungsideen fuer das Software-Engineering - Neuartige Plattformen, Rahmenwerke oder Werkzeuge - Systeme, die eine neuartige Technologie verwenden - Neue Projektmanagement- oder Prozesstechniken - Fallstudien oder Verlaufsberichte ueber Innovationsprojekte - Forschungsideen fuer interdisziplinaere Projekte - Agenden fuer neue Forschungsbereiche Weitere nicht genannte Bereiche sind denkbar; im Zweifelsfall fragen Sie bitte den Vorsitzenden des Software-Engineering-Ideen-Tracks. Beitraege koennen bis zu 6 Seiten im LNI-Format umfassen. Akzeptierte Beitraege werden in den Tagungsband der SE 2015 aufgenommen. Es wird erwartet, dass sich bei Annahme mindestens ein Autor/eine Autorin als Teilnehmer zur Konferenz registriert und den Beitrag im SEI-Track vorstellt. EINREICHUNG Bitte reichen Sie Beitraege ueber EasyChair ein und waehlen Sie dabei den Software-Engineering-Ideen Track aus: https://easychair.org/conferences/?conf=se2015 WICHTIGE DATEN - 19.10.2014: Einreichungsschluss fuer Beitraege - 15.11.2014: Benachrichtigung zu Einreichungen - 28.11.2014: Abgabe der endgueltigen Version - 18.03.2015: SEI-Track auf der SE-2015 PROGRAM-KOMITEE Uwe Assmann, Technische Universitaet Dresden (Co-chair) Bernd Bruegge, Technische Universitaet Muenchen Sebastian Goetz, Technische Universitaet Dresden Matthias Grund, andrena objects AG Detlef Kips, develop group, Erlangen Horst Lichter, RWTH Aachen University Norbert Oster, Friedrich-Alexander-Universitaet Erlangen-Nuernberg Barbara Paech, Universitaet Heidelberg Dirk Riehle, Friedrich-Alexander-Universitaet Erlangen-Nuernberg (Co-chair) Tobias Roehm, Technische Universitaet Muenchen Holger Schlingloff, Fraunhofer FOKUS und Humboldt-Universitaet zu Berlin Kurt Schneider, Leibniz Universitaet Hannover -- -- -- Dr.-Ing. Sebastian G?tz Researcher Technische Universit?t Dresden Fakult?t f?r Informatik Institut f?r Software- und Multimediatechnik Lehrstuhl f?r Softwaretechnologie www: http://www.st.inf.tu-dresden.de/ Mail: sebastian.goetz at acm.org Kontakt: INF 2082 Tel.: +49 351 463 38346 jExam Group www: http://www.jexam.de -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at urv.cat Sat Aug 23 09:24:11 2014 From: grlmc at urv.cat (GRLMC - URV) Date: Sat, 23 Aug 2014 09:24:11 +0200 Subject: [fg-arc] LATA 2015: 2nd call for papers Message-ID: <000501cfbea3$422aed90$6b00a8c0@GRLMC.local> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************************** 9th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS LATA 2015 Nice, France March 2-6, 2015 Organized by: CNRS, I3S, UMR 7271 Nice Sophia Antipolis University Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/lata2015/ **************************************************************************************** AIMS: LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i Virgili University in Tarragona since 2002, LATA 2015 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas. VENUE: LATA 2015 will take place in Nice, the second largest French city on the Mediterranean coast. The venue will be the University Castle at Parc Valrose. SCOPE: Topics of either theoretical or applied interest include, but are not limited to: algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata networks automata, concurrency and Petri nets automatic structures cellular automata codes combinatorics on words computational complexity data and image compression descriptional complexity digital libraries and document engineering foundations of finite state technology foundations of XML fuzzy and rough languages grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography parallel and regulated rewriting parsing patterns power series string and combinatorial issues in bioinformatics string processing algorithms symbolic dynamics term rewriting transducers trees, tree languages and tree automata unconventional models of computation weighted automata STRUCTURE: LATA 2015 will consist of: invited talks invited tutorials peer-reviewed contributions INVITED SPEAKERS: Paola Inverardi (L?Aquila), Synthesis of Protocol Adapters Johann A. Makowsky (Technion, Haifa), Hankel Matrices for Graph Parameters and Graph Grammars Giancarlo Mauri (Milano Bicocca), tba Andreas Podelski (Freiburg), Automated Program Verification Antonio Restivo (Palermo), The Shuffle Product: New Research Directions PROGRAMME COMMITTEE: Andrew Adamatzky (West of England, Bristol, UK) Andris Ambainis (Latvia, Riga, LV) Franz Baader (Dresden Tech, DE) Rajesh Bhatt (Massachusetts, Amherst, US) Jos?-Manuel Colom (Zaragoza, ES) Bruno Courcelle (Bordeaux, FR) Erzs?bet Csuhaj-Varj? (E?tv?s Lor?nd, Budapest, HU) Aldo de Luca (Naples Federico II, IT) Susanna Donatelli (Turin, IT) Paola Flocchini (Ottawa, CA) Enrico Formenti (Nice, FR) Tero Harju (Turku, FI) Monika Heiner (Brandenburg Tech, Cottbus, DE) Yiguang Hong (Chinese Academy, Beijing, CN) Kazuo Iwama (Kyoto, JP) Sanjay Jain (National Singapore, SG) Maciej Koutny (Newcastle, UK) Anton?n Ku?era (Masaryk, Brno, CZ) Thierry Lecroq (Rouen, FR) Salvador Lucas (Valencia Tech, ES) Veli M?kinen (Helsinki, FI) Carlos Mart?n-Vide (Rovira i Virgili, Tarragona, ES, chair) Filippo Mignosi (L?Aquila, IT) Victor Mitrana (Madrid Tech, ES) Ilan Newman (Haifa, IL) Joachim Niehren (INRIA, Lille, FR) Enno Ohlebusch (Ulm, DE) Arlindo Oliveira (Lisbon, PT) Jo?l Ouaknine (Oxford, UK) Wojciech Penczek (Polish Academy, Warsaw, PL) Dominique Perrin (ESIEE, Paris, FR) Alberto Policriti (Udine, IT) Sanguthevar Rajasekaran (Connecticut, Storrs, US) J?rg Rothe (D?sseldorf, DE) Frank Ruskey (Victoria, CA) Helmut Seidl (Munich Tech, DE) Ayumi Shinohara (Tohoku, Sendai, JP) Bernhard Steffen (Dortmund, DE) Frank Stephan (National Singapore, SG) Paul Tarau (North Texas, Denton, US) Andrzej Tarlecki (Warsaw, PL) Jacobo Tor?n (Ulm, DE) Frits Vaandrager (Nijmegen, NL) Jaco van de Pol (Twente, Enschede, NL) Pierre Wolper (Li?ge, BE) Zhilin Wu (Chinese Academy, Beijing, CN) Slawomir Zadrozny (Polish Academy, Warsaw, PL) Hans Zantema (Eindhoven Tech, NL) ORGANIZING COMMITTEE: S?bastien Autran (Nice) Adrian Horia Dediu (Tarragona) Enrico Formenti (Nice, co-chair) Sandrine Julia (Nice) Carlos Mart?n-Vide (Tarragona, co-chair) Christophe Papazian (Nice) Julien Provillard (Nice) Pierre-Alain Scribot (Nice) Bianca Truthe (Giessen) 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 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=lata2015 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 of Computer and System Sciences (Elsevier, 2013 JCR impact factor: 1.0) 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 July 21, 2014 to March 2, 2015. The registration form can be found at: http://grammars.grlmc.com/lata2015/Registration.php DEADLINES: Paper submission: October 10, 2014 (23:59 CET) Notification of paper acceptance or rejection: November 18, 2014 Early registration: November 25, 2014 Final version of the paper for the LNCS proceedings: November 26, 2014 Late registration: February 16, 2015 Submission to the journal special issue: June 6, 2015 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: LATA 2015 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: Nice Sophia Antipolis University Rovira i Virgili University From steffen.becker at uni-paderborn.de Tue Aug 26 14:51:34 2014 From: steffen.becker at uni-paderborn.de (Steffen Becker) Date: Tue, 26 Aug 2014 14:51:34 +0200 Subject: [fg-arc] =?iso-8859-15?q?Stellenausschreibung_wiss=2E_Mitarbeiter?= =?iso-8859-15?q?_Softwaretechnik_an_der_Technischen_Universit=E4t_Chemnit?= =?iso-8859-15?q?z?= Message-ID: <53FC82D6.80909@uni-paderborn.de> Liebe Fachgruppenmitglieder, an der Technischen Universit?t Chemnitz sind offene Stellen f?r wissenschaftliche Mitarbieter im Bereich Softwaretechnik / Softwarearchitekturen an einem neu aufzubauenden Lehrstuhl zu besetzen. Die Ausschreibungstexte finden sich unter https://www.tu-chemnitz.de/informatik/ST/index.php Bewerbungsfrist ist der 8.9.2014. Ich bitte Sie diese Informationen auch an evtl. interessierte Kollegen weiterzuleiten. Viele Gr??e Steffen Becker -- ________________________________________________ Jun.-Prof. Dr.-Ing. Steffen Becker Heinz Nixdorf Institut Universit?t Paderborn Softwaretechnik Zukunftsmeile 1 33102 Paderborn Telefon: +49 (0) 52 51 / 60 33 20 Telefax: +49 (0) 52 51 / 60 35 30 www.upb.de/cs/ag-schaefer ________________________________________________ From aali at ltu.edu Wed Aug 27 17:58:48 2014 From: aali at ltu.edu (Ahad Ali) Date: Wed, 27 Aug 2014 11:58:48 -0400 Subject: [fg-arc] =?iso-8859-1?q?IEOM_2015_Dubai_-_ASQ=2C_IEEE_=26_INFORMS?= =?iso-8859-1?q?_Sponsored?= Message-ID: <25a1f0ab99464c8abf4d2d6c61dcf3ee@ltu.edu> Apologies for cross-posting Dear Colleagues: As the 2015 IEOM Society Dubai Conference moves closer, the Planning Committee continue to reach out to all of YOU who have an interest in participating in the many opportunities that are available. In order to make the 2015 IEOM Conference the best ever, we need to hear from you. Please let us know if you're an interest in submitting a technical paper and/or an abstract. The following are the key highlights of the 2015 IEOM Conference to be held at Hyatt Regency Dubai: Technical Full Paper and/or Abstract Only - Scientific and applied research work can be submitted and presented at the IEOM Dubai conference in the breaded area of IE and OM. All full papers are subject to peer review. Accepted papers will be published in IEEE Xplore and indexed. Research can be presented independently with an abstract. Global Engineering Education - Provide a global view of the opportunities and challenges that are currently available in all aspects of engineering education. This should include the social, economic and technical elements of the discipline. Industry Solutions - Provide a review and analysis of a specific industry and the role that the engineering profession can play in addressing the issues and the solution facing a broad spectrum of industry in today's society. Operations Excellence - Examine the process and operational issues facing both manufacturing and non-manufacturing sectors of the international marketplace. Develop possible to approaches to increase the operational efficiency and productivity. Keynote Speakers - Identify a global issue that would warrant attention of a keynote address. This issue should be international in scope and be of interest to those attending the 2015 IEOM Conference. Poster Sessions - Create a poster to communicate how a specific problem was addressed using graphics and a short narrative. The post sessions are competitive and are judged for their originality and approach. Capstone Student Poster Competitions - Identify and engage and engineering student who may have an interest in submitting a paper based on an innovative subject from a capstone project. Student paper completion - Identify a student who has demonstrated a strong interest in a publishing a paper on a project that may include research that addressed and solved an industrial engineering or operations management problem. Please follow IEEE format for full paper submission. Online Paper/Abstract Submission Link: www.xcdsystem.com/ieom2015/ Submission deadline: August 30, 2014 All presentations of global engineering education, industry solutions and operations excellence will be published in the Conference CDROM proceedings. Based on all the programs and a unique diverse participants from more than 70 countries around the word, it would be a great value added event. I hope, you would not miss it. We look forward to seeing you in Dubai during March 3-5, 2015. Regards, Dr. Ahad Ali, Lawrence Technological University Conference Chair Majid Abab, The Boeing Co. and Resh Plaha, Crystal Quality, UK Industry Solutions Chairs Dr. Abdur Rahim, University of New Brunswick - Fredericton, Canada Honorary Chair IEOM Society www.iieom.org -------------- next part -------------- An HTML attachment was scrubbed... URL: From riebisch at informatik.uni-hamburg.de Thu Aug 28 14:00:36 2014 From: riebisch at informatik.uni-hamburg.de (Riebisch, Matthias) Date: Thu, 28 Aug 2014 12:00:36 +0000 Subject: [fg-arc] Save the Date: Jahrestagung Architekturen 2015 am 9. und 10. Juli 2015 in Hamburg Message-ID: Liebe Mitglieder der Fachgruppe Architekturen, Bitte merken Sie sich die n?chste Jahrestagung Architekturen vor! Die Veranstaltung f?hrt die Mitglieder der GI-Fachgruppe Architekturen der GI zusammen und ist auch f?r Nicht-Mitglieder offen. In ihrem Rahmen werden Vortr?ge ?ber aktuelle Ergebnisse von akademischer und industrieller Forschung angeboten sowie Workshops und Treffen von Arbeitskreisen der Fachgruppe durchgef?hrt. Au?erdem laden wir hiermit zu einer Wahlversammlung ein. Es findet dar?ber hinaus eine Beratung des Leitungsgremiums statt. Termin: 9. und 10. Juli 2015, zwei volle Tage Ort: Hamburg Organisatoren: Prof. Dr. Matthias Riebisch, Uni Hamburg Prof. Dr. Ulrike Steffens, HAW Hamburg Weitere Informationen erscheinen in K?rze auf der Webseite http://fg-arc.gi.de/veranstaltungen/naechste-veranstaltungen.html. Mit freundlichen Gr??en Matthias Riebisch und Ulrike Steffens From klaus.havelund at jpl.nasa.gov Sat Aug 30 16:23:50 2014 From: klaus.havelund at jpl.nasa.gov (Klaus Havelund) Date: Sat, 30 Aug 2014 07:23:50 -0700 Subject: [fg-arc] [fm-announcements] Second call for papers: NASA Formal Methods - NFM 2015 Message-ID: <777C3148-E662-4D42-AB83-76895BEB75C9@jpl.nasa.gov> CALL FOR PAPERS The 7th NASA Formal Methods Symposium http://www.NASAFormalMethods.org/nfm2015 27 ? 29 April 2015 Pasadena, California, USA THEME The widespread use and increasing complexity of mission- and safety-critical systems require advanced techniques that address their specification, verification, validation, and certification. The NASA Formal Methods Symposium is a forum for theoreticians and practitioners from academia, industry, and government, with the goals of identifying challenges and providing solutions to achieving assurance in mission- and safety-critical systems. Within NASA such systems include for example autonomous robots, separation assurance algorithms for aircraft, Next Generation Air Transportation (NextGen), and autonomous rendezvous and docking for spacecraft. Moreover, emerging paradigms such as property-based design, code generation, and safety cases are bringing with them new challenges and opportunities. The focus of the symposium will be on formal techniques, their theory, current capabilities, and limitations, as well as their application to aerospace, robotics, and other mission- and safety-critical systems in all design life-cycle stages. We encourage submissions on cross-cutting approaches marrying formal verification techniques with advances in critical system development, such as requirements generation, analysis of aerospace operational concepts, and formal methods integrated in early design stages and carrying throughout system development. TOPICS Topics of interest include, but are not limited to: Model checking Theorem proving SAT and SMT solving Symbolic execution Static analysis Runtime verification Program refinement Compositional verification Modeling and specification formalisms Model-based development Model-based testing Requirement engineering Formal approaches to fault tolerance Security and intrusion detection Applications of formal methods to aerospace systems Applications of formal methods to cyber-physical systems Applications of formal methods to human-machine interaction analysis IMPORTANT DATES Paper Submission: 10 Nov 2014 Paper Notifications: 12 Jan 2015 Camera-ready Papers: 9 Feb 2015 Symposium: 27 ? 29 April 2015 LOCATION AND COST The symposium will take place at the Hilton Hotel, Pasadena, California, USA, April 27-29, 2015. There will be no registration fee for participants. All interested individuals, including non-US citizens, are welcome to submit, to attend, to listen to the talks, and to participate in discussions; however, all attendees must register. SUBMISSION DETAILS There are two categories of submissions: Regular papers describing fully developed work and complete results (15 pages) Short papers describing tools, experience reports, or descriptions of work in progress with preliminary results (6 pages) All papers should be in English and describe original work that has not been published or submitted elsewhere. All submissions will be fully reviewed by members of the Programme Committee. Papers will appear in a volume of Springer?s Lecture Notes on Computer Science (LNCS), and must use LNCS style formatting. Papers should be submitted in PDF format. PC CHAIRS Klaus Havelund, NASA Jet Propulsion Laboratory Gerard Holzmann, NASA Jet Propulsion Laboratory Rajeev Joshi, NASA Jet Propulsion Laboratory PROGRAMME COMMITTEE Erika Abraham, RWTH Aachen University, Germany Julia Badger, NASA Johnson Space Center, USA Christel Baier, Technische Universit?t Dresden, Germany Saddek Bensalem, VERIMAG/UJF, France Dirk Beyer, University of Passau, Germany Armin Biere, Johannes Kepler University, Austria Nikolaj Bjorner, Microsoft Research, USA Borzoo Bonakdarpour, McMaster University, Canada Alessandro Cimatti, Fondazione Bruno Kessler, Italy Leonardo de Moura, Microsoft Research, USA Ewen Denney, NASA Ames Research Center, USA Ben Di Vito, NASA Langley Research Center, USA Dawson Engler, Stanford University, USA Jean-Christophe Filliatre, Universit? Paris-Sud, France Dimitra Giannakopoulou, NASA Ames Research Center, USA Alwyn Goodloe, NASA Langley Research Center, USA Susanne Graf, VERIMAG, France Alex Groce, Oregon State University, USA Radu Grosu, Vienna University of Technology, Austria John Harrison, Intel Corporation, USA Mike Hinchey, University of Limerick/Lero, Ireland Bart Jacobs, University of Leuven, Belgium Sarfraz Khurshid, The University of Texas at Austin, USA Gerwin Klein, NICTA, Australia Daniel Kroening, Oxford University, UK Orna Kupferman, Hebrew University Jerusalem, Israel Kim Larsen, Aalborg University, Denmark Rustan Leino, Microsoft Research, USA Martin Leucker, University of Lubeck, Germany Rupak Majumdar, Max Planck Institute, Germany Pete Manolios, Northeastern University, USA Peter Mueller, ETH Zurich, Switzerland Kedar Namjoshi, Bell Labs/Alcatel-Lucent, USA Corina Pasareanu, NASA Ames Research Center, USA Doron Peled, Bar Ilan University, Israel Suzette Person, NASA Langley Research Center, USA Andreas Podelski, University of Freiburg, Germany Grigore Rosu, University of Illinois, USA Kristin Yvonne Rozier, NASA Ames Research Center, USA Natarajan Shankar, SRI International, USA Natasha Sharygina, University of Lugano, Switzerland Scott Smolka, Stony Brook University, USA Willem Visser, University of Stellenbosch, South Africa Mahesh Viswanathan, University of Illinois, USA Mike Whalen, University of Minnesota, USA Jim Woodcock, University of York, UK STEERING COMMITTEE Julia Badger, NASA Johnson Space Center Ewen Denney, NASA Ames Research Center Ben Di Vito, NASA Langley Research Center Klaus Havelund, NASA Jet Propulsion Laboratory Gerard Holzmann, NASA Jet Propulsion Laboratory Cesar Munoz, NASA Langley Research Center Corina Pasareanu, NASA Ames Research Center Suzette Person, NASA Langley Research Center Kristin Yvonne Rozier, NASA Ames Research Center -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- --- 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 cie at maths.leeds.ac.uk Fri Aug 29 23:32:26 2014 From: cie at maths.leeds.ac.uk (CIE (S B Cooper)) Date: Fri, 29 Aug 2014 22:32:26 +0100 (BST) Subject: [fg-arc] TAMC 2015, 18-20 May 2015, National University of Singapore - First Call for Papers Message-ID: <201408292132.s7TLWQJR019897@maths.leeds.ac.uk> First Call for Papers for the 12th Annual Conference on Theory and Applications of Models of Computation (TAMC 2015) 18 - 20 May 2015 School of Computing, National University of Singapore TAMC 2015 aims at bringing together a wide range of researchers with interests in computational theory and applications. For more than 10 years, the conference series "Theory and Applications of Models of Computing" has fostered interactions and collaborations between both theoretical and applied researchers working on all aspects of computations and the ways to model it. Conference Chair: Sanjay Jain. Programme Committee Chairs: Rahul Jain and Frank Stephan. Programme Committee: Ajith Abraham, Anthony Bonato, Yijia Chen, Rodney G. Downey, Henning Fernau, Dimitris Fotakis, Gopal T V, Steffen Lempp, Jiamou Liu, Frexdexric Magniez, Klaus Meer, Mia Minnes, Philippe Moser, Mitsunori Ogihara, Yota Otachi, Yicheng Pan, Pan Peng, Anil Seth, Xiaoming Sun, Chaitanya Swamy, Hongan Wang, Wei Wang, Guohua Wu, Yitong Yin, Mingsheng Ying, Neal Young, Thomas Zeugmann, Shengyu Zhang, Conghua Zhou. There will be published proceedings. Submissions should have a length of 12 pages; for details for the submission format and submission-link and other questions, please consult the conference webpage http://www.comp.nus.edu.sg/~fstephan/tamc2015/tamc2015.html Papers already published in other conferences or in journals should not be submitted to TAMC 2015; furthermore, simultaneous submissions to other conferences are also not permitted. It is permitted to submit an extended version of the paper to a journal after the conference. Timeline: Submission due: Thu 27 November 2014 at 23:59 hrs GMT. Notification: Tue 20 January 2015. Final Version due: Tue 3 February 2015. Conference: Mon 18 - Wed 20 May 2015 Topics: TAMC 2015 is open for all topics relating to the theory and applications of models of computation. The topics include algebraic computation, algorithmic coding and number theory, algorithmic learning theory, approximation algorithms, automata theory, circuit complexity, communication complexity, complex networks and their theory, combinatorial algorithms, computability and recursion theory, computational biology, computational complexity, computational geometry, continuous and real computation, cryptography, data structures, design and analysis of algorithms, distributed algorithms, domain models, fixed parameter tractability, formal languages, game theory, geometric algorithms, grammatical inference, graph algorithms, graph mining, information theory, internet mathematics, memory hierarchy tradeoffs, model theory for computing, natural computing, network algorithms, network security and applications, online algorithms, optimisation, parallel algorithms, philosophy of computing, privacy and security, property testing, proof complexity, process models, quantum computation, randomness, randomised algorithms, space-time tradeoffs, streaming algorithms, systems theory, VLSI models of computation. TAMC in previous years: The conference series TAMC started in the year 2004 and has been held annually since then. The previous conferences are the following: Beijing China 2004, Kunming China 2005, Beijing China 2006, Shanghai China 2007, Xian China 2008, Changsha China 2009, Prague Czech Republic 2010, Tokyo Japan 2011, Beijing China 2012, Hong Kong China 2013, Chennai India 2014.