Cfp May 2016

cfp@alice.wu.ac.at

1 participants
93 discussions

Fwd: [WI] LOPSTR 2016 Call for Papers
by Gustaf Neumann 01 May '16

01 May '16

-------- Weitergeleitete Nachricht -------- Betreff: [WI] LOPSTR 2016 Call for Papers Datum: Sat, 30 Apr 2016 17:29:40 +0200 Von: Manuel Hermenegildo <manuel.hermenegildo(a)imdea.org> Antwort an: Manuel Hermenegildo <manuel.hermenegildo(a)imdea.org> An: wi(a)aifb.uni-karlsruhe.de ====================================================================== LOPSTR 2016: 1st Call for Papers ====================================================================== 26th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2016 http://cliplab.org/Conferences/LOPSTR16/ Edinburgh, UK, September 6-8, 2016 (co-located with PPDP 2016 and SAS 2016) ====================================================================== DEADLINES: Abstract submission: June 7, 2016 Paper/Extended abstract submission: June 14, 2016 ====================================================================== The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 26th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2016) will be held at the University of Edinburgh, Edinburgh, UK; previous symposia were held in Siena, Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester. LOPSTR 2016 will be co-located with PPDP 2016 (International Symposium on Principles and Practice of Declarative Programming) and SAS 2016 (Static Analysis Symposium). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Important Dates Abstract submission: June 7, 2016 Paper/Extended abstract submission: June 14, 2016 Notification: August 3, 2016 Camera-ready (for electronic pre-proceedings): August 19, 2016 Symposium: September 6-8, 2016 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Papers should be submitted via the Easychair submission website for LOPSTR 2016: http://www.easychair.org/conferences/?conf=lopstr2016 (can be accessed also through the LOPSTR 2016 web site). Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Program Committee Slim Abdennadher, German University of Cairo, Egypt Maria Alpuente, Universitat Politecnica de Valencia, Spain Sergio Antoy, Portland State University, USA Michael Codish, Ben-Gurion University of the Negev, Israel Jerome Feret, CNRS/ENS/INRIA Paris, France. Fabio Fioravanti, University of Chieti - Pescara, Italy. Maurizio Gabbrielli, University of Bologna, Italy Maria Garcia de la Banda, Monash University, Australia Robert Glueck, University of Copenhagen, Denmark. Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain Gopal Gupta, University of Texas at Dallas, USA Patricia Hill, Univ. of Leeds, UK Jacob Howe, City University London, UK Viktor Kuncak , EPFL Lausanne, Switzerland Michael Leuschel, University of Duesseldorf, Germany Heiko Mantel TU Darmstadt, Germany Jorge A. Navas, NASA, USA Naoki Nishida, Nagoya University, Japan Catuscia Palamidessi, INRIA Saclay and LIX, France C.R. Ramakrishnan, SUNY Stony Brook, USA Vitor Santos Costa, Universidade do Porto, Portugal Hirohisa Seki, Nagoya Institute of Technology, Japan Peter Schneider-Kamp, University of Southern Denmark, Denmark Program Chairs Manuel Hermenegildo, IMDEA Software Institute and T.U. Madrid (UPM) Pedro Lopez-Garcia, IMDEA Software Institute and CSIC Organizing Committee James Cheney (University of Edinburgh, Local Organizer) Moreno Falaschi (University of Siena, Italy) ----------------------------------------------------------------------------- -- 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] 7th IIBA Conference: Istanbul, Turkey (20-23 September, 2016)
by Gustaf Neumann 01 May '16

01 May '16

