- computational.science - lists.iccsa.org

Formal Invitation to Special Session on Industrial CPS Conference
by Gerardo Beruvides Lopez 13 Dec '17

13 Dec '17

Dear all, We are glad to announce the Call for Papers for the Special Session on Innovative Computational Intelligence Knowledge-based Solutions for Zero Defect Scenarios on Industrial Cyber-Physical Systems. The Special Session has been included in the 1st IEEE International Conference on Industrial Cyber-Physical Systems (IEEE ICPS 2018) programme, May 15-18, 2018, Saint Petersburg, Russia. All accepted paper will appear in IEEE Xplore Digital Library and the good quality paper may be considered for publication in IEEE Transactions on Industrial Informatics subjects to further rounds of review. Topics of interest include: - Predictive and prescriptive artificial intelligence architectures for ICPS - Real-time machine condition monitoring & diagnostic for global environments - Advance knowledge representation methodologies and ontologies - Pattern recognition and identification based on big data analytics in ICPS - Crowdsourcing and crowd cloud computing methodologies - Self-adaptive & self-reconfiguration system development methods - Virtual modelling and simulators for zero defect ICPS scenarios - Connected ICPS network sensors for smart manufacturing environments - Innovative deep learning topologies for ICPS applications Important Dates Paper submission deadline: December 22, 2017 Paper acceptance: February 28, 2018 Final paper submission: March 31, 2018 Please, find as an attached PDF file the First Announcement and Call for Papers. Information on the IEEE ICPS 2018 will be regularly updated in the Conference website: http://icps2018.net/ I should be very grateful if you could publicize this event among your colleagues. For more information, please do not hesitate to contact me. Best regards, Gerardo Beruvides -- Gerardo Beruvides López, PhD Centro de Automática y Robótica, CSIC - UPM Ctra. de Campo Real Km. 0.200 La Poveda, Arganda del Rey C.P. 28500 Madrid - Spain gerardo.beruvides(a)car.upm-csic.es - http://www.gamhe.eu personal email: beruvides85(a)gmail.com Phone: (+34) 91 871 19 00 Ext. 244 Fax: (+34) 91 871 70 50

1 0

TSD 2018 - Preliminary Announcement and Call for Workshops
by TSD 2018 12 Dec '17

12 Dec '17

************************************************************ TSD 2018 - PRELIMINARY ANNOUNCEMENT and CALL for WORKSHOPS ************************************************************ Twenty-first International Conference on TEXT, SPEECH and DIALOGUE (TSD 2018) Brno, Czech Republic, 11-14 September 2018 http://www.tsdconference.org/ The conference is organized by the Faculty of Informatics, Masaryk University, Brno, and the Faculty of Applied Sciences, University of West Bohemia, Pilsen. The conference is supported by International Speech Communication Association. Venue: Brno, Czech Republic TSD SERIES TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series. CALL for SATELLITE WORKSHOP PROPOSALS The TSD 2018 conference will be accompanied by one-day satellite workshops or project meetings with organizational support by the TSD organizing committee. The organizing committee can arrange for a meeting room at the conference venue and prepare a workshop proceedings as a book with ISBN by a local publisher. The workshop papers that will pass also the standard TSD review process will appear in the Springer proceedings. Each workshop is a subject to proposal that should be sent to the contact e-mail tsd2018(a)tsdconference.org ahead of the respective deadline. TOPICS Topics of the conference will include (but are not limited to): Corpora and Language Resources (monolingual, multilingual, text and spoken corpora, large web corpora, disambiguation, specialized lexicons, dictionaries) Speech Recognition (multilingual, continuous, emotional speech, handicapped speaker, out-of-vocabulary words, alternative way of feature extraction, new models for acoustic and language modelling) Tagging, Classification and Parsing of Text and Speech (morphological and syntactic analysis, synthesis and disambiguation, multilingual processing, sentiment analysis, credibility analysis, automatic text labeling, summarization, authorship attribution) Speech and Spoken Language Generation (multilingual, high fidelity speech synthesis, computer singing) Semantic Processing of Text and Speech (information extraction, information retrieval, data mining, semantic web, knowledge representation, inference, ontologies, sense disambiguation, plagiarism detection) Integrating Applications of Text and Speech Processing (machine translation, natural language understanding, question-answering strategies, assistive technologies) Automatic Dialogue Systems (self-learning, multilingual, question-answering systems, dialogue strategies, prosody in dialogues) Multimodal Techniques and Modelling (video processing, facial animation, visual speech synthesis, user modelling, emotions and personality modelling) Papers on processing of languages other than English are strongly encouraged. KEYNOTE SPEAKERS Kenneth Church, IBM Thomas J. Watson Research Center, USA PROGRAM COMMITTEE Elmar Noeth, Germany (general chair) Eneko Agirre, Spain Vladimir Benko, Slovakia Paul Cook, Australia Jan Cernocky, Czech Republic Simon Dobrisek, Slovenia Kamil Ekstein, Czech Republic Karina Evgrafova, Russia Darja Fiser, Slovenia Eleni Galiotou, Greece Björn Gambäck, Norway Radovan Garabik, Slovakia Alexander Gelbukh, Mexico Louise Guthrie, USA Tino Haderlein, Germany Jan Hajic, Czech Republic Eva Hajicova, Czech Republic Yannis Haralambous, France Hynek Hermansky, USA Jaroslava Hlavacova, Czech Republic Ales Horak, Czech Republic Eduard Hovy, USA Maria Khokhlova, Russia Daniil Kocharov, Russia Miloslav Konopik, Czech Republic Ivan Kopecek, Czech Republic Valia Kordoni, Germany Pavel Král, Czech Republic Siegfried Kunzmann, Germany Natalija Loukachevitch, Russia Bernardo Magnini, Italy Vaclav Matousek, Czech Republic France Mihelic, Slovenia Roman Moucek, Czech Republic Agnieszka Mykowiecka, Poland Hermann Ney, Germany Karel Oliva, Czech Republic Karel Pala, Czech Republic Nikola Pavesic, Slovenia Maciej Piasecki, Poland Josef Psutka, Czech Republic James Pustejovsky, USA German Rigau, Spain Leon Rothkrantz, The Netherlands Anna Rumshisky, USA Milan Rusko, Slovakia Pavel Rychlý, Czechia Mykola Sazhok, Ukraine Pavel Skrelin, Russia Pavel Smrz, Czech Republic Petr Sojka, Czech Republic Stefan Steidl, Germany Georg Stemmer, Germany Marko Tadic, Croatia Tamas Varadi, Hungary Zygmunt Vetulani, Poland Pascal Wiggers, The Netherlands Yorick Wilks, United Kingdom Marcin Wolinski, Poland Victor Zakharov, Russia FORMAT OF THE CONFERENCE The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. Social events including a trip in the vicinity of Brno will allow for additional informal interactions. CONFERENCE PROGRAM The conference program will include oral presentations and poster/demonstration sessions with sufficient time for discussions of the issues raised. IMPORTANT DATES March 15 2018 ............ Submission of abstracts March 22 2018 ............ Submission of full papers May 16 2018 .............. Notification of acceptance May 31 2018 .............. Final papers (camera ready) and registration August 8 2018 ............ Submission of demonstration abstracts August 15 2018 ........... Notification of acceptance for demonstrations sent to the authors September 11-14 2018 ..... Conference date The contributions to the conference will be published in proceedings that will be made available to participants at the time of the conference. OFFICIAL LANGUAGE The official language of the conference is English. ADDRESS All correspondence regarding the conference should be addressed to Ales Horak, TSD 2018 Faculty of Informatics, Masaryk University Botanicka 68a, 602 00 Brno, Czech Republic phone: +420-5-49 49 18 63 fax: +420-5-49 49 18 20 email: tsd2018(a)tsdconference.org The official TSD 2018 homepage is: http://www.tsdconference.org/tsd2018 LOCATION Brno is the second largest city in the Czech Republic with a population of almost 400.000 and is the country's judiciary and trade-fair center. Brno is the capital of South Moravia, which is located in the south-east part of the Czech Republic and is known for a wide range of cultural, natural, and technical sights. South Moravia is a traditional wine region. Brno had been a Royal City since 1347 and with its six universities it forms a cultural center of the region. Brno can be reached easily by direct flights from London and Munich, and by trains or buses from Prague (200 km) or Vienna (130 km).

