computational.science

computational.science@lists.iccsa.org

1987 discussions

Recruitment - PhD Interns on CPS Security at SUTD, Singapore
by Zhou Jianying 14 Dec '17

14 Dec '17

Singapore University of Technology and Design (SUTD) is a young university which was established in collaboration with MIT. iTrust is a Cyber Security Research Center with about 15 multi-discipline faculty members from SUTD. It has the world's best facilities in cyber-physical systems (CPS) including testbeds for Secure Water Treatment (SWaT), Water Distribution (WADI), Electric Power and Intelligent Control (EPIC), and IoT. (See more info at https://itrust.sutd.edu.sg/research/testbeds/.) I am looking for PhD interns with interest in cyber-physical system security (IoT, water, power grid, transportation, and autonomous vehicle etc.). The attachment will be at least 3 months. Allowance will be provided for local expenses. Interested candidates please send your CV with a research statement to Prof. Jianying Zhou. Contact: Prof. Jianying Zhou Email: jianying_zhou(a)sutd.edu.sg Home: http://jianying.space/ This email may contain confidential and/or proprietary information that is exempt from disclosure under applicable law and is intended for receipt and use solely by the addressee(s) named above. If you are not the intended recipient, you are notified that any use, dissemination, distribution, or copying of this email, or any attachment, is strictly prohibited. Please delete the email immediately and inform the sender. Thank You

1 0

Recruitment - Postdoc / Research Fellow on CPS Security at SUTD, Singapore
by Zhou Jianying 14 Dec '17

14 Dec '17

Singapore University of Technology and Design (SUTD) is a young university which was established in collaboration with MIT. iTrust is a Cyber Security Research Center with about 15 multi-discipline faculty members from SUTD. It has the world's best facilities in cyber-physical systems (CPS) including testbeds for Secure Water Treatment (SWaT), Water Distribution (WADI), Electric Power and Intelligent Control (EPIC), and IoT. (See more info at https://itrust.sutd.edu.sg/research/testbeds/) I am looking for postdocs / research fellows with expertise on cyber-physical system security, especially on the legacy CPS protection. The candidates should have track record of strong R&D capability, be able to perform deep system-level investigations of security mechanisms, be a good team player, and also have good written/oral communication skills. The position will provide an excellent opportunity to perform both basic and translational research in close collaboration with industry. Successful candidates will be offered internationally competitive remuneration, and enjoy high-quality living and low tax rates in Singapore. Interested candidates please send your CV with a research statement to Prof. Jianying Zhou. Contact: Prof. Jianying Zhou Email: jianying_zhou(a)sutd.edu.sg Home: http://jianying.space/ This email may contain confidential and/or proprietary information that is exempt from disclosure under applicable law and is intended for receipt and use solely by the addressee(s) named above. If you are not the intended recipient, you are notified that any use, dissemination, distribution, or copying of this email, or any attachment, is strictly prohibited. Please delete the email immediately and inform the sender. Thank You

1 0

Recruitment - Postdoc / Research Fellow on CPS Security at SUTD, Singapore
by Jianying Zhou 14 Dec '17

14 Dec '17

Singapore University of Technology and Design (SUTD) is a young university which was established in collaboration with MIT. iTrust is a Cyber Security Research Center with about 15 multi-discipline faculty members from SUTD. It has the world’s best facilities in cyber-physical systems (CPS) including testbeds for Secure Water Treatment (SWaT), Water Distribution (WADI), Electric Power and Intelligent Control (EPIC), and IoT. (See more info at https://itrust.sutd.edu.sg/research/testbeds/) I am looking for postdocs / research fellows with expertise on cyber-physical system security, especially on the legacy CPS protection. The candidates should have track record of strong R&D capability, be able to perform deep system-level investigations of security mechanisms, be a good team player, and also have good written/oral communication skills. The position will provide an excellent opportunity to perform both basic and translational research in close collaboration with industry. Successful candidates will be offered internationally competitive remuneration, and enjoy high-quality living and low tax rates in Singapore. Interested candidates please send your CV with a research statement to Prof. Jianying Zhou. Contact: Prof. Jianying Zhou Email: jianying_zhou(a)sutd.edu.sg Home: http://jianying.space/

1 0

Recruitment - PhD Interns on CPS Security at SUTD, Singapore
by Jianying Zhou 14 Dec '17

14 Dec '17

1 1

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

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

computational.science