Cfp May 2018

cfp@alice.wu.ac.at

1 participants
134 discussions

Fwd: [AISWorld] Reminder: Information Systems Stream @ OR60 – Submission 31 May 2018
by Gustaf Neumann 11 May '18

11 May '18

-------- Forwarded Message -------- Subject: [AISWorld] Reminder: Information Systems Stream @ OR60 – Submission 31 May 2018 Date: Fri, 11 May 2018 08:59:23 +0000 From: Crispin Coombs <C.R.Coombs(a)lboro.ac.uk> To: aisworld(a)lists.aisnet.org <aisworld(a)lists.aisnet.org> ********* Information Systems at OR60 ********* Annual Operational Research Society Conference (OR60) 11 – 13 September 2018 Lancaster University, Bailrigg, Lancaster, United Kingdom http://www.theorsociety.com/Pages/Conferences/OR60/OR60.aspx<http://www.theorsociety.com/Pages/Conferences/OR59/OR59.aspx> A collaborative stream between the Operational Research Society and the UK Academy for Information Systems. ********************** Call for papers Following an extremely successful Information Systems stream in 2017, UKAIS and the Operational Research Society (home of the European Journal of Information Systems) are delighted to offer an Information Systems stream at OR60 in 2018. New developments in Analytics, Big Data, Data Science, and Artificial Intelligence rely on digital devices and the Internet of Things (IoT) that are in continuous use and are capable of monitoring the minutiae of our lives. Huge quantities of real time data are generated and processed through pre-determined algorithms that provide the information that many decision makers depend on. However, the quality of the information that is produced by these algorithms is contingent on the quality of the information systems and their data. Therefore, embedding sophisticated analytics efforts and simulation models into the everyday work of the business requires integration with the processes and information systems that support them combined with changing the behavior of the people who perform that work. Motivated by a symbiotic relationship, this collaborative stream between the Operational Research Society and the UK Academy for Information Systems seeks contributions that examine the relationships between information systems and operational research for the benefit of individuals, organizations and/or wider society. *********************** Topics The stream’s topics of interest include, but are not limited to: * • Algorithmic decision making and people * • Big data analytics * • Big data and Internet of Things in organizations * • Business analytics and business value * • Business Intelligence * • Co-creating and capturing business value from IT * • Cognitive computing * • Information sharing and big data analytics * • Machine learning and analytics * • Managing big data projects * • Robot process automation * • Strategic and change management issues stemming from big data analytics ************************* Abstract Submission Prospective authors are welcome to discuss proposals for papers with stream organizers, in advance of submission. Authors need to submit a title and 300-word abstract of their paper by 31 May 2018. Abstracts should not contain mathematical symbols, graphs, tables, or references. The abstract should state if the paper is theoretical, practical, or a mix of the two. It should indicate important methodological information and major results. It is not compulsory to produce a full paper in order to present at the conference. Electronic submission:http://www.theorsociety.com/Pages/Conferences/OR60/OR60Abstract.… ************************ Organizers If you have any queries please contact the stream organizers: Crispin Coombs Loughborough University C.R.Coombs(a)lboro.ac.uk<mailto:C.R.Coombs@lboro.ac.uk> Oliver Kayas Manchester Metropolitan University O.Kayas(a)mmu.ac.uk<mailto:O.Kayas@mmu.ac.uk> Best Crispin ________________________________ Dr Crispin Coombs Reader in Information Systems Head of Information Management Group Senior Editor, Information Technology & People School of Business and Economics Loughborough University, UK 01509 228835<tel:01509%20228835> www.lboro.ac.uk/cim<http://www.lboro.ac.uk/cim> LinkedIn<http://uk.linkedin.com/in/crispincoombs/> | Publications<http://scholar.google.com/citations?user=RBU91cAAAAAJ> _________________________________ _______________________________________________ AISWorld mailing list AISWorld(a)lists.aisnet.org

1 0

Fwd: [AISWorld] Cfp HICSS 52, Organizational Learning Minitrack
by Gustaf Neumann 10 May '18

10 May '18