-------- Weitergeleitete Nachricht -------- Betreff: [AISWorld] 7th IIBA Conference: Istanbul, Turkey (20-23 September, 2016) Datum: Sat, 30 Apr 2016 12:23:55 -0400 Von: Cihan Cobanoglu <cihan(a)cihan.org> An: aisworld(a)lists.aisnet.org <http://istanbul2016.iibaconference.org/> Dear Colleagues, We are excited to invite you to submit an abstract to the 7th *International Interdisciplinary Business-Economics Advancement Conference (IIBA) *that will be held in Istanbul, Turkey between September 20-23, 2016, hosted by Istanbul University (the oldest university in Turkey, in the heart of old town in Istanbul) and sponsored by University of South Florida Sarasota-Manatee. The deadline for submitting an abstract is July 25, 2016. IIBA is a peer-reviewed conference. In addition, IIBA is very excited to be announcing Professor Ravi Dhar from Yale University as our Keynote Speaker in our 7th international conference. Please visit conference website for the details and to submit an abstract. *http://istanbul2016.iibaconference.org/ <http://istanbul2016.iibaconference.org/>* *Dr. Ravi Dhar*, George Rogers Clark Professor of Management and Marketing Professor of Psychology in the Department of Psychology Director of the Center for Customer Insights, Yale School of Management Yale University Dr. Ravi Dhar is the George Rogers Clark Professor of Management and Marketing, Professor of Psychology in the Department of Psychology, and the Director of the Center for Customer Insights, all at Yale University. He has been involved in pioneering work in understanding the different factors that influence how consumers think and decide. He has also served as a consultant to dozens of Fortune 500 companies in a wide variety of industries, including financial services, health care, high tech and luxury goods on developing best practices for generating and using customer insights. Ravi has published more than 60 articles and serves on the editorial boards of several of leading marketing journals. The American Marketing Association recently ranked Professor Dhar as the most productive scholar publishing in premier marketing journals from 2009 through 2013. His research and teaching has been honored with various awards including the Distinguished Scientific Accomplishment Award of the Society for Consumer Psychology, the Distinguished Alumnus Award from the Indian Institute of Management, and the Yale School of Management Alumni Association Teaching Award. His work has been frequently mentioned in Business Week, The New York Times, The Financial Times, The Wall Street Journal, The Economist, USA Today, and other popular media. We look forward to seeing you in the only city in the world that connect two continents!! Sincerely, Co-Chairs: Dr. Cihan Cobanoglu, CHTP McKibbon Endowed Chair & Director of M3 Center University of South Florida Sarasota-Manatee http://usfsm.edu/faculty-members/dr-cihan-cobanoglu/ Dr. Serdar Ondan Visiting Professor University of South Florida Sarasota-Manatee -- Cihan Cobanoglu, PhD, CHTP McKibbon Distinguished Chair Professor & Dean College of Hospitality and Technology Leadership University of South Florida Sarasota-Manatee Phone: +1 302 897 1909 Email: cihan(a)sar.usf.edu Web: http://www.cihan.org Sent from my iPhone by dictation. Please excuse misspellings. _______________________________________________ AISWorld mailing list AISWorld(a)lists.aisnet.org

1 0

Fwd: [AISWorld] Call for Paper ICCES’2016
by Gustaf Neumann 01 May '16

01 May '16

-------- Weitergeleitete Nachricht -------- Betreff: [AISWorld] Call for Paper ICCES’2016 Datum: Sat, 30 Apr 2016 12:54:03 -0500 Von: Sean B. Eom <sbeom(a)semo.edu> An: aisworld(a)lists.aisnet.org, irma-l(a)irma-international.org Kopie (CC): ridda_laouar(a)yahoo.fr, rlaouar.educ(a)gmail.com Call for Paper ICCES'2016 Barcelona, Spain. 23 - 27 July 2016 http://www.ijist.net/ICCES16/ Deadline: 05 May, 2016 Notification: 30 May, 2016 Final version & Early Registration Deadline: 10 June, 2016 CONFERENCE SCOPE ICCES 2016 will be composed of research presentations, keynote lectures, invited presentations, tutorials, panel discussions, and poster presentations. An important mission of ICCES is "Providing a unique platform for a diverse community. One main goal of the ICCES is to assemble a spectrum of affiliated research conferences into a coordinated research meeting held in a common place at a common time. This model facilitates communication among researchers in different fields of computer science. PAPER SUBMISSION: If your work is related to ICCES 2016 topics, it is now a good opportunity to submit your contribution through the Easychair system. - Full paper (5 to 12 pages) formatted according to the LNCS style: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 - Short paper (2 to 4 pages). - Poster Abstract (300 words). Authors are invited to submit papers through the Eeasychair system. Submission Web pages is: https://easychair.org/conferences/?conf=icces16 If you encounter problems for submission, contact us at ices.conf(a)gmail.com TOPICS: visit our website at http://www.ijist.net/ICCES16/ Publications The best papers of ICCES 2016 will be selected for a special issue of indexed Journals: - Library Hi tech: indexed in ISI Thomson Reuters - International Journal of Information Systems in the Service Sector (IJISSS): indexed in Scopus For more Information, Contact us: icces.conf(a)gmail.com http://www.ijist.net/ICCES16/ Best regards, Sean Eom ********************************************* Sean Eom Professor of MIS Department of Accounting, MS 5815 Southeast Missouri State University Cape Girardeau, MO 63701 Tel. 573-651-2615 (Office) 573-271-8770 (Home) Fax 573-651-2992 e-mail: sbeom(a)semo.edu Http://cstl-hcb.semo.edu/eom/ ********************************************* _______________________________________________ AISWorld mailing list AISWorld(a)lists.aisnet.org

1 0

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 2016