[Om-announce] CICM 2015 - Call for Work-in-Progress Papers
Call for Work-in-Progress Papers Conference on Intelligent Computer Mathematics CICM 2015 13-17 July 2015 Washington DC, USA Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. Separate communities have developed to investigate and build computer based systems for computer algebra, automated deduction, and mathematical publishing as well as novel user interfaces. While all of these systems excel in their own right, their integration can lead to synergies offering significant added value. The Conference on Intelligent Computer Mathematics (CICM) offers a venue for discussing and developing solutions to the great challenges posed by the integration of these diverse areas. CICM has been held annually as a joint meeting since 2008, co-locating related conferences and workshops to advance work in these subjects. Previous meetings have been held in Birmingham (UK 2008), Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011), Bremen (Germany 2012), Bath (UK 2013), and Coimbra (Portugal 2014). This is a (short version of the) call for Work-in-Progress papers for CICM 2015, which will be held in Washington, D.C., 13-17 July 2015. We solicit for papers which describe work in progress, recent developments, and other work of interest to our communities which does not yet have the maturity for archival proceedings. The full version of the CFP is available from the conference web page at http://cicm-conference.org/2015/cicm.php ** The principal tracks of the conference will be: ** * Calculemus (Symbolic Computation and Mechanised Reasoning) Chair: Jacques Carette * DML (Digital Mathematical Libraries) Chair: Volker Sorge * MKM (Mathematical Knowledge Management) Chair: Cezary Kaliszyk * Systems and Data Chair: Florian Rabe Publicity chair is Serge Autexier. The local arrangements will be coordinated by the Local Arrangements Chairs, Bruce R. Miller (National Institute of Standards and Technology, USA) and Abdou Youssef (The George Washington University, Washington, D.C.), and the overall programme will be organized by the General Programme Chair, Manfred Kerber (U. Birmingham, UK). ** Important Dates ** Work-in-progress and Doctoral Programme submissions: Submission deadline: Full Work-in-Progress submission* 4 May 2015 Notification of acceptance:25 May 2015 Camera ready copies due:1 June 2015 Conference: 13-17 July 2015 * or for the Doctoral Programme: Abstract+CV More detailed information, e.g. on submission via EasyChair, can be found on http://cicm-conference.org/2015/cicm.php ___ Om-announce mailing list Om-announce@openmath.org http://openmath.org/mailman/listinfo/om-announce
[Om-announce] The European Master's Program in Computational Logic: Application until 31 May 2015
Dear all, I'd like to draw your attention to the fact that applications for the European Master's Program in Computational Logic are still possible UNTIL 31 May 2015. More details are given below. Please spread this information as wide as possible among friends and colleagues, at your old universities and the places, where you currently live and work. Many thanks -- Steffen *** The European Master's Program in Computational Logic We are glad to announce to you the possibility to join our European Master's Program of Computational Logic. This program is offered jointly at the Free-University of Bozen-Bolzano in Italy, the Technische Universität Dresden in Germany, the Universidade Nova de Lisboa in Portugal and the Technische Universität Wien in Austria. Within this program you have the choice to study at two /three of the four European universities. In addition, you can do your project work at the National ICT of Australia (NICTA). You will graduate with a MSc in Computer Science and obtain a joint degree. Information on the universities and the program including the application procedure is provided here: http://www.emcl-study.eu/home.html Language of instruction is English. Tuition fees are 3.000 EUR (for non-European students) and 1.000 (for European students) per year. Do not hesitate to contact us if you have any further questions. Kind regards -- Steffen Hölldobler Prof. Dr. Steffen Hoelldobler International Center for Computational Logic Technische Universität Dresden 01062 Dresden, Germany phone: [+49](351)46 33 83 40 fax: [+49](351)46 33 83 42 email: s...@iccl.tu-dresden.de -- TU Dresden Department of Computer Science International Center for Computational Logic 01062 Dresden,Germany Tel.: +49 (0)351 463 38341 -- In the case, you do not want to receive this email, please write an email to tobias.phil...@tu-dresden.de, subject: UNSUBSCRIBE ___ Om-announce mailing list Om-announce@openmath.org http://openmath.org/mailman/listinfo/om-announce
[Om-announce] xSAP 1.0.0 has been released
The Embedded Systems Unit at Fondazione Bruno Kessler, Trento, Italy is happy to announce the availability of xSAP 1.0.0 xSAP is a tool for safety assessment of synchronous finite-state and infinite-state systems, based on symbolic model checking techniques. xSAP provides the following main capabilities: * Library-based specification of faults, fault effects, and fault dynamics * Automatic model-extension with fault specifications * Fault Tree Analysis (FTA) and generation of Minimal Cut Sets (MCS) for dynamic systems, for both the monotonic and non-monotonic case * Failure Modes and Effects Analysis (FMEA) * Fault propagation analysis based on Timed Failure Propagation Graphs (TFPG) * Common Cause Analysis (CCA) xSAP is currently licensed in binary form, for non-commercial or academic purposes. Inquiries about other usages of xSAP should be addressed to x...@fbk.eu The list of xSAP users is open for registration and discussion xsap-us...@list.fbk.eu Visit http://xsap.fbk.eu/ for more detailed information and download. Other useful links: * Feature requests and bug reports: http://es.fbk.eu/tools/xsap/index.php?n=BugReport.Home ___ Om-announce mailing list Om-announce@openmath.org http://openmath.org/mailman/listinfo/om-announce
[Om-announce] [SOFTNET 2015] Call for Papers, Submission deadline April 30th
(Our apologies if you receive multiple copies of this CFP) Soft Computing Methods for the Design, Deployment, and Reliability of Networks and Network Applications (SOFTNET 2015) in conjunction with IFIP NTMS 2015 27-29 July 2015, Paris, France http://www.ntms-conf.org Technically supported by IEEE, IEEE COMSOC IFIP TPC6 All accepted papers will be published in IEEE Xplore IMPORTANT DATES === April 30: Paper Submission Due Date May 30: Notification to Authors June 15: Camera Ready Paper Due Date The widespread of the internet has given further opportunities for providing new services and web-based applications. However, such applications are often accompanied by a high complexity, and the number of standards, to which an application must follow, is rapidly increasing. Representing related problems as optimization problems will often not find an exact analytical solution anymore, and the need for advanced heuristic techniques becomes prevalent. Heuristic techniques provide a wealth of methods to handle tasks in complex application domains. Among such techniques we can find evolutionary computation, tabu search, simulated annealing, as well as many probabilistic, hybrid and ensemble approaches. This workshop will focus on soft computing methods to tangent the needs of modern internet-based applications and their underlying networking layer. It is supposed to bring together researchers from different communities with the similar need, and to provide a base for scientific exchange of research ideas. Topics of interest include but are not limited to: - Network design - Handling networking problems by graph theory - QoS/QoE solutions - Modeling of network-based services - Scaling of network - Human-machine interface - Digital convergence - User modeling - Network bottleneck identification - Efficient content delivery schemes - Service authentication and authorization schemes - Service scheduling - Network security - Service and content retrieval and ranking - Debugging of internet-based applications PAPER SUBMISSION Papers are to be submitted electronically on the EDAS web site of the conference in PDF format. Submissions should be original and limited to 5 double-column pages, and should follow IEEE paper templates. Paper with more pages can be accepted however they need to be reduced to 5 pages for publication. Accepted and presented papers will be published in the conference proceedings and submitted to IEEE Xplore as well as other Abstracting and Indexing (AI) databases. COMMITTEES Workshop Co-chairs Masato Tsuru, Kyushu Institute of Technology, Japan Mario Koeppen, Kyushu Institute of Technology, Japan TPC Members: Stuart ALLEN, Cardiff University, UK Sebastian BASTERRECH, VSB Ostrava, Czech Republic Christian BLUM, Universidad del Pais Vasco, Spain Ugo FIORE, Universita degli Studi di Napoli Federico II, Italy Akihiro FUJIHARA, Fukui University of Technology, Japan Hiroyoshi MIWA, Kwansei Gakuin University, Japan Dritan NACE, Universite de Technologie de Compiegne, France Kei OHNISHI, Kyushu Institute of Technology, Japan Guenther RAIDL, Vienna University of Technology, Austria Layth SLIMAN, EFREI, Paris, France Masato UCHIDA, Chiba Institute of Technology, Japan Fatos XHAFA, Universitat Politecnica de Catalunya, Spain Kaori YOSHIDA, Kyushu Institute of Technology, Japan Neng-Fa ZHOU, Brooklyn College the City University of New York, USA ___ Om-announce mailing list Om-announce@openmath.org http://openmath.org/mailman/listinfo/om-announce
[Om-announce] [WSN-ADT2015] Call for Papers, Submission deadline April 30th
(Our apologies if you receive multiple copies of this CFP) Workshop on Wireless Sensor Networks Architectures, Deployments, and Trends (WSN-ADT) in conjunction with IFIP NTMS 2015 27-29 July 2015, Paris, France http://www.ntms-conf.org Technically supported by IEEE, IEEE COMSOC IFIP TPC6 All accepted papers will be published in IEEE Xplore IMPORTANT DATES: = April 30: Paper Due Date May 30: Notification to Authors June 15: Camera Ready Paper Due Date Overview: WSN workshop will be a one day workshop that will be held in conjunction with the IFIP New Technologies Mobility (NTMS) 2015 Conference in Paris, France. Papers published in the WSN workshop will appear in the proceedings of NTMS 2015 conference. Accepted and presented papers will be published in the conference proceedings and submitted to IEEE Xplore as well as other Abstracting and Indexing (AI) databases. Wireless Sensor Networks (WSNs) continue to attract a lot of attention from the academia and industry among researchers, industrials, equipment and chip manufacturers and service providers for promoting large-scale deployments in many applications, such as environmental monitoring, military and medical surveillance, health wellness applications, intelligent traffic management and user's tracking and identification, including human computer interaction. With the advancement in wearable devices industry, the increasing potential of smart homes and environments and the continuous requirement for personalization and context-aware applications, WSNs enter a new technological era and contribute to several new sensing products and applications (e.g. body sensors for medical surveillance, wireless visual sensors for environmental monitoring, WSNs in smart roads for intelligent traffic management and roads safety, wireless sensors in wearable devices, speed and motion sensors in personal devices, light and noise sensors in smart phones and tablets). In parallel, new architectures spanning the interactions between cloud services, smart devices and distributed sensors are evolving, which enable new business models and deployments of sensors to enhance user benefit. While continuous improvements are addressing specific WSN issues spanning hardware, new devices, network protocols, WSNs deployment architectures, operating systems, and applications, several research areas are still emerging from new needs and challenges. To address these issues, the NTMS'2014 Wireless Sensor Networks (WSNs) workshop invites unpublished, high-quality contributions that focus on the applications, use-cases, architectures, deployments, and recent advances of Wireless Sensor Networks. The workshop is an opportunity for researchers and industrials to share their ideas, experiences, and expectations on the future of WSNs. The workshop seeks original contributions that address the following topics, but not limited to: - WSNs new applications and use-cases including (wearable technologies, visual sensing technologies, smart homes and environments, smart roads and context-aware applications) - New architectures for WSNs - WSNs hardware and new devices - Low-power wireless technologies - WSNs new protocols - Routing and data transfer in WSNs - Multicast communication in WSNs - Security management in WSNs - Power consumption optimization in WSNs - Prototypes for new applications for WSNs - Platforms and developments tools for WSNs - Programming models for sensors - Languages and operating systems of Sensors - Multi-purpose WSNs - WSNs trends on data gathering, processing, and communication - Distributed smart cameras/smart camera networks PAPER SUBMISSION Papers are to be submitted electronically on the EDAS web site of the conference in PDF format. Submissions should be original and limited to 5 double-column pages, and should follow IEEE paper templates. Paper with more pages can be accepted however they need to be reduced to 5 pages for publication. Accepted and presented papers will be published in the conference proceedings and submitted to IEEE Xplore as well as other Abstracting and Indexing (AI) databases. COMMITTEES Workshop co-Chairs: === Andreas J. Kassler, Karlstad University, Sweden Omar Al Fandi, Zayed University, UAE TPC Members: Bigomokero Bagula, University of Western Cape, South Africa Paolo, Bellavista, University of Bologna, Italy Tiziana Calamoneri, University of Rome Sapienza, Italy Eduardo Cerqueira, Federal University of Para UCLA, Brazil Chin-Chen Chang, Feng Chia University, Taiwan Claude Chaudet, Telecom Paristech, France Jiann-Liang Chen, National Taiwan University of Science and Technology Phan, Cong-Vinh, NTT University, Vietnam Olabisi Falowo, University of Cape Town, South Africa Sven Groppe, University of Luebeck, Germany Aravind Kailas, Algorithms, Models, and Systems Solutions, LLC, USA Ibrahim Kamel, University of
[Om-announce] CFP: post-proceedings of GC 2015
[Apologies if you receive multiple copies] Mathematics in Computer Science Special Issue on Geometric Computation CALL FOR PAPERS This special issue of Mathematics in Computer Science, organized in connection with the International Seminar on Geometric Computation, is devoted to publishing significant results on the development of methods and software tools for approximate, exact, or certified geometric computation, with applications in science, engineering, and industry. Original research papers and insightful survey articles addressing all aspects of geometric computation are solicited. Specific topics for the special issue include, but are not limited to: - Theories, methodologies, models, and data structures for (approximate, exact, or certified) geometric computation - Design and analysis of algorithms for computational Euclidean geometry, discrete geometry, algebraic geometry, real geometry, differential geometry, and topology - Symbolic and algebraic computation for geometric modeling, reasoning, constraint solving, and knowledge management - Applications in computer-aided design, computer graphics, computer vision, image processing, education, etc. - Geometric software design and implementation, packages and tools for geometric computation and visualization Submission Potential authors are cordially invited to submit their papers for publication in the special issue via the EasyChair system at https://www.easychair.org/conferences/?conf=gc2015. Papers submitted to the special issue should be prepared using LaTeX with the class file birkjour_t2.cls or mathincs.cls according to the instructions given at http://www.springer.com/birkhauser/mathematics/journal/11786 and must not have been published or simultaneously submitted for publication in other journals or refereed conference proceedings. Received submissions will be peer-reviewed according to the standard refereeing procedure of Mathematics in Computer Science. Important dates Submission of papers: June 30, 2015 Notification of acceptance: October 31, 2015 Publication of the special issue: Winter 2015/Spring 2016 Guest editors J. Rafael Sendra (University of Alcalá, Spain) Dongming Wang* (HCIC, Guangxi University for Nationalities and Beihang University, China) Jing Yang (HCIC, Guangxi University for Nationalities, China) *On leave from CNRS, France ___ Om-announce mailing list Om-announce@openmath.org http://openmath.org/mailman/listinfo/om-announce