1 0

CFP: 4th ACM Cyber‐Physical System Security Workshop (ACM CPSS’18)
by Cristina Alcaraz 12 Dec '17

12 Dec '17

*** Apologies for multiple copies *** C a l l F o r P a p e r s 4th ACM Cyber‐Physical System Security Workshop (ACM CPSS’18) Incheon, Korea, June 4, 2018 (in conjunction with ACM AsiaCCS'18) http://jianying.space/cpss/CPSS2018/ Submission due: Jan 20, 2018 (GMT) – firm Conference Outline: Cyber-Physical Systems (CPS) consist of large-scale interconnected systems of heterogeneous components interacting with their physical environments. There are a multitude of CPS devices and applications being deployed to serve critical functions in our lives. The security of CPS becomes extremely important. This workshop will provide a platform for professionals from academia, government, and industry to discuss how to address the increasing security challenges facing CPS. Besides invited talks, we also seek novel submissions describing theoretical and practical security solutions to CPS. Papers that are pertinent to the security of embedded systems, IoT, SCADA, smart grid, and critical infrastructure networks are all welcome. Topics of interest include, but are not limited to: • Attack detection for CPS • Authentication and access control for CPS • Autonomous vehicle security • Availability, recovery and auditing for CPS • Data security and privacy for CPS • Embedded systems security • EV charging system security • Industrial control system security • IoT security • Key management in CPS • Legacy CPS system protection • Lightweight crypto and security • Maritime cyber security • Risk assessment for CPS • SCADA security • Security architectures for CPS • Security by design for CPS • Smart grid security • Threat modeling for CPS • Urban transportation system security • Vulnerability analysis for CPS • Wireless sensor network security Important Dates: • Submission due: Jan 20, 2018 (GMT) - firm • Notification: Mar 10, 2018 • Camera-ready due: Mar 31, 2018 Steering Committee: • Dieter Gollmann (Hamburg University of Technology, Germany) • Ravishankar Iyer (UIUC, USA) • Douglas Jones (ADSC, Singapore) • Javier Lopez (University of Malaga, Spain) • Jianying Zhou (SUTD, Singapore) - Chair Program Chairs: • Dieter Gollmann (Hamburg University of Technology, Germany & NTU, Singapore) • Jianying Zhou (SUTD, Singapore) Publicity Chair: • Cristina Alcaraz (University of Malaga, Spain) Publication/Web Chair: • Ying Qiu (I2R, Singapore) Program Committee: • Kemal Akkaya (Florida International University, USA) • Cristina Alcaraz (University of Malaga, Spain) • Alvaro Cardenas (UT Dallas, USA) • Lorenzo Cavallaro (RHUL, UK) • Aldar Chan (University of Hong Kong, HK) • Sudipta Chattopadhyay (SUTD, Singapore) • Chen-Mou Cheng (Osaka University, Japan) • Raymond Choo (UT San Antonio, USA) • Mauro Conti (University of Padua, Italy) • Marc Dacier (EURECOM, France) • Herve Debar (Telecom SudParis, France) • Yuval Elovici (Ben-Gurion University, Israel) • Afonso Ferreira (IRIT, France) • Aurelien Francillon (EURECOM, France) • Jonathan Goh (ST Electronics, Singapore) • Stefanos Gritzalis (University of the Aegean, Greece) • Huaqun Guo (I2R, Singapore) • Jinguang Han (University of Surrey, UK) • Shao-Fei Huang (LTA, Singapore) • Harshan Jagadeesh (IIT Delhi, India) • Zbigniew Kalbarczyk (UIUC, USA) • Sokratis Katsikas (NTNU, Norway) • Huy Kang Kim (Korea University, Korea) • Robert Kooij (TU Delft, Netherland) • Marina Krotofil (FireEye, USA) • Qi Li (Tsinghua University, China) • Hoon Wei Lim (SingTel, Singapore) • Xiapu Luo (Hong Kong Polytechnic University, HK) • Michail Maniatakos (NYU-Abu Dhabi, UAE) • Konstantinos Markantonakis (RHUL, UK) • Ivan Martinovic (University of Oxford, UK) • Weizhi Meng (DTU, Denmark) • Martín Ochoa (SUTD, Singapore) • Axel Poschmann (NXP, Germany) • Rodrigo Roman (University of Malaga, Spain) • Vinay Sachidananda (SUTD, Singapore) • Biplab Sikdar (NUS, Singapore) • Martin Strohmeier (University of Oxford, UK) • Pawel Szalachowski (SUTD, Singapore) • Qiang Tang (LIST, Luxembourg) • William Temple (ADSC, Singapore) • Nils Ole Tippenhauer (SUTD, Singapore) • Ngoc Hong Tran (Vietnamese German Uni, Vietnam) • Yi Wang (Continental Automotive, Singapore) • Daphne Yao (Virginia Tech, USA) • David Yau (SUTD, Singapore) • Xin Ye (Ford Motor, USA) • Chan Yeob Yeun (KUSTAR, UAE) • Peng Zhou (CSIRO, Australia) • Sencun Zhu (Pennsylvania State University, USA) • Saman Zonouz (Rutgers University, USA) Submission Instructions: Submitted papers must not substantially overlap papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. All submissions should be appropriately anonymized (i.e., papers should not contain author names or affiliations, or obvious citations). Submissions must be in double-column ACM SIG Proceedings format, and should not exceed 12 pages. Position papers and short papers of 6 pages describing the work in progress are also welcome. Only pdf files will be accepted. Authors of accepted papers must guarantee that their papers will be presented at the workshop. At least one author of the paper must be registered at the appropriate conference rate. Accepted papers will be published in the ACM Digital Library. There will also be a best paper award. Paper submission site: https://easychair.org/conferences/?conf=cpss18. Contact: Email: cpss2018(a)easychair.org CPSS Home: http://jianying.space/cpss/CPSS2018/

1 0

ADFSL Conference on Digital Forensics, Security and Law 2018
by Raymond Choo 11 Dec '17

11 Dec '17

The ADFSL Conference on Digital Forensics, Security and Law is the official annual conference of the ADFSL, the Association of Digital Forensics Security and Law. The Conference is a unique and innovative event organized and managed by the Association of Digital Forensics, Security and Law (ADFSL). The first annual conference of the ADFSL Conference on Digital Forensics, Security and Law was held in Las Vegas, Nevada, USA on April 20-21, 2006. The conference was created on the premise that digital forensics goes beyond digital evidence. The mission of the conference is to significantly expand the domain of digital forensics research to a wide and eclectic audience of academics, consultants and executives who are involved in the curriculum, research and use of digital forensics. The next ADFSL Conference on Digital Forensics, Security and Law will be held at The University of Texas at San Antonio, San Antonio, TX from May 17 to 18, 2018 (see http://commons.erau.edu/adfsl/2018/) The conference focuses on the current and expanding role of digital forensics within investigations and the courts as well as its important role within cyber security - both national as well as corporate. Topics not only include technology and evidence, but also are very much focused on how to prepare students for careers in digital forensics. INFORMATION TECHNOLOGY - Digital forensics and information technology - Cyber law and information technology - Information security and information technology - Accounting digital forensics information technology INTERNATIONAL ISSUES - International issues in digital forensics - International issues in cyber law - International issues in information security - International issues in accounting digital forensics CURRICULUM - Digital forensics curriculum - Cyber law curriculum - Information security curriculum - Accounting digital forensics curriculum NETWORKS AND THE INTERNET - Digital forensics and the Internet - Cyber law and the Internet - Information security and Internet - Digital forensics accounting and the Internet THEORY - Theory development in digital forensics - Theory development in information security - Methodologies for digital forensic research - Analysis techniques for digital forensic and information security research TEACHING METHODS - Digital forensics teaching methods - Cyber law teaching methods - Information security teaching methods - Accounting digital forensics teaching methods ANTI-FORENSICS AND COUNTER ANTI-FORENSICS - Steganography - Stylometrics and author attribution - Anonymity and proxies - Encryption and decryption PRIVACY ISSUES - Privacy issues in digital forensics - Privacy issues in information security - Privacy issues in cyber law CASES - Digital forensics case studies - Cyber law case studies - Information security case studies - Accounting digital forensics case studies SOFTWARE FORENSICS - Software piracy investigation - Software quality forensics NATIONAL SECURITY AND CYBERCRIME - Cyber culture - Cyber terrorism - Cyber war - Cybercrime DEADLINES * January 15, 2018 Submission Due * February 15, 2018 Reviews Completed * March 1, 2018 Acceptance Decisions * April 1, 2018 Camera Ready Submission * May 17-18, 2018 Conference SUBMISSION TYPES * Research papers: A research question or an argument is posed and subsequently conducted. Empirical work (quantitative or qualitative) is necessary. Research papers will be presented by the authors in a regular conference session. These papers should be extensive. Typical length is about 5000-6000 words. All research papers will be considered for publication in the Journal of Digital Forensics, Security and Law (JDFSL). * Short briefing papers: A technology or a management briefing on an aspect of digital forensics, information security, and/or cyber law. Such papers will be presented by the author in a round table discussion format at the conference. These papers need not be extensive. Typical length is about 1500-2000 words. * Case Studies: Case studies are typically descriptions of a given digital forensics situation. Names of organizations/actors can be kept anonymous to maintain confidentiality. Case studies will be presented by the authors at the conference. Typical length is about 5000-6000 words. All case studies will be considered for publication in the Journal of Digital Forensics, Security and Law (JDFSL). * Student Scholar Track: Up to six student papers will be selected for the Student Scholar Track. Of the six papers, one will be selected for the Student Scholar Award. The primary author must be present at the conference. To participate, the primary author of the paper must be a student. The primary author must email the conference chair and specify that they wish their submitted paper to be considered for the Student Scholar track. * Panels: Panels and workshop proposals are welcome. Typical length is about 1000 words long and covers a current technology or a controversial issue. All research papers and case studies are double blind peer reviewed. Instructions for authors may be found at http://commons.erau.edu/adfsl/2018/ , and the Conference Submission System may be found at http://commons.erau.edu/cgi/ir_submit.cgi?context=adfsl BEST PAPERS Selected papers from the conference will be considered for inclusion in a special issue of Journal of Digital Forensics, Security and Law. PARTICIPANTS The conference is of particular interest to individuals who are interested in developing curriculum and teaching methods as well as conducting research related to the areas of digital forensics, security, and law. This conference will be of value to both academic and practitioner audiences. Conference General Chairs Program Chair Dr. David Dampier The University of Texas at San Antonio, Texas, USA david.dampier(a)utsa.edu<mailto:david.dampier@utsa.edu> Dr. Nicole Beebe The University of Texas at San Antonio, Texas, USA nicole.beebe(a)utsa.edu<mailto:nicole.beebe@utsa.edu> Dr. Kim-Kwang Raymond Choo The University of Texas at San Antonio, Texas, USA raymond.choo(a)fulbrightmail.org<mailto:raymond.choo@fulbrightmail.org> https://sites.google.com/site/raymondchooau/ Dr. Kim-Kwang Raymond Choo FACS, SMIEEE Cloud Technology Endowed Professorship The University of Texas at San Antonio Department of Information Systems and Cyber Security Office: NPB 3.356, Tel: 210 458 7876 One UTSA Circle - San Antonio, TX 78249-0631, USA + http://business.utsa.edu/faculty/rchoo/index.aspx + https://sites.google.com/site/raymondchooau/ + https://scholar.google.com/citations?hl=en&user=rRBNI6AAAAAJ

1 0

CFP PASA 2018
by Rolf Wanka 11 Dec '17

11 Dec '17

------------------------------------------------------------- CALL FOR PAPERS 13th Workshop on Parallel Systems and Algorithms PASA 2018 https://www.cs12.tf.fau.de/conf/pasa2018/ in conjunction with ARCS 2018 – 31st International Conference on Architecture of Computing Systems Braunschweig, Germany, 9-10 April 2018 organized by GI/ITG-Fachgruppe 'Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware' (PARS) and GI-Fachgruppe 'Algorithmen' (ALGO) ------------------------------------------------------------- The PASA workshop series has the goal to build a bridge between theory and practice in the area of parallel systems and algorithms. In this context practical problems which require theoretical investigations as well as the applicability of theoretical approaches and results to practice shall be discussed. An important aspect is communication and exchange of experience between various groups working in the area of parallel computing, e.g., in computer science, electrical engineering, physics or mathematics. Topics of Interest include, but are not restricted to: - scheduling and load balancing - parallel and distributed algorithms - parallel embedded systems - models of parallel computation - ubiquitous and pervasive systems - parallel architectures & storage systems - reconfigurable parallel computing - parallel programming languages - data stream-oriented computing - software engineering for parallel systems - interconnection networks - parallel design patterns - network and grid computing - performance evaluation of parallel systems - distributed and parallel multimedia systems PASA 2018 Webpage: https://www.cs12.tf.fau.de/conf/pasa2018/ The workshop will comprise invited talks on current topics by leading experts in the field as well as submitted papers on original and previously unpublished research. Accepted papers will be published in the ARCS Workshop Proceedings as well as in the PARS Newsletter (ISSN 0177-0454). The conference languages are English (preferred) and German. Papers are required to be in English. A prize of 500 € will be awarded to the best contribution presented personally based on a student's or Ph.D. thesis or project. Co-authors are allowed, the PhD degree should not have been awarded at the time of submission. Candidates apply for the prize by e-mail to the organizers when submitting the contribution. We expect that candidates are or become members of one of the groups ALGO or PARS. Important Dates 12th January 2018: Deadline for submission of full papers under: https://easychair.org/conferences/?conf=pasa2018 6 pages in English, formatted according to IEEE CIS template in "conference mode" (see http://www.ieee.org/conferences_events/conferences/publishing/templates.html) More details depend on the requirements given by the ARCS organizers and will be provided here as soon as possible 31st January 2018: Notification of authors 7th February 2016: Final version for workshop proceedings Program Committee M. Dietzfelbinger (Ilmenau), A. Doering (Zurich), N. Eicker (Jülich), T. Fahringer (Innsbruck), D. Fey (Erlangen), T. Hagerup (Augsburg), V. Heuveline (Heidelberg), R. Hoffmann (Darmstadt), K. Jansen (Kiel), B. Juurlink (Berlin), W. Karl (Karlsruhe), J. Keller (Hagen), Ch. Lengauer (Passau), E. Maehle (Lübeck), U. Margull (Ingolstadt), E. W. Mayr (Munich), U. Meyer (Frankfurt), F. Meyer auf der Heide (Paderborn), J. Mottok (Regensburg), W. Nagel (Dresden), M. Philippsen (Erlangen), K. D. Reinartz (Höchstadt), Ch. Scheideler (Paderborn), B. Schnor (Potsdam), U. Schwiegelshohn (Dortmund), P. Sobe (Dresden), C. Trinitis, T. Ungerer (Augsburg), R. Wanka (Erlangen) Organisation Prof. Dr. Wolfgang Karl, Karlsruhe Institute of Technology (KIT), Institute of Computer Engineering (ITEC), 76129 Karlsruhe, Phone/Fax +49-721-608-43771, E-Mail: wolfgang.karl(a)kit.edu Prof. Dr. Rolf Wanka, Univ. Erlangen-Nuremberg, Dept. of Computer Science, 91058 Erlangen, Germany, Phone/Fax +49-9131-8525-152/149, E-Mail: rolf.wanka(a)fau.de

1 0

Logic Colloquium 2018 (LC18): 1st call for contributions
by Dario Della Monica 10 Dec '17

10 Dec '17

We are happy to announce the following event and we would be glad if you could forward this message to whom it might interest. LC 2018 Udine, Italy July 23-28, 2018 https://lc18.uniud.it ________________________________________________________________________ LOGIC COLLOQUIUM 2018 https://lc18.uniud.it The Logic Colloquium 2018 is the annual European summer meeting of the Association of Symbolic Logic (ASL) (http://www.aslonline.org/index.htm) It will be held during July 23-28, 2018, at the University of Udine, Italy, and is organized by the Department of Mathematics, Computer Science, and Physics of the University of Udine. The latest meetings took place in Paris (2010), Barcelona (2011), Manchester (2012), Evora (2013), Vienna (2014), Helsinki (2015), Leeds (2016) and Stockholm (2017). The Association for Symbolic Logic (ASL) is an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, publication, and discussion of scholarly work in this area of inquiry. The Association holds two major annual meetings to present current research in all aspects of logic in a way that is accessible to all logicians. IMPORTANT DATES: ============================ Deadline for abstract submission: April 27, 2018 Deadline for travel grant applications: May 4, 2018 Deadline for early registration: May 23, 2018 Main event: July 23 (9am)- July 28 (1pm) TUTORIAL SPEAKERS: ================== K. Tent (WWU Münster) U. Sattler (University of Manchester) INVITED SPEAKERS: ================= M. Antonutti Marfori (Ludwig-Maximilians-Universität München) A. Atserias (Universitat Politècnica de Catalunya) V. Brattka (Universität der Bundeswehr München) A. Ciabattoni (TU Wien) P. D’Aquino (Università degli Studi della Campania) P. Oliva (Queen Mary University of London) L. Patey (Institut Camille Jordan, Lyon) A. Tserunyan (University of Illinois at Urbana-Champaign) S. Unger(Tel Aviv University) M. Viale (Università degli studi di Torino) D. Westerstahl (Stockholm University) GOEDEL SPEAKER: ================ R. Downey (Victoria University of Wellington) SPECIAL SESSIONS: ================= 6 special sessions with topics: * Descriptive set theory and dynamical systems: Chairs: B. Miller (Universität Wien), A. Törnquist (København Universitet) * Model theory: Chairs: F. Wagner (Université Lyon I), E. Casanovas (Universitat de Barcelona) * Proof theory and constructivism: Chairs: S. Ghilardi (Università degli Studi di Milano), G. Sambin (Università degli Studi di Padova) * Temporal and multivalued logics: Chairs: M. Lange (Universität Kassel), B. Gerla (Università dell'Insubria) * Computability theory: Chairs: A. Sorbi (Università di Siena 1240), P. Shafer (University of Leeds) * Philosophy of Logic and Mathematics: Chairs: J. Kennedy (University of Helsinki), G. Sagi (University of Haifa) PROGRAM COMMITTEE: ============= D. Macpherson (Chair) (University of Leeds) S. Demri (CNRS) A. Kechris (California Institute of Technology) C. Laskowski (University of Maryland) A. Marcone (Università degli Studi di Udine) A. Montalban (UC Berkeley) P. Pudlàk (Czech Academy of Sciences) G. Sher (UC San Diego) D. Sinapova (University of Illinois at Chicago) LOCAL ORGANIZATION COMMITTEE: ============= Department of Mathematics, Computer Science and Physics, University of Udine, Italy G. D'Agostino (Co-Chair) A. Montanari (Co-Chair) V. Dimonte G. Gherardi A. Marcone F. Parlamento C. Piazza D. Della Monica M. Fiori Carones N. Gigante A. Molinari M. Valenti For questions please contact lc18(a)uniud.it SUBMISSIONS: =================== Abstracts of contributed papers must be submitted as pdf file via EasyChair at the URL: https://easychair.org/conferences/?conf=lc18. If you do not have an EasyChair account yet, you can create one at https://easychair.org/ Abstract should be prepared according to the ASL instructions http://www.aslonline.org/rules_abstracts.html using the ASL abstract style (available at http://aslonline.org/abstractresources.html) For submission instructions see https://lc18.uniud.it starting from January 2018. The deadline for submissions is April 27, 2018. If electronic submission is not possible, abstracts should be mailed to: Prof. H. Dugald Macpherson, PC chair of Logic Colloquium 2018, School of Mathematics, University of Leeds, Leeds LS2 9JT, UK. Upon notification of acceptance, authors will be requested to submit the TeX source files. Abstracts are published as part of the meeting report in The Bulletin of Symbolic Logic only if at least one author is a member of the ASL at the time the report is sent for publication. Abstracts of contributed papers submitted by ASL members will be published in The Bulletin of Symbolic Logic, provided that they satisfy the Rules for Abstracts (see above). APPLICATIONS FOR STUDENT TRAVEL GRANTS: ======================= The ASL, the NSF, and the local organizing committee will make available modest travel awards to graduate students in logic and to recent PhDs to attend the meeting. For more details on the grants, see: http://www.aslonline.org/studenttravelawards.html . Applications for student travel grants and recommendations should be received between January 1 and May 4, 2018. They should be submitted electronically, by email to LC18grant(a)uniud.it If electronic submission is not possible, applications and recommendations should be mailed to: Prof. H. Dugald Macpherson, PC chair of Logic Colloquium 2018, School of Mathematics, University of Leeds, Leeds LS2 9JT, UK. The application should follow the instructions on https://lc18.uniud.it/applications Applicants will be notified in time to be able to register with the early registration fee. ______________________________________________ Event sponsored by ASL, NSF, SILFS and AILA. ______________________________________________ Association of Symbolic Logic (ASL): http://www.aslonline.org ASL newsletters: https://www.aslonline.org/info-newsletter.html -- Dario Della Monica, Postdoctoral Researcher Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione (DIETI) University of Naples "Federico II" via Claudio, 21, 80125 Naples, Italy cell: (+39) 328 2477327 email: dario.dellamonica [at] unina.it skype: dariodellamonica web site: http://wpage.unina.it/dario.dellamonica/

1 0

Two Research Fellow Positions at NTU Singapore on Green Data Center
by Tan Rui (Asst Prof) 10 Dec '17

10 Dec '17

Two Research Fellow positions with competitive remuneration are immediately available at School of Computer Science and Engineering (SCSE), Nanyang Technological University (NTU). The positions are part of a research project under Singapore’s strategic Green Data Center Program that aims at improving data center energy efficiency. The project will unprecedentedly provide full access to a newly built data center testbed that hosts nearly 100 servers, with system faults, failures, and server hardware damage allowed. Through extensive experimentation and data analytics, the research will explore basic relationships among server workload, computing performance, hardware component reliability, thermal condition, air flows, and etc under Singapore’s tropic environment condition. The results will provide basis for stipulating new construction and operation guidelines for Singapore's data center industry. The candidate should have obtained a PhD degree in computer science/engineering (or relevant disciplines) and demonstrated strong research ability by publications on venues in the areas of cyber-physical systems (CPS) and data analytics. Knowledge and experiences with data centers are pluses. Interested candidates can send CV with full publication list to Dr. Rui Tan at tanrui(a)ntu.edu.sg. The group that the successful candidates will join is dedicated to CPS and IoT research. We aim to conduct quality research and publish on prestigious CPS/IoT venues. Our past work has been recognized by multiple Best Paper Awards and Runner-Ups. We sincerely invite candidates with great passion for systems research to join us! ________________________________ CONFIDENTIALITY: This email is intended solely for the person(s) named and may be confidential and/or privileged. If you are not the intended recipient, please delete it, notify us and do not copy, use, or disclose its contents. Towards a sustainable earth: Print only when necessary. Thank you.

1 0

The Second International Workshop on Parallel and Distributed Data Mining (WPDM 2018)
by Massimo Cafaro 05 Dec '17

05 Dec '17

The Second International Workshop on Parallel and Distributed Data Mining (WPDM 2018) CALL FOR PAPERS As part of The 18th International Conference on Computational Science and Its Applications (ICCSA 2018), http://www.iccsa.org July 2 - 5 2018, Melbourne, Australia Submission Deadline: January 28, 2018 SCOPE AND OBJECTIVES The Workshop on Parallel and Distributed Data Mining is an international forum which brings together researchers and practitioners working on different high-performance aspects of data mining algorithms, enabling novel applications. Data mining techniques and algorithms to process huge amount of data in order to extract useful and interesting information have become popular in many different contexts. Algorithms are required to make sense of data automatically and in efficient ways. Nonetheless, even though sequential computer systems performance is improving, they are not suitable to keep up with the increase in the demand for data mining applications and the data size. Moreover, the main memory of sequential systems may not be enough to hold all the data related to current applications. Therefore, there is an increasing interest in the design and implementation of parallel data mining algorithms. On parallel computers, by exploiting the vast aggregate main memory and processing power of processors and accelerators, parallel algorithms can easily address both the running time and memory requirement issues. Anyway, parallelizing existing algorithms in order to achieve good performance and scalability with regard to massive datasets is not trivial. Indeed, it is of paramount importance a good data organization and decomposition strategy in order to balance the workload while minimizing data dependences. Another concern is related to minimizing synchronization and communication overhead. Finally, I/O costs should be minimized as well. The Workshop will allow exchanging ideas and results related to on-going research, focusing on high-performance aspects of data mining algorithms and applications. Creating breakthrough parallel algorithms for high-performance data mining applications requires addressing several key computing problems which may lead to novel solutions and new insights in interdisciplinary applications. The focus of the workshop is on all forms of advances in high-performance data mining algorithms and applications, and related topics. The WPDM Workshop topics include (but are not limited to) the following: - Parallel data mining algorithms using MPI and/or OpenMP - Parallel data mining algorithms targeting GPUs and many-cores accelerators - Parallel data mining applications exploiting FPGA - Distributed data mining algorithms - Benchmarking and performance studies of high-performance data mining applications - Novel programming paradigms to support high-performance computing for data mining - Performance models for high-performance data mining applications and middleware - Programming models, tools, and environments for high-performance computing in data mining - Caching, streaming, pipelining, and other optimization techniques for data management in high-performance computing for data mining INSTRUCTIONS FOR PAPER SUBMISSIONS You are invited to submit original and unpublished research works on above topics. Submitted papers must not have been published or simultaneously submitted elsewhere. The submitted paper must be between 10 to 16 pages long and formatted according to the Springer LNCS (Lecture Notes in Computer Science) rules, Guidelines and templates can be found at the url http://www.springer.com/it/computer-science/lncs/conference-proceedings-gui… To submit a paper, please connect to the Submission site from the link available at the ICCSA 2018 web site: http://ess.iccsa.org. Only papers submitted through the electronic system and strictly adhering to the relevant format will be considered for reviewing and publication. Please pay attention, when submitting your contribution to the workshop, to select the right entry in the listbox shown in the submission form. CONFERENCE POLICY By submitting the paper to ICCSA conference, all authors agree to abide by all ICCSA conference paper submission, publication and presentation policies. Namely, authors confirm that the work is original, has not appeared in literature in any form in the past and will not be submitted to any other venue concurrently with ICCSA submission or until it appears in ICCSA proceedings (in the case of acceptance). Furthermore, upon paper acceptance, authors agree to transfer copyright on the accepted paper to ICCSA, and one of the authors will register the paper and present the paper at the event. No paper withdrawals can be accepted after Conference pre-registration date or within three months of the actual event, whichever date comes first. Paper withdrawal request can be only accepted in writing through email, letter or fax to conference organizers. The conference has no responsibility for any intentional or accidental misuse, misinterpretation, or failure to follow above rules and conditions and holds no legal, civil or other responsibility for opinions, content or utilization of any methods/algorithms expressed in the Conference Proceedings. If you have any questions about paper submission or the workshop, please contact the workshop organisers. IMPORTANT DATES January 28, 2018: Deadline for paper submission April 8, 2018: Notification of Acceptance. May 6, 2018: Early-bird Registration ends. May 6, 2018: Submission deadline for the final version of the Papers July 2-5, 2018: ICCSA 2018 Conference WORKSHOP ORGANIZERS Massimo Cafaro University of Salento, Italy Phone: +39 0832 297371 Fax: +39 0832 297235 Email: massimo.cafaro(a)unisalento.it Italo Epicoco University of Salento, Italy Phone: +39 0832 297235 Fax: +39 0832 297235 Email: italo.epicoco(a)unisalento.it Marco Pulimeno University of Salento, Italy Phone: +39 0832 297371 Fax: +39 0832 297235 Email: marco.pulimeno(a)unisalento.it Giovanni Aloisio University of Salento & Euro Mediterranean Center on Climate Change Foundation, Italy Phone: +39 334 6501704 Fax: +39 0832 297235 Email: giovanni.aloisio(a)unisalento.it International Program Committee: All submitted papers will be reviewed by the workshop technical program committee members. Program Committee formation is pending and will be finalised shortly. Current TPC members: Gianfranco Bilardi, University of Padova, Italy Alfredo Cuzzocrea, University of Trieste and ICAR-CNR, Italy Giuliano Laccetti, University of Naples, Italy Pablo Moscato, University of Newcastle, Australia Domenico Talia, University of Calabria, Italy Paolo Trunfio, University of Calabria, Italy Jeffrey D. Ullman, Stanford University, USA - ************************************************************************************ Massimo Cafaro, Ph.D. Associate Professor Dept. of Engineering for Innovation University of Salento, Lecce, Italy Via per Monteroni 73100 Lecce, Italy Voice/Fax +39 0832 297371 Web http://sara.unisalento.it/~cafaro E-mail massimo.cafaro(a)unisalento.it cafaro(a)ieee.org cafaro(a)acm.org CMCC Foundation Euro-Mediterranean Center on Climate Change Via Augusto Imperatore, 16 - 73100 Lecce massimo.cafaro(a)cmcc.it ************************************************************************************

1 0

CFP- Complexis 2018: 3rd International Conference on Complexity, Future Information Systems and Risk Extended Deadline
by Anna Kobusińska 05 Dec '17

05 Dec '17

--------------------------- CALL FOR PAPERS --------------------------- Dear Colleagues: We cordially invite you to share your latest research results at the 2018 Complexis Conference. Due to many requests, the regular papers submission deadline of this conference has been extended: EXTENDED DEALINE OF POSITION PAPERS: *DECEMBER 6, 2017 * 3rd International Conference on Complexity, Future Information Systems and Risk (COMPLEXIS 2018) Funchal, Madeira / Portugal March 19 - 21, 2018 http://www.complexis.org/ https://www.facebook.com/ES2014ECs2015 ---------------------------- IMPORTANT DATES ---------------------------- Position Papers Paper Submission: December 6, 2017 Authors Notification: January 11, 2018 Camera Ready and Registration: January 24, 2018 Workshops Paper Submission: January 11, 2018 Authors Notification: January 25, 2018 Camera Ready and Registration: February 2, 2018 Doctoral Consortium Paper Submission: January 15, 2018 Authors Notification: January 26, 2018 Camera Ready and Registration: February 7, 2018 Special Sessions Special Session Proposal: December 13, 2017 Tutorials Tutorial Proposal: January 30, 2018 Demos Demo Proposal: January 30, 2018 Panels Panel Proposal: January 30, 2018 Open Communications Paper Submission: January 15, 2018 Authors Notification: January 26, 2018 Camera Ready and Registration: February 7, 2018 Forums Paper Submission: January 15, 2018 Authors Notification: January 26, 2018 Camera Ready and Registration: February 7, 2018 ---------------------------- Conference Scope: COMPLEXIS – the International Conference on Complexity, Future Information Systems and Risk, aims at becoming a yearly meeting place for presenting and discussing innovative views on all aspects of Complex Information Systems, in different areas such as Informatics, Telecommunications, Computational Intelligence, Biology, Biomedical Engineering and Social Sciences. Information is pervasive in many areas of human activity – perhaps all and complexity is a characteristic of current Exabyte- sized, highly connected and hyper dimensional, information systems. COMPLEXIS 2018 is expected to provide an overview of the state of the art as well as upcoming trends, and to promote discussion about the potential of new methodologies, technologies and application areas of complex information systems, in the academic and corporate world. Conference Areas: 1 - Complexity in Informatics, Automation and Networking 2 - Complexity in Biology and Biomedical Engineering 3 - Complexity in Social Sciences 4 - Complexity in Computational Intelligence and Future Information Systems 5 - Complexity in EDA, Embedded Systems, and Computer Architecture 6 - Network Complexity 7 - Complexity in Risk and Predictive Modeling ---------------------------- PUBLICATION ---------------------------- All papers presented at the congress venue will also be available at the SCITEPRESS Digital Library. Proceedings will be submitted for indexation by: DBLP, Thomson-Reuters Conference Proceedings Citation Index, INSPEC, EI and SCOPUS A short list of presented papers will be selected and their revised and extended versions will be published in the *Special Issue of Journal of Grid Computing (JGC)*. Other special issues in the high quality journals like FGCS are also being discussed. ---------------------------- KEYNOTE SPEAKERS ---------------------------- Tobias Hoellwarth, EuroCloud Europe, Austria Péter Kacsuk, MTA SZTAKI, Hungary --------------------------- WORKSHOPS: --------------------------- Big Data Analytics and IoT for Smarter Healthcare - IoTforeHealth (IoTBDS) Chairs: Farshad Firouzi, Bahar Farahani and Victor Chang Submission: January 11, 2018 ---------------------------- PUBLICATION ---------------------------- In Cooperation with: International Federation for Systems Research European Association for Theoretical Computer Science All papers presented at the conference venue will also be available at the SCITEPRESS Digital Library. Proceedings will be submitted for indexation by: DBLP, Thomson-Reuters Conference Proceedings Citation Index, INSPEC, EI and SCOPUS ------------------------------- Organizing Committees ------------------------------- CONFERENCE CHAIR Victor Chang, Xi'an Jiaotong-Liverpool University, China PROGRAM CO-CHAIRS Víctor Méndez Muñoz, Universitat Autònoma de Barcelona, UAB, Spain Muthu Ramachandran, Leeds Beckett University, United Kingdom PUBLICITY CHAIR Anna Kobusinska, Poznan University of Technology, Poland Keynote Speaker Ernesto Estrada, University of Strathclyde, United Kingdom Please visit the IEEE COMPLEXIS 2018 website http://www.complexis.org/ProgramCommittee.aspx for the complete listing of organizing committee and TPC members.

1 0

Deadline Extension for ACM GLSVLSI'18 and Call for Special Sessions
by Yi-Chung Chen 04 Dec '17

04 Dec '17

[Apologies if you receive multiple copies of this email] *************** DEADLINE EXTENSION: New Paper Submission Deadline: December 21, 2017. (Final Deadline) IN ADDITION, CALL FOR SPECIAL SESSIONS: http://www.glsvlsi.org/GLSVLSI18-Special-Session-CFP.pdf The 28th Edition of the ACM Great Lakes Symposium on VLSI (GLSVLSI), Sponsored by ACM SIGDA Conference dates: May 23-25, 2018 Location: Chicago, USA http://www.glsvlsi.org/ The 28th edition of GLSVLSI will be held in Chicago. Original, unpublished papers describing research in the general areas of VLSI and hardware design are solicited. Please visit http://www.glsvlsi.org/·for more information. In addition to the traditional topic areas of GLSVLSI listed below, papers are solicited for a special theme of IoT Hardware and Heterogeneous Computing for Artificial Intelligence. - Track 1: VLSI Design - Track 2: VLSI Circuits and Power Aware Design - Track 3: Computer-Aided Design (CAD) - Track 4: Testing, Reliability, Fault-Tolerance - Track 5: Emerging Computing & Post-CMOS Technologies - Track 6: Hardware Security - Track 7: VLSI for Machine Learning and Artificial Intelligence Details of the requirements that each track places on submitted papers can be found on the conference website. Paper Submission Guidelines ============================ Authors are invited to submit full-length (6 pages maximum), original, unpublished papers along with an abstract of at most 200 words. To enable blind review, the author list should be omitted from the main document. Previously published papers or papers currently under review for other conferences/journals should NOT be submitted and will not be considered. Electronic submission in PDF format to the http://www.glsvlsi.org/ website is required. Author and contact information (name, affiliation, mailing address, telephone, fax, e-mail) must be entered during the submission process. Paper Format: Submissions should be in camera-ready two-column format, following the ACM proceedings specifications located at: http://www.acm.org/publications/proceedings-template-16dec2016and the classification system detailed at: http://www.acm.org/publications/class-2012. Paper Publication and Presenter Registration: Papers will be accepted for regular or poster presentation at the symposium. Every accepted paper MUST have at least one author registered to the symposium by the time the camera-ready paper is submitted; at least one of the authors is also expected to attend the symposium and present the paper. Important Dates ============================ Paper submission deadline: December 21, 2017 Acceptance Notification: February 13, 2018 Camera-Ready Paper Due: March 13, 2018 Special Session Proposal submission deadline: January 15, 2018 Notification of acceptance/rejection: January 31, 2018 Organizers ============================ General Chair: Deming Chen University of Illinois at Urbana-Champaign, USA Program Co-Chairs: Houman Homayoun George Mason University, USA Baris Taskin Drexel University, USA Finance Chair: Weisheng Zhao Beihang University, China Local Chair: Qi Zhu Northwestern University, USA Publicity Co-Chairs: Robert Wille Johannes Kepler University, Austria Yuan-Hao Chang Academia Sinica, Taiwan Miao Hu Binghamton University, USA Special Sessions Chair: Yanjing Li University of Chicago, USA Web & Registration Chair: Yi-Chung Chen SUNY at New Paltz, USA Proceedings Chair: Kyle Rupnow Inspirit IoT, Inc., USA

1 0