-------- Forwarded Message -------- Subject: [AISWorld] Cfp HICSS 52, Organizational Learning Minitrack Date: Wed, 9 May 2018 23:15:12 -0700 From: Murray Jennex <mjennex(a)sdsu.edu> To: aisworld(a)lists.aisnet.org, Murray Jennex <mjennex(a)sdsu.edu> *[image: http://www.hicss.hawaii.edu/HICSS-b1.jpg]* <http://www.hicss.hawaii.edu/>[image: http://hicss.hawaii.edu/wp-content/uploads/2016/09/hicss-logowithshidler-pi…] *Where Ideas Meet and Science Speaks * *HICSS – 52* *January 8-11, 2019 Grand Wailea, Maui* Welcome to the HICSS research community! Since 1968, the Hawaii International Conference on System Sciences (HICSS) has been known worldwide as the longest-standing working scientific conferences in Information Technology Management. HICSS provides a highly interactive working environment for top scholars from academia and the industry from over 60 countries to exchange ideas in various areas of information, computer, and system sciences. Recent research shows HICSS ranked *second* in citation ranking among 18 Information Systems (IS) conferences, ranked *third* in value to the MIS field among 13 Management Information Systems (MIS) conferences, and ranked *second* in conference rating among IS conferences. *MINI TRACK* *on** Organizational Learning:* *CALL FOR PAPERS* *The Knowledge Management community is pleased to announce the Call for Papers for HICSS-51 to be held in Hawaii. We welcome submissions for this Mini- Track in Organizational Learning from a variety of disciplines and perspectives focusing on:* · *Organizational learning**:** Individual, group and organizational learning processes or methods; Issues of adaptation, routines or resistance issues* · *Organizational Knowledge**:** Creation, acquisition, transfer and change within organizations including the challenges faced by leadership* · *Managing Knowledge**:** ethical and cultural considerations, local, virtual and global issues* · *Organizational Knowledge**:** sense-making, memory, or forgetting* · *Examining Learning and Knowledge Organizations**:** Promoting learning and knowledge leaders, learning and knowledge workers and their organizations* *Important Dates for Paper Submission *June 15, 2018 | 11:59 pm HST: Paper Submission Deadline August 17, 2018: Notification /September 22, 2018: Deadline for Final Manuscript for Publication _______________________________________________ AISWorld mailing list AISWorld(a)lists.aisnet.org

1 0

Fwd: [computational.science] (CALL FOR PAPERS) PAW-ATM: Parallel Applications Workshop, Alternatives To MPI
by Gustaf Neumann 09 May '18

09 May '18

-------- Forwarded Message -------- Subject: [computational.science] (CALL FOR PAPERS) PAW-ATM: Parallel Applications Workshop, Alternatives To MPI Date: Tue, 8 May 2018 21:21:01 +0000 From: Morris, Karla NMN via computational.science <computational.science(a)lists.iccsa.org> Reply-To: Morris, Karla NMN <knmorri(a)sandia.gov> To: sdmas(a)googlegroups.com <sdmas(a)googlegroups.com>, TCSC(a)cse.stfx.ca <TCSC(a)cse.stfx.ca>, fttc(a)dependability.org <fttc(a)dependability.org>, computational.science(a)lists.iccsa.org <computational.science(a)lists.iccsa.org> ************************************************ Call for Papers PAW-ATM: Parallel Applications Workshop, Alternatives To MPI Held in conjunction with SC 18, Dallas, TX <http://sourceryinstitute.github.io/PAW/> ************************************************ Summary As high-performance computing hardware incorporates increasing levels of heterogeneity, hierarchical organization, and complexity, parallel programming techniques necessarily grow in complexity or in their ability to abstract away complexity. The concurrent development of multi- and many-core processors, deep memory hierarchies, and accelerators and the variety of ways to combine these makes the low-level language route unmanageable for domain experts tasked with developing applications. The technologies that a competent developer might be expected to master and combine include MPI plus CUDA, OpenMP, and OpenACC, most commonly denoted MPI + X. This approach inherently saddles the developer with low-level details that might better be handled by high-level abstractions. Higher-level parallel programming models offer rich sets of abstractions that feel natural in the intended applications. Such languages and tools include (Fortran, UPC, Julia), systems for large-scale data processing and analytics (Spark, Tensorflow, Dask), and frameworks and libraries that extend existing languages (Charm++, Unified Parallel C++ (UPC++), Coarray C++, HPX, Legion, Global Arrays). While there are tremendous differences between these approaches, all strive to support better programmer abstractions for concerns such as data parallelism, task parallelism, dynamic load balancing, and data placement across the memory hierarchy. This workshop will bring together applications experts who will present concrete practical examples of using such alternatives to MPI in order to illustrate the benefits of high-level approaches to scalable programming. The workshop expands upon the two similar workshops, PAW16 and PAW17, by broadening the theme beyond partitioned global address space languages. We invite you to take part in the Parallel Applications Workshop, Alternatives To MPI, and to join this vibrant and diverse community of researchers and developers. Scope and Aims The scope of the PAW-ATM workshop is to provide a forum for exhibiting case studies of higher-level programming models as MPI alternatives in the context of applications as a means of better understanding applications of MPI alternatives. We encourage the submission of papers and talks detailing such applications, including characterizations of scalability and performance, of expressiveness and programmability, as well as any downsides or areas for improvement in existing higher-level programming models. In addition to informing other application programmers about the potential that is available through MPI alternatives, the workshop is designed to communicate these experiences to compiler vendors, library developers, and system architects in order to achieve broader support for high-level approaches to scalable programming. We also specifically encourage submissions covering big data analytics, deep learning, and other novel and emerging application areas, beyond well-established HPC domains. Topics include, but are not limited to: * Novel application development using parallel programming languages. * Examples that demonstrate performance, compiler optimization, error checking, and reduced software complexity. * Applications from big data analytics, bioinformatics, and other novel areas. * Performance evaluation of applications developed using MPI alternatives. * Algorithmic models enabled by high-level parallel abstractions. * Experience with the use of new compiler and runtime environments. * Libraries using or supporting MPI alternatives. * Benefits of hardware abstraction and data locality on algorithm implementation. Submissions Submissions are solicited in two categories: Full-length papers presenting novel research results: * Full-length papers will be published in the workshop proceedings in cooperation with IEEE TCHPC. Submitted papers must be original work that has not appeared in and is not under consideration for another conference or a journal. Papers shall not exceed eight (8) pages including text, appendices, references, and figures. Appendix pages related to the reproducibility initiative not included. Extended abstracts summarizing published/preliminary results: * Extended abstracts will be evaluated separately and will not be included in the published proceedings; they are intended for timely communications of novel work that is going to be formally submitted elsewhere at a later stage, and/or of already published work that is nonetheless deemed appropriate for dissemination in this venue. Extended abstracts shall not exceed four (4) pages. Accepted full-length papers will be given longer presentation slots at the workshop than the abstract-only option. Submissions shall be submitted through Linklings ( https://submissions.supercomputing.org ). Submissions must use 10pt fonts in the IEEE format ( https://www.ieee.org/conferences/publishing/templates.html ). The page limit includes figures, tables, and your appendices, but does not include references, for which there is no page limit. Reproducibility initiative dependencies (Artifact Description or Computational Results Analysis) are also not included in the page limit. PAW-ATM follows the reproducibility initiative of SC18, please refer to http://sourceryinstitute.github.io/PAW/ for additional information. WORKSHOP CHAIR * Karla Morris - Sandia National Laboratory ORGANIZING COMMITTEE * Bradford L. Chamberlain - Cray Inc. * Salvatore Filippone - Cranfield University * Costin Iancu - Lawrence Berkeley National Laboratory PROGRAM COMMITTEE CHAIR * Bill Long - Cray Inc. PROGRAM COMMITTEE * Bradford L. Chamberlain - Cray Inc. * Valentin Churavy - Massachusetts Institute of Technology * Salvatore Filippone - Cranfield University, UK * Alex Gittens - Rensselaer Polytechnic Institute * Costin Iancu - Lawrence Berkeley National Laboratory * Hartmut Kaiser - Louisiana State University * Laxmikant Kale - University of Illinois * Seung-Hwan Lim - Oak Ridge National Laboratory * Bill Long - Cray Inc. * Karla Morris - Sandia National Laboratories * Mitsuhisa Sato - RIKEN Advanced Institute for Computational Science * Sean Treichler - NVIDIA * Jeremiah J. Wilke - Sandia National Laboratories ADVISORY COMMITTEE * Damian W. I. Rouson - Sourcery Institute * Katherine A. Yelick - Lawrence Berkeley National Laboratory IMPORTANT DATES: * Submission Deadline: July 31, 2018 * Author Notification: September 1, 2018 * Camera Ready: October 1, 2018 * Workshop Date: November 11--16, 2018 _______________________________________________ computational.science mailing list computational.science(a)lists.iccsa.org https://lists.iccsa.org/mailman/listinfo/computational.science Hosted by Sardina Systems: FishOS: AI-powered OpenStack www.sardinasystems.com

1 0

Fwd: [WI] CfP "Mensch und Computer" 2018: Kurzbeiträge, Demos, Tutorien
by Gustaf Neumann 07 May '18

07 May '18

-------- Forwarded Message -------- Subject: [WI] CfP "Mensch und Computer" 2018: Kurzbeiträge, Demos, Tutorien Date: Mon, 7 May 2018 09:10:19 +0000 From: Raimund Dachselt <raimund.dachselt(a)tu-dresden.de> Reply-To: Raimund Dachselt <raimund.dachselt(a)tu-dresden.de> To: fb-mci(a)lists.gi.de <fb-mci(a)lists.gi.de>, interaktion(a)tzi.de <interaktion(a)tzi.de>, fgcscw(a)gi-ev.de <fgcscw(a)gi-ev.de>, wi(a)aifb.uni-karlsruhe.de <wi(a)aifb.uni-karlsruhe.de>, fg-mi(a)lists.gi.de <fg-mi(a)lists.gi.de> CC: programm(a)mensch-und-computer.de <programm(a)mensch-und-computer.de>, demos(a)mensch-und-computer.de <demos(a)mensch-und-computer.de>, poster(a)mensch-und-computer.de <poster(a)mensch-und-computer.de>, workshops(a)mensch-und-computer.de <workshops(a)mensch-und-computer.de> ------------------------------------------------------------------------------------- Call for Papers: *Kurzbeiträge, Demos, Tutorien (6. Juni)* Konferenz "Mensch und Computer 2018" 2. bis 5. September 2018 Dresden, Deutschland http://muc2018.mensch-und-computer.de Mit mehr als 700 Teilnehmern in den vergangenen Jahren ist die Mensch und Computer eine der größten HCI-Konferenzen in Europa. Alljährlich zieht die Konferenz Teilnehmer aus Wissenschaft und Industrie an. Das Programm besteht auch in diesem Jahr aus dem wissenschaftlichen Track “Mensch-Computer Interaktion” (MCI) sowie aus dem Praktiker-Track “Usability Professionals” (UP). Im wissenschaftlichen Track können noch bis zum *6. Juni 2018* *Kurzbeiträge* (Poster), *interaktive Demonstratoren* und *Tutorien* zur Mensch & Computer 2018 eingereicht werden. ------------------------------------------------------------------------------------- WICHTIGE TERMINE ------------------------------------------------------------------------------------- EINREICHUNGEN * MCI - Kurzbeiträge (Poster), Demos, Tutorien: 6. Juni 2018 BENACHRICHTIGUNGEN * MCI - Annahme Kurzbeiträge und weitere Formate: 27. Juni 2018 ABGABEN * MCI - Abgabe Tagungsbandversion für alle Formate: 11. Juli 2018 KONFERENZ * 2. bis 5. September 2018 in Dresden ------------------------------------------------------------------------------------- BEITRAGSFORMEN – KURZBEITRÄGE, DEMOS, TUTORIEN ------------------------------------------------------------------------------------- In *Kurzbeiträgen* sollen Ideen oder erste Teilergebnisse eines Forschungsprojekts mit der wissenschaftlichen Gemeinschaft geteilt und diskutiert werden. Diese müssen noch nicht vollständig umgesetzt bzw. untersucht sein, sollen aber einen deutlichen Beitrag gegenüber dem aktuellen Forschungsstand bzw. der aktuellen Praxis liefern. Kurzbeiträge haben einen Umfang von maximal 4 Seiten. Beiträge sind in deutscher und englischer Sprache möglich, werden anonym eingereicht und begutachtet (min. 3 Gutachten). Angenommene Kurzbeiträge werden auf der Tagung im Rahmen einer Poster-Session präsentiert und können in der Ausstellung an den Postern diskutiert werden. In einem vorausgehenden Poster-Slam werden alle Beiträge in Ultrakurzform vor einem großen Auditorium präsentiert. *Demos*sollen neuartige Interaktionstechnologien und Interaktionsmethoden demonstrieren. Das können zum Beispiel überzeugende User Interfaces für dedizierte Anwendungsdomänen, neuartige Ein- oder Ausgabegeräte, funktionale Prototypen, spannende Spielkonzepte, interessante Interaktionstechniken, neuartige Tracking-, Fabrication- oder Prototyping-Technologien sein. Die Beiträge werden in einer dedizierten Session präsentiert, wo Besucher die interaktiven Demos selbst ausprobieren können. Eine vorausgehende Fast-Forward-Session wir darüber hinaus alle Beiträge in Ultrakurzform vor einem großen Auditorium vorstellen. *Tutorien*bieten den Teilnehmenden die Möglichkeit, neue Fähigkeiten zu lernen, Kenntnisse zu vertiefen, oder neue Ansätze und Technologien zu explorieren. Sie können halb- oder ganztägig zu verschiedenen Themen durchgeführt werden. Die Beiträge können einführender oder auch vertiefender Natur sein. Ausführlichere Informationen zu den Beitragsformen und zum Einreichungsprozedere sowie entsprechende Vorlagen mit Hinweisen zur Barrierefreiheit sind hier verfügbar: http://muc2018.mensch-und-computer.de/cfp/mensch-computer-interaktion Einreichungen sind in deutscher und englischer Sprache möglich. ------------------------------------------------------------------------------------- PUBLIKATION ------------------------------------------------------------------------------------- Die eingereichten Beiträge werden digital über die Digital Library – Mensch-Computer-Interaktion der Gesellschaft für Informatik e.V. (http://dl.mensch-und-computer.de) als Open-Access-Publikationen veröffentlicht und erhalten jeweils einen eigenen Digital Object Identifier (DOI). ------------------------------------------------------------------------------------- SPONSORING ------------------------------------------------------------------------------------- Die Ausgestaltung einer Konferenz und das Rahmenprogramm profitieren von der Unterstützung engagierter Sponsoren und interessanter Aussteller. Wir laden daher alle Unternehmen und Organisationen dazu ein, als Sponsor und/oder Ausstellende mit dem fachkundigen Publikum während der “Mensch und Computer 2018” in Dialog zu treten. Mehr Informationen sind hier verfügbar: http://muc2018.mensch-und-computer.de/konferenz/sponsor-werden/ ------------------------------------------------------------------------------------- ORGANISATOREN ------------------------------------------------------------------------------------- Leitung der Konferenz und des wissenschaftlichen Programmkomitees: * Raimund Dachselt (Technische Universität Dresden) * Gerhard Weber (Technische Universität Dresden) Für allgemeine Fragen zur Konferenz: info(a)mensch-und-computer.de <mailto:info@mensch-und-computer.de>

1 0

Fwd: [WI] [Vardi-list] FLoC 2018 - Call for Participation
by Gustaf Neumann 06 May '18

06 May '18

-------- Forwarded Message -------- Subject: [WI] [Vardi-list] FLoC 2018 - Call for Participation Date: Sat, 5 May 2018 12:32:49 -0500 (CDT) From: Moshe Vardi <vardi(a)rice.edu> Reply-To: Moshe Vardi <vardi(a)rice.edu> To: Moshe Vardi <vardi(a)cs.rice.edu> THE SEVENTH FEDERATED LOGIC CONFERENCE (FLoC 2018) Call for Participation 6-19 July 2018 Oxford, England, UK http://www.floc2018.org/registration-is-officially-open/ Registration is now open and we remind speakers and participants to book accommodation as soon as possible, as Oxford is popular in the summer. Website: http://www.floc2018.org/ Registration: http://www.floc2018.org/register/ Accommodation: http://www.floc2018.org/accommodation/ ABOUT FLOC During the past forty years there has been extensive, continuous, and growing interaction between logic and computer science. In many respects, logic provides computer science with both a unifying foundational framework and a tool for modeling. In fact, logic has been called “the calculus of computer science”, playing a crucial role in diverse areas such as artificial intelligence, computational complexity, distributed computing, database systems, hardware design, programming languages, and software engineering. The Federated Logic Conference brings together several international conferences related to mathematical logic and computer science, and was first organised in 1996, as part of the DIMACS Special Year on Logic and Algorithms. Since then FLoC was held in Trento in 1999, Copenhagen in 2002, Seattle in 2006, Edinburgh in 2010 and Vienna in 2014. The seventh Federated Logic Conference (FLoC'18) will be held in Oxford, UK, in July 2018, at the Mathematical Institute and the Blavatnik School of Government at the University of Oxford. CONFERENCES FLoC 2018 brings together nine major international conferences related to mathematical logic and computer science: International Conference on Computer Aided Verification (CAV) http://cavconference.org/2018/ IEEE Computer Security Foundations Symposium (CSF) http://www.cs.ox.ac.uk/conferences/csf2018/ International Symposium on Formal Methods (FM) http://www.fm2018.org International Conference on Formal Structures for Computation and Deduction (FSCD) http://www.cs.le.ac.uk/events/fscd2018/ International Conference on Logic Programming (ICLP) https://www.cs.nmsu.edu/ALP/iclp2018/ International Joint Conference on Automated Reasoning (IJCAR) http://ijcar2018.org International Conference on Interactive Theorem Proving (ITP) https://itp2018.inria.fr Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) http://lics.siglog.org/lics18/ International Conference on Theory and Applications of Satisfiability Testing (SAT) http://sat2018.azurewebsites.net/ Please refer to the individual websites for conference-specific information. KEYNOTES Shafi Goldwasser, MIT, Pseudo Deterministic Algorithms and Proofs Georges Gonthier, INRIA and Paris Saclay, The Logic of Real Proofs PLENARY LECTURES Peter O’Hearn, Facebook and UCL, Continuous Reasoning for Big Code Byron Cook, Amazon and UCL, Formal Reasoning about the Security of Amazon Web Services CONFERENCE INVITED SPEAKERS CAV: Somesh Jha, Eran Yahav CSF: Srini Devdas, Catuscia Palamidessi FM: Kim Gulstrand Larsen, Annabelle McIver, Leonardo de Moura FSCD: Stephanie Delaune, Grigore Rosu, Peter Selinger, Valeria Vignudelli ICLP: Elvira Albert, Thomas Eiter IJCAR: Erika Abraham, Martin Giese ITP: Dan Grayson, John Harrison, Jean-Christophe Filiatre LICS: Thierry Coquand, Javier Esparza, Ursula Martin, Val Tannen SAT: Christopf Scholl, Rahul Santhanam, Marijn Heule SPECIAL SESSIONS Corrado Boehm Memorial Martin Hofmann Memorial Industry Session FLoC Olympics Please refer to conference websites for more information. PUBLIC EVENTS PUBLIC LECTURE by Stuart Russell, University of California Berkeley, to be held as part of the Strachey Lecture series in the Sheldonian Theatre, the official ceremonial hall of the University of Oxford: http://www.floc2018.org/public-lecture/ PUBLIC DEBATE on “Ethics and Morality of Robotics”, an event in the LogicLounge series (http://www.vcla.at/logiclounge/), first organised at the Vienna Summer of Logic in 2014, to be held at the Oxford Union, a debating society with a long history of iconic debates and world-renowned speakers founded in 1823. Panelists: Luciano Floridi, Ben Kuipers, Francesca Rossi, Matthias Scheutz, Sandra Wachter and Jeannette Wing Moderator: Judy Wajcman http://www.floc2018.org/public-debate/ SUMMIT ON MACHINE LEARNING MEETS FORMAL METHODS The Summit on Machine Learning Meets Formal Methods, supported by the Alan Turing Institute, will bring together academic and industrial leaders from NVIDIA, Google, DeepMind and Microsoft who will discuss the benefits and risks of machine learning solutions. Speakers: Anupam Datta, Mark Girolami, Sumit Gulwani, Pushmeet Kohli, Alison Lowndes, Rupak Majumdar, Aditya Nori, Francesca Rossi, Stuart Russell, Christian Szegedy, Moshe Vardi and Martin Vechev http://www.floc2018.org/summit-on-machine-learning/ FOPSS LOGIC AND LEARNING SCHOOL, 1-6 July 2018 The Logic & Learning School is an opportunity to learn from, and interact with, the world's experts leading recent progress in understanding the relationships between logic and learning. These experts come from both academia and some of the leading industrial research labs (Amazon Research and DeepMind). Speakers: Borja Balle, Richard Evans, Nina Gierasimczuk, Varun Kanade, Guy Katz, Jan Křetínský, Stephen H. Muggleton, Doina Precup, Dan Roy and James Worrell http://www.floc2018.org/fopss/ MENTORING AND STUDENT EVENTS FLoC will host several events aimed specifically at supporting emerging researchers, some of which will provide financial support, including: LICS 2nd Logic Mentoring Workshop, Sunday 8 July CAV Verification and Deduction Mentoring Workshop, Friday 13 July FM Doctoral Symposium, Saturday 14 July ICLP DC 2018: 14th Doctoral Consortium (DC) on Logic Programming (ICLP – DC 2018), 18 July WORKSHOPS In addition to conferences, FLoC 2018 will also feature 70+ workshops (7-8 July, 13 July, and 18-19 July). The list of workshops can be found at http://www.floc2018.org/workshops. *** Pre-FLoC workshops (Saturday 7 - Sunday 8 July) 32nd International Workshop on Unification (UNIF 2018), 7 July http://unif2018.cic.unb.br/ 7th International Workshop on Confluence (IWC 2018), 7 July http://cl-informatik.uibk.ac.at/events/iwc-2018/ 7th International Workshop on Classical Logic and Computation (CL&C 2018), 7 July http://www.di.unito.it/~stefano/CL&C/CL&C18.htm Higher-Dimensional Rewriting and Algebra (HDRA 2018), 7 July http://hdra.gforge.inria.fr/ International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2018), 7 July http://lfmtp.org/workshops/2018/ 7th International Workshop on the Cross-Fertilization Between CSP and SAT (CSPSAT 2018), 7 July http://sysrun.haifa.il.ibm.com/hrl/cspsat2018/ Pragmatics of SAT (PoS 2018), 7 July http://www.pragmaticsofsat.org/2018/ Twenty Years of Deep Inference (TYDI 2018), 7 July https://www.lix.polytechnique.fr/~lutz/orgs/TYDI2018.html 10th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2018), 7 July https://nms.kcl.ac.uk/maribel.fernandez/TERMGRAPH.html Syntax and Semantics of Low-Level Languages (LOLA 2018), 7 July https://cs.appstate.edu/~johannp/lola18/ 9th Workshop on Higher Order Rewriting (HOR 2018), 7 July https://lipn.univ-paris13.fr/HOR18/ 2018 Joint Workshop on Linearity & TLLA (5th International Workshop on Linearity and 2nd Workshop on Trends in Linear Logic and Applications), 7-8 July http://lipn.univ-paris13.fr/TLLALinearity18/ Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF 2018), 7-8 July https://hott-uf.github.io/2018/ Game Semantics 25, 7-8 July http://www.gamesemantics.org/game-semantics-25 Workshop on Proof Complexity (PC 2018), 7-8 July http://easychair.org/smart-program/PC2018/ Programming And Reasoning on Infinite Structures (PARIS 2018), 7-8 July https://www.irif.fr/~saurin/RAPIDO/PARIS-2018/ 6th Workshop on Strategic Reasoning (SR 2018), 7-8 July http://projects.lsv.fr/sr18/ Workshop in honour of Dana Scott's 85th birthday and 50 years of domain theory, 7-8 July https://andrejbauer.github.io/domains-floc-2018/ 5th Workshop on Natural Language and Computer Science (NLCS 2018), 7-8 July http://www.indiana.edu/~iulg/nlcs.html 7th Workshop on Mathematically Structured Functional Programming (MSFP 2018), 8 July https://msfp2018.bentnib.org/ 5th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2018), 8 July http://researchers.lille.inria.fr/niehren/WPTE-2018/main.html The Coq Workshop 2018, 8 July https://coqworkshop2018.inria.fr/ International Workshop on Quantified Boolean Formulas and Beyond (QBF 2018), 8 July http://fmv.jku.at/qbf18/ 5th International Workshop on Graphical Models for Security (GraMSec 2018), 8 July http://gramsec.uni.lu/ Women in Logic 2018, 8 July https://sites.google.com/site/womeninlogic2018/welcome 9th Workshop on Intersection Types and Related Systems (ITRS 2018), 8 July https://www.irif.fr/~michele/itrs2018 Coalgebra Now, 8 July http://homepage.tudelft.nl/c9d1n/floc2018coalgebra/index.html 12th International Workshop on Developments in Computational Models (DCM 2018), 8 July https://sites.google.com/g.uporto.pt/dcm18 IFIP Working Group 1.6: Rewriting, 8 July http://cbr.uibk.ac.at/ifip-wg1.6/ Workshop on Foundations of Computer Security (FCS 2018), 8 July http://www.andrew.cmu.edu/user/liminjia/events/fcs2018/ Logic Mentor Workshop 1, 8 July http://lics.siglog.org/lics18/lmw.php *** Mid-FLoC workshops (Wednesday 11 - Saturday 14 July) Satisfiability Checking and Symbolic Computation: Bridging Two Communities to Solve Real Problems (SC^2 2018), 11 July http://www.sc-square.org/CSA/workshop3.html IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2018), 11-13 July http://www.cs.ox.ac.uk/conferences/ADHS18/ 16th International Workshop on Satisfiability Modulo Theories (SMT 2018), 12-13 July http://smt-workshop.cs.uiowa.edu/2018/ CAV Tutorials, 13 July http://cavconference.org/2018/invited-speakers-tutorials/ 7th Workshop on Logic and Systems Biology (LSB), 13 July http://perso.ens-lyon.fr/russell.harmer/lsb7.html Isabelle Workshop, 13 July http://sketis.net/isabelle/isabelle-workshop-2018 25th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 13 July https://sites.google.com/a/aixia.it/rcra/rcra-2018 5th Workshop on Formal Reasoning in Distributed Algorithms (FRIDA 2018), 13 July http://forsyte.at/events/frida2018/ 5th Vampire Workshop (Vampire 2018), 13 July http://easychair.org/smart-program/Vampire18/ 19th Workshop on Logic and Computational Complexity (LCC), 13 July http://www.cs.swansea.ac.uk/lcc/index.html 5th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2018), 13 July https://www.sci.unich.it/hcvs18/ Workshop on Learning and Automata (LearnAut 2018), 13 July https://learnaut2018.wordpress.com/ 1st International Workshop on Multi-objective Reasoning in Verification and Synthesis (MoRe 2018), 13 July http://math.umons.ac.be/more2018/ Workshop on Modular Knowledge (Tetrapod), 13 July http://new.kwarc.info/events/Tetrapod-2018/ First Workshop on Automated Deduction for Separation Logics (ADSL 2018), 13 July http://adsl.univ-grenoble-alpes.fr/ DMW18: Deduction Mentoring Workshop, 13 July http://easychair.org/smart-program/DMW18/ Runtime Verification for Rigorous Systems Engineering (RV4RISE), 13 July http://rv4rise.conf.tuwien.ac.at/ 13th International Workshop on User Interfaces for Theorem Provers (UITP 2018), 13 July http://www.informatik.uni-bremen.de/uitp/uitp2018/ Verification and Deduction Mentoring Workshop 2, 13 July http://cavconference.org/2018/verification-deduction-mentoring-workshop/ Summit on Machine Learning Meets Formal Methods, sponsored by the Alan Turing Institute, 13 July http://www.floc2018.org/summit-on-machine-learning/ 4th Workshop on Formal Integrated Development Environment (F-IDE 2018), 14 July https://sites.google.com/view/fideworkshop2018 16th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2018), 14 July http://www1.isti.cnr.it/~Massink/EVENTS/QAPL2018/ 16th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering, 14 July http://overturetool.org/workshops/16th-Overture-Workshop.html FM Doctoral Symposium, 14 July http://www.fm2018.org/doctoral-symposium/ *** Post-FLoC workshops (Wednesday 18 - Thursday 19 July) 18th Refinement Workshop, 18 July http://www.refinenet.org.uk/ 1st International Workshop on Parallel Logical Reasoning (PLR), 18 July https://antonwijs.wixsite.com/plr2018 7th Workshop on Synthesis (SYNT 2018), 18 July http://synt2018.seas.ucla.edu Theorem Prover Components for Educational Software (ThEdu 2018), 18 July http://www.uc.pt/en/congressos/thedu/thedu18 TLA+ Community Event 2018, 18 July http://tla2018.loria.fr/ Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2018), 18 July https://sites.google.com/site/aspocp2018/ International Conference on Logical Programming - Doctoral Consortium (ICLP - DC 2018), 18 July http://easychair.org/smart-program/ICLP-DC2018/ 16th International Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2018), 18 July https://people.cs.kuleuven.be/~tom.schrijvers/CICLOPS2018/ 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018), 18 July http://iltp.de/ARQNL-2018/ Workshop on Logic and Practice of Programming (LPoP 2018), 18 July http://lpop.cs.stonybrook.edu/ 13th International Workshop on Constraint Based Methods in Bioinformatics (WCB 2018), 18 July http://clp.dimi.uniud.it/wcb/wcb18/ International Workshop on the Verification and Validation of Autonomous Systems (VaVAS), 18-19 July http://cgi.csc.liv.ac.uk/~michael/VaVAS-July2018/ 16th International Workshop on Termination (WST 2018), 18-19 July http://wst2018.webs.upv.es/ MLP18: Machine Learning for Programming, 18-19 July https://prodo.ai/mlp18 The LaSh 2018 Workshop on Logic and Search, 18-19 July http://www.logicandsearch.org/LaSh2018/ 10th Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE 2018), 18-19 July http://vstte18.it.uu.se/ 11th International Workshop on Numerical Software Verification (NSV-XI), 18-19 July https://nsv-2018.github.io/nsv2018/ 18th International Workshop on Automated Verification of Critical Systems (AVOCS 2018), 18-19 July http://avocs18.irisa.fr/ Logics for Reasoning about Preferences, Uncertainty, and Vagueness (PRUV 2018), 19 July http://pruv18.inf.unibz.it/ Third Workshop on Fun With Formal Methods (FWFM 2018), 19 July http://persons.iis.nsk.su/en/FWFM2018 International Workshop on External and Internal Calculi for Non-Classical Logics, 19 July http://weic2018.loria.fr/ Robots, Morality, and Trust through the Verification Lens, 19 July http://qav.cs.ox.ac.uk/robots_morality_trust/ 6th Workshop on the Practical Aspects of Automated Reasoning (PAAR 2018), 19 July http://easychair.org/smart-program/PAAR-2018/ Verification of Engineered Molecular Devices and Programs (VEMDP 2018), 19 July http://dna.caltech.edu/vemdp2018/ SOCIAL EVENTS There is one Reception and one Banquet during each FLoC block, and one Workshop Dinner during each of the workshop blocks. For details, see http://floc2018.org/social-events/. Guests are welcome: you can reserve your place(s) via the registration system. REGISTRATION To register for FLoC, go to http://www.floc2018.org/register/ Registration for the main conference block gives you access to any other conference in the same period. Conference registration includes reception, lunches and coffee breaks. Stand up banquet can be added to the conference registration. Registration for a workshop day means you can attend any other workshop on the same day. Workshop registration includes lunches and coffee breaks. A dinner at an Oxford college can be added to the workshop registration. You can bring a guest to the banquet or college dinner for an extra charge. Public events are free of charge. EARLY BIRD REGISTRATION CLOSES on 6th June 2018 LATE REGISTRATION until 25th June 2018 ON SITE REGISTRATION will be possible during the conference. ACCOMMODATION http://www.floc2018.org/accommodation/ We have made block bookings at several locations in Oxford, and have other recommendations as well. Book early to avoid disappointment, as July is a busy period in Oxford! VOLUNTEERING AND TRAVEL SUPPORT A generous scheme to provide travel support for early career researchers and opportunities to volunteer (subject to restrictions) is available: http://www.floc2018.org/volunteer/ LOCAL INFORMATION Our website includes details for travel (including accessibility), venues and things to do in Oxford for our attendees and their families: see http://www.floc2018.org/local-information/ for more information. FLoC 2018 promises to be an exciting meeting, and we hope to see you in Oxford! FLOC 2018 CHAIRS Marta Kwiatkowska Daniel Kroening Moshe Vardi COMMITTEES FLoC'18 Steering Committee General Chair: Moshe Y. Vardi Conference Co-chairs: Daniel Kroening, Marta Kwiatkowska CAV Representative: Orna Grumberg CSF Representative: Stephen Chong FM Representative: Ana Cavalcanti FSCD Representative: Luke Ong ICLP Representative: Torsten Schaub IJCAR Representative: Franz Baader ITP Representative: Larry Paulson LICS Representative: Martin Grohe SAT Representative: Armin Biere SIGLOG Representative: Prakash Panangaden FLoC'18 Programme Committee General Chair: Moshe Y. Vardi Co-chair: Daniel Kroening Co-chair: Marta Kwiatkowska CAV: Hana Chockler CSF: Stephen Chong FM: Bill Roscoe FSCD: Hélène Kirchner ICLP: Paul Tarau IJCAR: Roberto Sebastiani ITP: Assia Mahboubi LICS: Anuj Dawar and Erich Graedel FLoC'18 Workshops Committee General Chair: Moshe Y. Vardi Co-chair: Daniel Kroening Co-chair: Marta Kwiatkowska Workshops Chair: Gethin Norman Workshops Deputy Chair: Christoph Haase CAV: Hana Chockler CSF: Cas Cremers FM: Helen Treharne FSCD: Paula Severi ICLP: Stefan Woltran IJCAR: Alberto Griggio ITP: Assia Mahboubi LICS: Patricia Bouyer SAT: Martina Seidl FLoC'18 Organising Committee Co-chair: Daniel Kroening Co-chair: Marta Kwiatkowska Website: Michael Tautschnig PR: Andrzej Murawski Fundraising: Hana Chockler Workshops Chair: Gethin Norman Workshops Deputy Chair: Christoph Haase Proceedings: Radu Calinescu Program: Dave Parker Mentoring and Diversity: Alexandra Silva Volunteer Coordinators: Julian Gutierrez, Stefan Kiefer Oxford Union Debate: May Chan CAV: Georg Weissenbacher CSF: Cas Cremers FM: Erik de Vink FSCD: Paula Severi ICLP: Marco Gavanelli IJCAR: Ian Horrocks ITP: Jeremy Avigad LICS: Sam Staton SAT: Christoph Wintersteiger FLoC'18 Local Organising Committee Co-Chair: Daniel Kroening Co-Chair: Marta Kwiatkowska Website: Michael Tautschnig PR: Andrzej Murawski Fundraising: Hana Chockler Workshops Chair: Gethin Norman Workshops Deputy Chair: Christophe Haase Proceedings: Radu Calinescu Program: Dave Parker Mentoring and Diversity: Alexandra Silva Volunteer Coordinator: Julian Gutierrez, Stefan Kiefer Oxford Union Debate: May Chan Admin team -- coordination: Patrizia Ferrari Admin team -- volunteer coordination: Katherine Fletcher Admin team -- publications: Jordan Summers Young Admin team -- venues: Renate Henison Admin team -- speakers: Sarah Baldwin PR Strategy -- Helen Wilcox -- Mailing-Liste: wi(a)lists.kit.edu Administrator: wi-request(a)lists.kit.edu Konfiguration: https://www.lists.kit.edu/wws/info/wi

1 0

Fwd: [AISWorld] IFIP-ICEC || Computers in Entertainment || 18-20th Sept 2018 || DL(extended) papers 21st May 2018 || Poznan, Poland
by Gustaf Neumann 06 May '18

06 May '18

-------- Forwarded Message -------- Subject: [AISWorld] IFIP-ICEC || Computers in Entertainment || 18-20th Sept 2018 || DL(extended) papers 21st May 2018 || Poznan, Poland Date: Sun, 6 May 2018 09:41:47 +0200 From: Artur Lugmayr <artur.lugmayr(a)ambientmediaassociation.org> To: aisworld(a)lists.aisnet.org ========================================================================== ========================================================================== ========================================================================== 17th IFIP INTERNATIONAL CONFERENCE ON ENTERTAINMENT COMPUTING (ICEC'18), co-located with IFIP World Computer Congress (WCC'18) “ explore . create . reflect . develop ” Bridging the gap between technology, HCI, business, design, and art in entertainment Date: 18-20 September, 2018 Venue: Poznan, Poland http://www.ifip-icec.org HIGHLIGHTS: - DEADLINES extended: 21st May 2018 - Papers, 4th June Posters, Demos, Tutorials, Interactive Sessions - 4 GREAT WORKSHOPS: * Bio-Sensing Platforms for “Wellness Entertainment” System Design: Bio-Sensing, Interactive Media Art, and Wellness Entertainment * Designing Entertainment for the Aging Population (DEAP 2018) * Entertainment Computation - A Key for Improving Inclusion and Reducing Gender Gap? * Workshop on Robot Competitions - KEYNOTE SPEAKER Keynote Speaker Prof. Ellen Yi-Luen Do from Univ. of Colorado Boulder, US “From Design Computing to Creating Unique Technologies for Everyone” - breaking NEW ACTIVITIES@ICEC: art exhibition, ICEC award, new conference areas - NEW AREAS@ICEC media studies, human-computer-interaction, business & information systems - IFIP ICEC Entertainment Award STAY IN TOUCH - Facebook group: https://www.facebook.com/groups/EntertainmentComputing/ - Subscribe to our Mailinglist on www.ifip-icec.org - Twitter: @IFIP_ICEC ========================================================================== ========================================================================== ========================================================================== The IFIP International Conference on Entertainment Computation is the longest lasting and prime scientific conference series in the area of Entertainment Computing. It brings together practitioners, researchers, artists, designers, and industry on the design, creation, development, use, application and evaluation of digital entertainment content and experience systems. The conference series is cross-disciplinary, and stretches over the domains of computer science, human-computer-interaction, content production, digital games, multimedia, media studies, art, and design. The conference series aims at presenting high quality scientific results spanning from theory to application, use-cases, experience, and demonstrations. We solicit papers, posters, and demonstrations, as well as we are looking for tutorial and workshop proposal. The conference theme for 2018 is “Explore . Create . Reflect . Develop”. All papers are published by Springer Lecture Notes in Computer Science. Best full papers are recommended to publish in a special issue of the Elsevier Entertainment Computing Journal. IMPORTANT DATES: · March 14, 2018: Workshops (notification March 30, 2018) · EXTENDED May 21, 2018: Long and Short Papers (notification June, 5 2018) · EXTENDED June 4, 2018: Posters, Demos, Tutorials, Interactive Sessions (notification June 5, 2018) · June 19, 2018: Camera Ready Papers Due (all tracks) · July 1, 2018: Suggested Deadline for Workshop Papers · July 1, 2018: Art Exhibitions Entries · August 1, 2018: Doctoral Consortium Application - Short (6pp) and long papers (12pp) - Posters (4pp + the actual poster in A0 as pdf) - Art, Demonstrations and Interactive Exhibits (4pp including description of the experience) - Industry track (1pp + modality /demonstration, justification of modality: demo/presentation) - Workshops and tutorials (4pp) - Doctoral consortium (4pp) SUBMISSION GUIDELINES AND CONTACT INFORMATION All submission guidelines can be found on the conference website on http://www.ifip-icec.org. If you have any questions concerning the conference, please contact us under contact(a)ifip-icecc.org. CONFERENCE ORGANISERS The conference is organized by the IFIP-TC14 - Artur Lugmayr, Curtin Univ., AUSTRALIA - General Chair - Kathrin Gerling, KU Leuven, BELGIUM - General Chair - Esteban Clua, Fluminese Federal Univ., BRAZIL - Program Chair - Licinio Roque, from Universidade de Coimbra, PORTUGAL - Program Chair - Rainer Malaka, Univ. of Bremen, GERMANY - IFIP TC 14 Chair TOPICS We invite the submission of papers, posters, demos, tutorials and workshop proposals on the design, development, and study of broad forms of digital entertainment. Topics include but are not limited to: Emerging Topics in Entertainment Computing - Ubiquitous Computing and Interfaces in Entertainment - Immersive and Virtual Multimedia Experiences - Quality of Services (QoS), and Quality of Experience (QoE) - AI, Big Data, and Deep Learning in Entertainment - Content Production and Production Systems Digital Games and Interactive Entertainment - Game Design and Development - Interactive Narratives & Digital Storytelling - Entertainment Robots, Toys & Smart Gadgets Design, Human-Computer Interaction, and Analysis of Entertainment Systems - Experience Design & Analysis - Telemetry & Semi-Automated Analysis - Methodologies, Tools & Techniques for Entertainment - Human Factors & Performance of Entertainment Applications & Technology Interactive Art, Performance and Cultural Computing - Digital Art & Installations - Virtual/Augmented/Mixed Reality & Entertainment - Ubiquitous/Pervasive Entertainment - Sound, Music & Performance - TransMedia and Entertainment - Social Computing Entertainment Devices, Platforms & Systems - Digital Entertainment Hardware & Devices - Ambient Entertainment - Digital Broadcasting and Digital Cinema - Interactive Television and Broadcasting Theoretical Foundations and Ethical Issues - Emotions and Affective Interaction - Social / Cultural Impacts of Digital Entertainment - Issues of Public Relations & Advertising Through Entertainment Entertainment for Purpose & Persuasion - Serious & Learning Games - Games for Health & Well-Being - Games For Change & Social Impact Games - Exergaming - Advergames and Digital Marketing Computational Methodologies for Entertainment - Artificial Intelligence & Machine Learning for Entertainment - Procedural Content Generation - Computer Graphics & Visual Effects - Big Data in Entertainment - Security & Privacy in Entertainment[K1] Media Studies, Communication, Business, and Information Systems - Information Technology in Media Industry - IT and the Economics of Media Business - Audience Measurement and Participation - Interplay between technology, content, and consumer choice - Adoption and diffusion of technology driven media products - New communication models through emerging new technologies _______________________________________________ AISWorld mailing list AISWorld(a)lists.aisnet.org

1 0

Fwd: [AISWorld] Final Call For Papers: ISM'2018 within FedCSIS'2018
by Gustaf Neumann 06 May '18

06 May '18

-------- Forwarded Message -------- Subject: [AISWorld] Final Call For Papers: ISM'2018 within FedCSIS'2018 Date: Sat, 5 May 2018 21:20:08 +0200 From: Ewa Ziemba <ewzi60(a)gmail.com> To: AISWorld <aisworld(a)lists.aisnet.org> ISM’2018 Conference, 09-12 September 2018 Information Systems Management Adam Mickiewicz University in Poznań, Poland https://fedcsis.org/ism We would like to cordially invite you to participate in the 13th Conference on Information Systems Managemen (ISM’2018), which will be held at the campus of the Adam Mickiewicz University in Poznań, Poland on September 09 – 12, 2018. Our conference is organized in the framework of the FedCSIS Multiconference (https://fedcsis.org). The ISM conference constitutes a forum for the exchange of ideas for practitioners and theorists working in the broad area of information systems management in organizations. The conference invites papers coming from two complimentary directions: management of information systems in an organization, and uses of information systems to empower managers. The conference is interested in all aspects of planning, organizing, resourcing, coordinating, controlling and leading the management function to ensure a smooth operation of information systems in an organization. Moreover, the papers that discuss the uses of information systems and information technology to automate or otherwise facilitate the management function are specifically welcome. Main topics: a.. Management of Information Systems in an Organization. b.. Uses of Information Systems to Empower Managers. c.. Information Systems for Sustainability. Paper submission, publication and indexation: a.. Papers acceptance and publication category (regular, posiotion, short) will be judged based on their relevance to the conference theme, clarity of presentation, originality and accuracy of results and proposed solutions. b.. Since 2012, Proceedings of the FedCSIS conference are indexed in the Web of Science and other indexing services. c.. Papers presented during the conference will be submitted for inclusion by IEEE Xplore Digital Library proceedings (ISBN and IEEE Catalog number) under a nonexclusive copyright, thus further publication of extended papers are possible. Conference proceedings will be submitted for indexation to BazEkon, Thomson Reuters - Conference Proceedings Citation Index, SciVerse Scopus, Inspec, Index Copernicus, DBLP Computer Science Bibliography and Google Scholar. d.. FedCSIS proceedings are indexed by Web of Science since 2012. Polish Ministry of Science assigns 15 points for each research paper published in Proceedings indexed in WoS. e.. Extended versions of high-marked papers presented at ISM’2015, ISM’2016, and ISM’2017 have been published with Springer in volumes of Lecture Notes in Business Information Processing: LNBIP 243, LNBIP 277, and LNBIP 311. f.. Extended versions of high-marked papers presented at ISM’2018 will be fast tracked for publication in the Lecture Notes in Business Information Processing series (Springer). Best Paper Award: “The Best Paper” award will be granted to the outstanding quality paper presented at the ISM Conference. The Program Committee in conjunction with the organizing/steering committee will decide on the qualifying papers. Important Dates/Deadlines: a.. Submission Deadline of complete papers: May 15, 2018 (There will be no extension of deadline. Downward clock has been placed on the conference WWW site. It will expire on May 15, 2018 at midnight Hawaii time) b.. Position paper submission: June 12, 2018 c.. Acceptance decision: June 24, 2018 d.. Final version of paper submission: July 03, 2018 e.. Final deadline for discounted fee: August 01, 2018 Program Chairs: Bernard Arogyaswami, Le Moyne University, USA Witold Chmielarz, University of Warsaw, Poland Dimitris Karagiannis, University of Vienna, Austria Jerzy Kisielnicki, University of Warsaw, Poland Ewa Ziemba, University of Economics in Katowice, Poland

1 0

Fwd: [SCLIT 2018] Last Call for Papers ... EXTENDED deadline: 10.05.2018.!!!
by Gustaf Neumann 05 May '18

05 May '18

-------- Forwarded Message -------- Subject: [SCLIT 2018] Last Call for Papers ... EXTENDED deadline: 10.05.2018.!!! Date: Sat, 5 May 2018 14:32:56 +0200 (CEST) From: sclit(a)dmi.uns.ac.rs To: Gustaf.Neumann(a)wu-wien.ac.at ****SCLIT 2018****** 8th Symposium on Computer Languages, Implementations and Tools 13 - 18 September 2018, Rhodes, Greece http://www.sclit.org Dear potential participant, We would like again to draw your attention to the 8th SCLIT symposium which will take place at Rhodes Island, Greece, between 13th and 18th September 2018. SCLIT symposium will be organized within the ICNAAM conference. While organizational decision will be taken by organizers of ICNAAM, the symposium keeps its academic autonomy. The symposium is devoted to the various aspects of computer languages and their roles in software engineering, science, education, etc. Submissions that describe work in progress and provoke discussions, as well as position papers, are especially welcome. Symposium accepts short papers/extended abstracts (up to 4 pages) that will pass the reviewing procedure. Accepted papers will be published in the in a Special Volume of the AIP Conference Proceedings<http://proceedings.aip.org/>. Extended versions of the selected short papers (i.e., full papers) will be additionally reviewed after the conference. Accepted full papers will be published in one of the associated international journals. *Extended abstract/short paper submission deadline is 10^th of May 2018 * Call For Paper page: https://easychair.org/cfp/SCLIT2018 Symposium info: http://www.sclit.org<http://www.sclit.org/> Conference site: http://www.icnaam.org<http://www.icnaam.org/> We apologize for cross-posting and kindly ask you to forward this information to all interested persons. Thank you! Best regards, SCLIT team

1 0

Fwd: [AISWorld] The 10th Workshop of Knowledge Management & E-Learning (Keynote Seminar Series)
by Gustaf Neumann 05 May '18

05 May '18

-------- Forwarded Message -------- Subject: [AISWorld] The 10th Workshop of Knowledge Management & E-Learning (Keynote Seminar Series) Date: Sat, 5 May 2018 21:43:49 +0800 From: maggie wang <maggiemhwang(a)gmail.com> To: aisworld <AISWorld(a)lists.aisnet.org> The 10th Workshop of Knowledge Management & E-Learning (Keynote Seminar Series) by The University of Hong Kong and Beijing Normal University Chairs: Dr. Maggie M. Wang and Prof. Shengquan Yu Welcome Speech Professor & Dean A. Lin Goodwin Faculty of Education, The University of Hong Kong 1. Developing and Trialling a Measure of Group Thinking Prof. Rupert Wegerif Professor, Faculty of Education, University of Cambridge May 15 (Tue), 2018, 16:45-18:00, Room 205, Runme Shaw Building, University of Hong Kong, Hong Kong 2. Fueling a Cycle for Continuous Improvement in Discussion Based Learning Prof. Carolyn Rosé (ISLS Fellow), Professor, School of Computer Science, Carnegie Mellon University May 23 (Wed), 2018, 14:00-16:00, Room 318, Yingdong Building, Beijing Normal University, China 3. Laboratory for Knowledge Management & E-Learning (KM&EL Lab): Review of Ten Years and Prospect of Development Dr. Minhong (Maggie) Wang Associate Professor, Director of the KM&EL Lab, Faculty of Education, The University of Hong Kong Eastern Scholar Chair Professor, East China Normal University Visiting Research Professor, Beijing Advanced Innovation Center for Future Education, Beijing Normal University May 24 (Thu), 2018, 10:00-12:00, Room 318, Yingdong Building, Beijing Normal University, China 4. Ensuring Learning Online is not a Second Class University Education Prof. Gregor Kennedy Professor & Pro Vice-Chancellor (Teaching & Learning), Director of the Melbourne Centre for the Study of Higher Education, University of Melbourne May 24 (Thu), 2018, 14:00-16:00, Room 318, Yingdong Building, Beijing Normal University, China 5. Healthcare Knowledge Management and E-Learning Prof. Doug Vogel (AIS Fellow, Former President of AIS) Professor, Foreign Expert funded by the Thousand Talent Program of China, Harbin Institute of Technology July 9 (Mon), 2018, 14:00-16:00, Room 318, Yingdong Building, Beijing Normal University, China 6. Network Science in Disaster and Public Health Preparedness Prof. Liaquat Hossain Professor & Head, Division of Information and Technology Studies, Faculty of Education, The University of Hong Kong Dr. Shihui Feng Assistant Lecturer, Faculty of Education, The University of Hong Kong July 10 (Tue), 2018, 14:00-16:00, Room 318, Yingdong Building, Beijing Normal University, China Contact: Dr. Maggie M. Wang, Email: magwang(a)hku.hk KM&EL Lab (http://www.kmel-lab.org/website) All are welcome! Laboratory for Knowledge Management & E-Learning (KM&EL Lab), The University of Hong Kong http://www.kmel-lab.org/website Beijing Advanced Innovation Center for Future Education, Beijing Normal University http://aic-fe.bnu.edu.cn/en/ _______________________________________________ AISWorld mailing list AISWorld(a)lists.aisnet.org

1 0

Fwd: [AISWorld] IACIS 2018_Call for Papers, Presentations & Panels
by Gustaf Neumann 05 May '18

05 May '18

-------- Forwarded Message -------- Subject: [AISWorld] IACIS 2018_Call for Papers, Presentations & Panels Date: Thu, 3 May 2018 23:51:54 +0000 From: Mariaelena Corbeil <mariaelena.corbeil(a)utrgv.edu> To: aisworld(a)lists.aisnet.org <aisworld(a)lists.aisnet.org> Submission Deadline: May 12, 2018 International Association for Computer Information Systems 58th Annual Conference in Clearwater Beach, Florida, October 3 - 6, 2018. Why IACIS? The IACIS International Conference provides a showcase for the latest research in practice and pedagogical topics that focus on how information systems and technology are used to support organizations or enhance the educational process. IACIS a long-standing organization with many benefits. In addition to presenting and networking with other professionals, when you attend the conference, you also get: * presentation and publication for faculty and students * award opportunities for faculty and students * lunch on 2 or more days of the conference * Fun Night, an organized event of food and entertainment * the possibility of publication in Issues in Information Systems * a 1-year subscription to JCIS (IACIS premier journal) * an opportunity to serve on the Editorial Review Board * a constructive, professional environment for faculty and students This Year’s Conference Theme Over the past decade, the accelerated expansion of technology has significantly disrupted the employment landscape across multiple disciplines, including Information Systems, healthcare, business, IT, education, and others. As such, analysts are projecting that technology jobs will grow by more than 20% through 2020 to outpace the rest of the U.S. workforce. One untapped tech sector experiencing seismic growth in recent years is the EdTech industry. Investment in EdTech is projected to parallel IT's growth and hit $252 billion by 2020. Like IS, EdTech, spans across multiple industries to build and expand upon the use of technology to maintain and solve organizational needs. This year's cross-cutting theme will explore the convergence of IS and EdTech and how inter-disciplinary partnerships can be developed to address programmatic needs and prepare our graduates for the jobs of tomorrow. What to Submit You are invited to share your research on the conference theme or other relevant IS and IT research with the educators and professionals attending the IACIS International Conference. Papers covering related academic and technical issues are also encouraged. * Full pedagogy/research papers * Abstracts * Panel presentation proposals Submit only unpublished, original works. Proposals for workshops, panel presentations, and round table discussions should provide a general overview of the session's objectives and activities. Publication Opportunity All submissions are double blind peer reviewed. High-marked, full papers accepted in the review process will be fast tracked for publication in Volume 19 of Issues in Information Systems, a publication of IACIS. Issues in Information Systems journal is a refereed, serial publication that is registered with the U.S. Library of Congress and listed in the Cabell's Directory of Publishing Opportunities in Management. In addition, it is indexed in the DOAJ. All other accepted submissions will be published in the Conference Proceedings. In order to be considered for publication in Issues in Information Systems (IIS), the completed full paper must be submitted by the deadline above in order for it to undergo the double blind, peer review process. Abstracts submitted by the date above will be considered for the conference proceedings. How to Submit Please click on the link to submit online: https://iacis.org/conference/openconf/openconf.php For more information, please visit our website: http://www.iacis.org/conference/conference.php DON’T WAIT! SUBMIT TODAY! _______________________________________________ AISWorld mailing list AISWorld(a)lists.aisnet.org

1 0

← Newer
1
...
8
9
10
11
12
13
14
Older →

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

Cfp May 2018