Cfp March 2022

cfp@alice.wu.ac.at

1 participants
82 discussions

Fwd: [WI] WI-IAT 2022 Call for Papers
by Gustaf Neumann 18 Mar '22

18 Mar '22

-------- Forwarded Message -------- Subject: [WI] WI-IAT 2022 Call for Papers Date: Fri, 18 Mar 2022 19:27:23 +0900 From: H.Z. Kuai <hongzhi.kuai(a)gmail.com> Reply-To: H.Z. Kuai <hongzhi.kuai(a)gmail.com> To: agents(a)cs.umbc.edu, fca-list(a)cs.uni-kassel.de, iefac.list(a)mailhost.ces.clemson.edu, neuromail(a)brain.riken.jp, s-news(a)lists.biostat.wustl.edu, wi(a)aifb.uni-karlsruhe.de, pvs(a)csl.sri.com, connectionists(a)cs.cmu.edu, Lprolog(a)cs.umn.edu, computational.science(a)lists.OptimaNumerics.com <computational.science(a)lists.optimanumerics.com>, types-announce(a)lists.seas.upenn.edu, types-list(a)lists.seas.upenn.edu, ai-grid(a)mailman.isi.edu, Vki-list(a)dfki.de, Ak-kd-list(a)aifb.uni-karlsruhe.de [Apologies if you receive this more than once] +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ CALL FOR PAPERS The 21st IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT '22) November 17-20, 2022, Niagara Falls, Canada A hybrid conference with both online and offline modes Web Intelligence = AI in the Connected World Homepage: https://www.wi-iat.com/wi-iat2022/ +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Sponsored By: Web Intelligence Consortium (WIC) Association for Computing Machinery (ACM) IEEE Computer Society WI-IAT 2022 Special Event: - Web Intelligence Journal Special Issue: 20 Years of Web Intelligence https://www.iospress.com/catalog/journals/web-intelligence The 2022 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT '22) provides a premier international forum to bring together researchers and practitioners from diverse fields for presentation of original research results, as well as exchange and dissemination of innovative and practical development experiences on Web Intelligence and Intelligent Agent Technology research and applications. Academia, professionals and industry people can exchange their ideas, findings and strategies in utilizing the power of human brains and man-made networks to create a better world. More specifically, the fields of how intelligence is impacting the Web of People, the Web of Data, the Web of Things, the Web of Trust, the Web of Agents, and emerging Web in health and smart living in the 5G Era. Therefore, the theme of WI-IAT '22 will be “Web Intelligence = AI in the Connected World”. After the great successful online WI-IAT'20 and hybrid WI-IAT'21 during the global pandemic, WI-IAT'22 will be held in Niagara Falls, Canada, and once again, in the hybrid mode. WI-IAT '22 welcomes research, application as well as Industry/Demo track paper submissions in these core thematic pillars under wider topics, which demand WI innovative and disruptive solutions for any of the next indicative sub-topics. TRACKS AND TOPICS ++++++++++++++++++ Track 1: Web of People * Crowdsourcing and Social Data Mining * Human-Centric Computing * Information Diffusion * Knowledge Community Support * Modelling Crowd-Sourcing * Opinion Mining * People Oriented Applications and Services * Recommendation Engines * Sentiment Analysis * Situational Awareness Social Network Analysis * Social Groups and Dynamics * Social Media and Dynamics * Social Networks Analytics * User and Behavioural Modelling Track 2: Web of Data * Algorithms and Knowledge Management * Autonomy-Oriented Computing (AOC) * Big Data Analytics * Big Data and Human Brain Complex Systems * Cognitive Models * Computational Models * Data-Driven Services and Applications * Data Integration and Data Provenance * Data Science and Machine Learning * Graph Isomorphism * Graph Theory * Information Search and Retrieval * Knowledge Graph * Knowledge Graph and Semantic Networks * Linked Data Management and Analytics * Self-Organizing Networks * Semantic Networks * Sensor Networks * Web Science Track 3: Web of Things * Complex Networks * Distributed Systems and Devices * Dynamics of Networks * Industrial Multi-Domain Web * Intelligent Ubiquitous Web of Things * IoT Data Analytics * Location and Time Awareness * Open Autonomous Systems * Streaming Data Analysis * Web Infrastructures and Devices Mobile Web * Wisdom Web of Things (W2T) Track 4: Web of Trust * Blockchain analytics and technologies * Fake content and fraud detection * Hidden Web Analytics * Monetization Services and Applications * Trust Models for Agents * Ubiquitous Computing * Web Cryptography * Monetization services and applications * Web safety and openness Track 5: Web of Agents * Agent Networks * Autonomy Remembrance Agents * Autonomy-oriented Computing * Behaviour Modelling * Distributed Problem-Solving Global Brain * Edge Computing * Individual-based Modelling Knowledge * Information Agents * Local-Global Behavioural Interactions * Mechanism Design * Multi-Agent Systems * Network Autonomy Remembrance Agents * Self-adaptive Evolutionary Systems * Self-organizing Systems * Social Groups and Dynamics Special Track: Emerging Web in Health and Smart Living * Big Data in Medicine * City Brain and Global Brain * Digital Ecosystems * Digital Epidemiology * Health Data Exchange and Sharing * Healthcare and Medical Applications and Services * Omics Research and Trends * Personalized Health Management and Analytics * Smart City Applications and Services * Time Awareness and Location Awareness Smart City * Wellbeing and Healthcare in the 5G Era IMPORTANT DATES +++++++++++++++ May 1, 2022: Workshop Proposal submission June 1, 2022: Full Papers Submission July 20, 2022: Paper Acceptance Notification July 20, 2022: Early Registration Opens August 7, 2022: Camera-ready Submission November 17, 2022: Workshops and Special Sessions November 18-20, 2022: Main Conference PAPER SUBMISSION ++++++++++++++++ Papers must be submitted electronically via CyberChair in standard IEEE Conference Proceedings format (max 8 pages, templates at https://www.ieee.org/conferences/publishing/templates.html). Submitted papers will undergo a peer review process, coordinated by the International Program Committee. URL: https://wi-lab.com/cyberchair/2022/wi22/scripts/submit.php?subarea=WI Organization Structure ++++++++++++++++++++++ General Chairs * Gabriella Pasi, University of Milano-Bicocca, Italy * Jimmy Huang, York University, Canada * Jie Tang, Tsinghua University, China Program Committee Chairs * Jiashu Zhao, Wilfrid Laurier University, Canada * Ebrahim Bagheri, Ryerson University, Canada * Norbert Fuhr, University of Duisburg-Essen, Germany * Atsuhiro Takasu, National Institute of Informatics, Japan * Yixing Fan, Chinese Academy of Sciences, China Local Organizing Chair * Mehdi Kargar, Ryerson University, Canada Workshop/Special Session Chairs * Hiroki Matsumoto, Maebashi Institute of Technology, Japan * Ameeta Agrawal, Portland State University, USA * Cathal Gurrin, Dublin City University, Ireland * Chao Huang, University of Hong Kong, China Tutorial Chair * Vivian Hu, Ryerson University, Canada Publicity Chairs * Hongzhi Kuai, Maebashi Institute of Technology, Japan * Yang Liu, Wilfrid Laurier University, Canada * Yan Ge, University of Bristo, UK WIC Steering Committee Chairs * Ning Zhong, Maebashi Institute of Technology, Japan * Jiming Liu, Hong Kong Baptist University, HK, China WIC Executive Secretary * Xiaohui Tao, University of Southern Queensland, Australia -- 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: [WI] Workshop on Advances in Separation Logics (ASL 2022 @ FLOC 2022)
by Gustaf Neumann 18 Mar '22

18 Mar '22

-------- Forwarded Message -------- Subject: [WI] Workshop on Advances in Separation Logics (ASL 2022 @ FLOC 2022) Date: Fri, 18 Mar 2022 12:42:44 +0100 (CET) From: RADU IOSIF <radu.iosif(a)univ-grenoble-alpes.fr> Reply-To: RADU IOSIF <radu.iosif(a)univ-grenoble-alpes.fr> To: pakhfn(a)mi.ras.ru, d.i.saveliev(a)gmail.com, aarati(a)cs.stanford.edu, aayesh(a)dmu.ac.uk, admin(a)lists.oasis-open.org, agents(a)cs.umbc.edu, ageron(a)math.unicaen.fr, akoslow(a)gc.cuny.edu, alama(a)stanford.edu, alessandro.facchini(a)unine.ch, a.lisitsa(a)csc.liv.ac.uk, amirouche.moktefi(a)gersulp.u-strasbg.fr, anderssn(a)itu.dk, antti.j.kuusisto(a)uta.fi, arbiser(a)dc.uba.ar, asci(a)twi.tudelft.nl, nza(a)Cs.Nott.AC.UK, baader(a)tcs.inf.tu-dresden.de, baelde(a)lsv.fr, basin(a)inf.ethz.ch, Beata.Konikowska(a)ipipan.waw.pl, behounek(a)cs.cas.cz, Bernhard.Heinemann(a)fernuni-hagen.de, birkedal(a)cs.au.dk, blutner(a)web.de, carniell(a)cle.unicamp.br, carsten(a)itu.dk, categories(a)mta.ca, ccal(a)math.ist.utl.pt, ccshan(a)post.harvard.edu, cherrierp(a)wanadoo.fr, Christiane.Ruffieux(a)chuv.ch, cintula(a)cs.cas.cz, ckemke(a)cs.umanitoba.ca, c.konyevits(a)bluewin.ch, clp(a)comp.nus.edu.sg, cmartinez(a)wesleyan.edu, colognet(a)ucy.ac.cy, comlab(a)comlab.ox.ac.uk, complog(a)cs.nmsu.edu, comprox(a)doc.ic.ac.uk, compulognet-parimp(a)clip.dia.fi.upm.es, compulognet-parimp(a)dia.fi.upm.es, concurrency(a)cwi.nl, conferences(a)computer.org, coniglio(a)cle.unicamp.br, corpora(a)hd.uib.no, cotton(a)ensae.fr, cristi(a)ifi.uio.no, css(a)cs.stanford.edu, czhou(a)indiana.edu, daml-all(a)daml.org, davism(a)cs.nyu.edu, dbailey(a)cse.ucsc.edu, dbitaly(a)list.dia.uniroma3.it, dbworld(a)cs.wisc.edu, amelie.david(a)lsv.fr, demri(a)lsv.fr, dov.gabbay(a)kcl.ac.uk, nivelle(a)ii.uni.wroc.pl, amina.doumane(a)lsv.ens-cachan.fr, Diderik.Batens(a)UGent.be, digicult-forum(a)digicult.info, dunn(a)indiana.edu, eestevez(a)us.es, elsnet-list(a)elsnet.org, elsnet-list(a)let.uu.nl, enrique.alonso(a)uam.es, epontell(a)cs.nmsu.edu, erdelyi-szabo.miklos(a)renyi.mta.hu, event(a)in.tu-clausthal.de, events_calendar(a)acm.org, fg-db(a)informatik.uni-rostock.de, finite-model-theory(a)lists.RWTH-Aachen.DE, finng(a)ruc.dk, fm-discussion(a)cs.man.ac.uk, franceschet(a)dimi.uniud.it, frza(a)itu.dk, fsoler(a)us.es, ftohme(a)criba.edu.ar, Galmiche(a)loria.fr, Olivier.Gasquet(a)irit.fr, gemm(a)usal.es, genechoquette(a)hotmail.com, gfeng(a)usc.edu, gilberto.pastorello(a)terra.com.br, Grant.Marler(a)cgu.edu, guillaume.feuillade(a)irit.fr, guray(a)asu.edu, gwa(a)lists.ut.ee, haf(a)fc.unesp.br, hehuac(a)nwpu.edu.cn, hellm001(a)umn.edu, hermann(a)inf.puc-rio.br, hkurokawa(a)gc.cuny.edu, hugomar(a)ime.usp.br, humanist(a)lists.Princeton.EDU, humanist(a)princeton.edu, ifmsig(a)cs.tcd.ie, ilpo.halonen(a)helsinki.fi, imperativlogik(a)hotmail.com, inanc.seylan(a)gmail.com, itala(a)cle.unicamp.br, Jacques.Riche(a)cs.kuleuven.ac.be, janciu(a)uni.lodz.pl, jansana(a)cerber.mat.ub.es, janusz.czelakowski(a)uni.opole.pl, jarmuzek(a)uni.torun.pl, jyb.logician(a)gmail.com, jmfont(a)ub.edu, johan(a)science.uva.nl, jonni.virtema(a)uta.fi, jpg(a)ruc.dk, jsgrygiel(a)poczta.onet.pl, juliana.bueno(a)cle.unicamp.br, jv(a)imm.dtu.dk, jwaldmajer(a)uni.opole.pl, kamps(a)science.uva.nl, kashima(a)is.titech.ac.jp, kgank(a)wp.pl, kgl(a)cs.aau.dk, kgs(a)logic.at, Krister.Segerberg(a)filosofi.uu.se, kr(a)kr.org, ksnelson(a)subjectivity.com, ladusaw(a)cats.ucsc.edu, lazic(a)dcs.warwick.ac.uk, dominique.larchey-wendling(a)loria.fr, ldostal(a)kfi.zcu.cz, lfcs-interest(a)dcs.ed.ac.uk, tadeusz.litak(a)gmail.com, logic(a)cs.stanford.edu, logic-list(a)helsinki.fi, logic(a)math.uni-bonn.de, logik(a)math.uni-freiburg.de, logik(a)math.uni-muenster.de, loom-forum(a)isi.edu, lozes(a)lsv.fr, lucia(a)ime.usp.br, luismenasche(a)gmail.com, luiz(a)inf.puc-rio.br, maietti(a)math.unipd.it, mailings(a)iwv.jku.at, majer(a)site.cas.cz, malerba(a)di.uniba.it, mara(a)usal.es, marco.volpe(a)univr.it, marie.duzi(a)vsb.cz, mario(a)cos.ufrj.br, martin.lange(a)uni-kassel.de, marx(a)science.uva.nl, math.logik(a)gmx.net, maxime.beauquier(a)itu.dk, mccolm(a)math.usf.edu, mgehrke(a)liafa.univ-paris-diderot.fr, mhuertass(a)uoc.edu, michael.groneberg(a)unifr.ch, miraglia(a)ime.usp.br, mizar-forum(a)mizar.uwb.edu.pl, mspinksau(a)yahoo.com.au, mullers77(a)hotmail.com, mvazquez(a)ull.es, nechitajlov(a)mail.ru, inemeti(a)gmail.com, nepomuce(a)us.es, nicolosi(a)dmi.unict.it, Nikolaos.Tzevelekos(a)comlab.ox.ac.uk, nordlingnet(a)uib.no, om-announce(a)openmath.org, omp(a)di.uminho.pt, ontology(a)buffalo.edu, ontoquery(a)ruc.dk, E.Orlowska(a)itl.waw.pl, paoli(a)unica.it, patrick.allo(a)vub.ac.be, P.Bruscoli(a)bath.ac.uk, pcobrer(a)alumni.unav.es, pjparikh(a)aol.com, polacik(a)us.edu.pl, pozzato(a)di.unito.it, prog-lang(a)diku.dk, proof-complexity(a)math.cas.cz, ProofTheory.List(a)Gmail.com, psh(a)informatik.uni-tuebingen.de, public-owl-dev(a)w3.org, public-rif-wg(a)w3.org, puml-list(a)cs.york.ac.uk, QWN05577(a)nifty.ne.jp, rahm(a)informatik.uni-leipzig.de, raja(a)tifr.res.in, rantonse(a)ifi.uio.no, Razvan.Diaconescu(a)imar.ro, regis.alenda(a)gmail.com, rendsvig(a)gmail.com, rineke(a)ai.rug.nl, risc(a)risc.cnrs.fr, rlewin(a)mat.puc.cl, rodin(a)ens.fr, rosati(a)dis.uniroma1.it, Ross.Brady(a)latrobe.edu.au, ruy(a)cin.ufpe.br, rz(a)linguist.jussieu.fr, saliyari(a)Indiana.edu, saltcat(a)bc4.so-net.ne.jp, sayadyans(a)yahoo.com, schmitz(a)lsv.ens-cachan.fr, sefus(a)usal.es, semantic-web(a)w3.org, sep(a)phil.ufl.edu, sf(a)tut.fi, sigsem(a)aclweb.org, skgottipati(a)hotmail.com, slr(a)st-and.ac.uk, srirams(a)cs.stanford.edu, steinhorn(a)vassar.edu, geoff(a)cs.miami.edu, stephan.kreutzer(a)tu-berlin.de, Renate.Schmidt(a)manchester.ac.uk, su.rogerson(a)arts.monash.edu.au, swbyun(a)star.ks.ac.kr, sw-ergo(a)gui-design.de, tarlecki(a)mimuw.edu.pl, tballiso(a)umich.edu, tb(a)imm.dtu.dk, tbro(a)itu.dk, theorem-provers(a)ai.mit.edu, theory-logic(a)cs.cmu.edu, timm.lampert(a)philo.unibe.ch, tinko(a)fmi.uni-sofia.bg, tojo(a)jaist.ac.jp, torben(a)ruc.dk, tstuder(a)iam.unibe.ch, ura-list(a)helsinki.fi, uws(a)uni.opole.pl, valeria.depaiva(a)gmail.com, vandervk(a)uqtr.ca, vegetal(a)cle.unicamp.br, veloso(a)cos.ufrj.br, vero0304(a)yahoo.com, veta_v(a)mail.ru, vincent(a)hum.ku.dk, vki-list(a)dfki.de, vladan(a)ualberta.ca, ward.blonde(a)ugent.be, webmaster(a)aisb.org.uk, weinsteinm(a)mail.montclair.edu, wi(a)aifb.uni-karlsruhe.de, wojtek.jamroga(a)uni.lu, wojtylak(a)ux2.math.us.edu.pl, wilke(a)ti.informatik.uni-kiel.de, wyw(a)gdut.edu.cn, xcaicedo(a)uniandes.edu.co, yye(a)umich.edu, zhitaohe(a)vip.sina.com, Natasha.Alechina(a)nottingham.ac.uk, carlos.areces(a)gmail.com, balbiani(a)irit.fr, lbekl(a)yandex.ru, tobo(a)dtu.dk, serena(a)ibisc.univ-evry.fr, david.fernandez(a)itam.mx, melvin.fitting(a)lehman.cuny.edu, michael.gelfond(a)ttu.edu, gabelaia(a)gmail.com, silvio.ghilardi(a)unimi.it, valentin.goranko(a)philosophy.su.se, Rajeev.Gore(a)anu.edu.au, Andreas.Herzig(a)irit.fr, R.Iemhoff(a)uu.nl, agi.kurucz(a)kcl.ac.uk, roman(a)logic.at, clu(a)uni-bremen.de, Mate.andras(a)btk.elte.hu, angelo.montanari(a)uniud.it, lsm(a)cs.indiana.edu, odintsov(a)math.nsc.ru, ono(a)jaist.ac.jp, mark.reynolds(a)uwa.edu.au, shapir(a)iitp.ru, shehtman(a)netscape.net, Heinrich.Wansing(a)rub.de, michael(a)dcs.bbk.ac.uk, daniel.mery(a)loria.fr, hans.van-ditmarsch(a)loria.fr, gbezhani(a)math.nmsu.edu, Rob.Goldblatt(a)msor.vuw.ac.nz, kapur(a)cs.unm.edu, wies(a)cs.nyu.edu, siddharth.krishna(a)nyu.edu, rseba(a)disi.unitn.it, petar.iliev(a)loria.fr, sangnier(a)liafa.univ-paris-diderot.fr, nicola.olivetti(a)univ-cezanne.fr, agata(a)logic.at, sattler(a)cs.man.ac.uk, cialdea(a)dia.uniroma3.it, arild(a)ifi.uio.no, u.hustadt(a)csc.liv.ac.uk, roy.dyckhoff(a)googlemail.com, wolter(a)liverpool.ac.uk, sofronie(a)mpi-sb.mpg.de, villemaire.roger(a)uqam.ca, markey(a)lsv.fr, dwb(a)lsv.fr, praveenm(a)cmi.ac.in, dfigueira(a)gmail.com, frederic.blanqui(a)inria.fr, kit.fine(a)nyu.edu, goubault(a)lsv.ens-cachan.fr, damiananizer(a)gmail.com, potapov(a)liverpool.ac.uk, gilles.dowek(a)inria.fr, shkatov(a)gmail.com, goeller(a)lsv.ens-cachan.fr, nguyen(a)mimuw.edu.pl, pierre.bourhis(a)univ-lille1.fr, anuj.dawar(a)cl.cam.ac.uk, CLDixon(a)liverpool.ac.uk, uwe(a)mpi-inf.mpg.de, Pascal.Fontaine(a)loria.fr, Stephan.Merz(a)loria.fr, fcsatari(a)gmail.com, bitai.tamas(a)gmail.com, gomorim(a)gmail.com, balazs.inotai(a)freemail.hu, markovich.reka(a)yahoo.com, molnar.h.attila(a)gmail.com, fcarreiro(a)gmail.com, turms(a)renyi.hu, mekis(a)ludens.elte.hu, markovich(a)phil.elte.hu, Peter.Baumgartner(a)nicta.com.au, beckert(a)kit.edu, chrisf(a)logic.at, ghilardi(a)dsi.unimi.it, Konev(a)liverpool.ac.uk, roberto.sebastiani(a)disi.unitn.it, petar.iliev(a)gmail.com, sara.negri(a)helsinki.fi, patrickb(a)ruc.dk, gabriella.pigozzi(a)dauphine.fr, Guillaume.Feuillade(a)irit.fr, Emiliano.Lorini(a)irit.fr, Joseph.Boudou(a)irit.fr, David.Fernandez(a)irit.fr, Sophie.Pinchinat(a)irisa.fr, francois.schwarzentruber(a)ens-rennes.fr, troquard(a)loa.istc.cnr.it, luigi.santocanale(a)lif.univ-mrs.fr, dwb(a)lsv.ens-cachan.fr, wuzl(a)ios.ac.cn, fmurlak(a)mimuw.edu.pl, cabalar(a)udc.es, laura.bozzelli(a)fi.upm.es, cesar.sanchez(a)imdea.org, nalon(a)unb.br, bsl(a)cs.nott.ac.uk, fervari(a)famaf.unc.edu.ar, hoffmann(a)famaf.unc.edu.ar, dirk.pattinson(a)anu.edu.au, shalle(a)acm.org, fernandorvelazquezq(a)gmail.com, sophia.knight(a)gmail.com, lasha.abzianidze(a)gmail.com, igor.sedlar(a)uniba.sk, guido(a)um.es, halpern(a)cs.cornell.edu, s.l.uckelman(a)durham.ac.uk, y.wang(a)pku.edu.cn, fanjie(a)pku.edu.cn, jve(a)cwi.nl, colcombe(a)liafa.univ-paris-diderot.fr, WiebevanderHoek(a)csc.liv.ac.uk, sobekal(a)hotmail.com, dirk(a)ua.pt, vincent.demange(a)loria.fr, delima(a)cril.fr, J.Brotherston(a)ucl.ac.uk, work(a)erickoskinen.com, nikos.gorogiannis(a)gmail.com, Lutz.Schroeder(a)cs.fau.de, a.visser(a)uu.nl, wconradie(a)uj.ac.za, graedel(a)logic.rwth-aachen.de, igw(a)labri.fr Workshop on Advances in Separation Logics (ASL 2022), Haifa, Israel, July 31st 2022 https://asl-workshop.github.io/asl22/ The past two decades have witnessed important progress in static analysis and verification of code with low-level pointer and heap manipulations, mainly due to the development of Separation Logic (SL). SL is a resource logic, a dialect of the logic of Bunched Implications (BI) designed to describe models of the heap memory and the mutations that occur in the heap as the result of low-level pointer updates. The success of SL in program analysis is due to the support for local reasoning, namely the ability of describing only the resource(s) being modified, instead of the entire state of the system. This enables the design of compositional analyses that synthesize specifications of the behavior of small parts of the program before combining such local specifications into global verification conditions. Another interesting line of work consists in finding alternatives to the underlying semantic domain of SL, namely heaps with aggregative composition, in order to address other fields in computing, such as self-adapting distributed networks, blockchain and population protocols, social networks or biological systems. We consider submissions on topics including: * decision procedures for SL and other resource logics, * computational complexity of decision problems such as satisfiability, entailment and abduction for SL and other resource logics, * axiomatisations and proof systems for automated or interactive theorem proving for SL and other resource logics, * verification conditions for real-life interprocedural and concurrent programs, using SL and other resource logics, * alternative semantics and computation models based on the notion of resource, * application of separation and resource logics to different fields, such as sociology and biology. ASL 2022 is a workshop affiliated to IJCAR 2022 at FLOC 2022. Keynote Speakers * Philippa Gardner, Imperial College London * Ralf Jung, MIT CSAIL Important Dates * Papers due: May 10, 2022 (AoE) * Authors notification: June 15, 2022 (AoE) * Workshop: July 31, 2022 Program Committee Nadia Polikarpova (UCSD, San Diego, USA) James Brotherston (UCL, London, UK) Qinxiang Cao (Shanghai Jiaotong University) Dan Frumin (University of Groningen, The Netherlands) Lennart Beringer (Princeton University, USA) Arthur Charguéraud (INRIA Strasbourg, France) Radu Iosif (Verimag, CNRS, Univ. Grenoble Alpes, France) Le Quang Loc (UCL, London, UK) Alessio Mansutti (University of Oxford, UK) Christoph Matheja (DTU, Lyngby, Denmark) Daniel Méry (University of Loraine, France) Koji Nakazawa (Nagoya University, Japan) Nicolas Peltier (LIG, CNRS, Grenoble, France) Adam Rogalewicz (Brno University of Technology, Czech Republic) Mihaela Sighireanu (LMF, ENS Paris-Saclay, France) Florian Zuleger (Vienna University of Technology, Austria) Organizing committee Radu Iosif (Verimag, CNRS, Univ. Grenoble Alpes, France) Nikos Gorogiannis (Meta, London, UK) Robbert Krebbers (Radboud Univ. Nijmegen, The Netherlands) Mihaela Sighireanu (LMF, ENS Paris-Saclay, France) Makoto Tatsuta (NII, Tokyo, Japan) Thomas Noll (RWTH, Aachen, Germany) -- 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: [WI] CfP HMD 349 - Logistik 4.0
by Gustaf Neumann 18 Mar '22

18 Mar '22

-------- Forwarded Message -------- Subject: [WI] CfP HMD 349 - Logistik 4.0 Date: Fri, 18 Mar 2022 12:20:24 +0100 From: Christian Leyh <christian.leyh(a)w.thm.de> Reply-To: Christian Leyh <christian.leyh(a)w.thm.de> To: wi(a)lists.kit.edu *Call for Papers* Zeitschrift: HMD – Praxis der Wirtschaftsinformatik (https://www.springer.com/hmd) Schwerpunktheft Februar 2023 (HMD 349): *Logistik 4.0* Blockchain, Big Data und IoT durchdringen immer stärker die Unternehmensprozesse und damit zwangsläufig alle Logistikketten und die gesamte Supply Chain. Doch wo stehen wir tatsächlich bei der Digitalisierung der Supply Chain? Sind wir angekommen in der Logistik 4.0? Welche Erkenntnisse können wir aus Störungen wie der Havarie der "Ever Given" und aus schwarzen Schwänen wie der Corona-Pandemie für die Gestaltung künftiger Logistikprozesse und -netzwerke gewinnen? In dieser Schwerpunktausgabe der HMD mit Erscheinungsdatum Februar 2023 sollen diese Fragen aufgegriffen, dargestellt und diskutiert werden. Vorgesehen sind aktuelle praxisorientierte Beiträge über Grundlagen, Strategien, Methoden und Techniken zum Thema Logistik 4.0; darüber hinaus auch Erfahrungsberichte, die auf die Realisierbarkeit aktueller Modelle in der betrieblichen Praxis eingehen. *Mögliche Themen könnten umfassen:* Business Intelligence-Anwendungen und neue Planungs-Tools, etwa mit KI-Unterstützung, die Integration von Blockchain-Konzepten oder die fortschreitende Digitalisierung im E-Commerce durch neuartige Services und Geschäftsmodelle. Fragen des Umgangs mit Stammdaten oder der Datenqualität sind dabei ebenso wichtig, wie ein Blick auf neueste Entwicklungstrends und Forschungsvorhaben. Fortschreitende Automatisierung, zunehmende Transparenz und Vernetzung, hohe Flexibilität und Echtzeitfähigkeit sind weitere Aspekte, um die reale mit der digitalen Welt zu verbinden. *Zeitplan* * Artikelidee per E-Mail an Hrsg. gerne bis 01.05.2022 * Einreichung des vollständigen Beitrags bis 18.07.2022 * Übermittlung der Gutachten an die Autor:innen bis ca. 22.09.2022 * Finale Überarbeitung durch die Autor:innen bis 30.11.2022 * Redaktionsschluss: 15.12.2022 Weitere Informationen, *Autorenhinweise* sowie den Link zur Einreichung von Beiträgen über den *Editorial Manager* finden Sie unter www.springer.com/hmd <http://www.springer.com/hmd> Kontaktieren Sie gerne die zuständigen Heftherausgeber, um Ihre Artikelideen zu besprechen: Dr. Christian Leyh (christian.leyh(a)w.thm.de) Prof. Dr. Knut Hildebrand (knut.hildebrand(a)hswt.de) -- 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] ITAIS&MCIS 2022 CFP - The 19th Conference of the Italian Chapter of AIS and the 14th Mediterranean Conference on Information Systems: a joint event
by Gustaf Neumann 18 Mar '22

18 Mar '22

-------- Forwarded Message -------- Subject: [AISWorld] ITAIS&MCIS 2022 CFP - The 19th Conference of the Italian Chapter of AIS and the 14th Mediterranean Conference on Information Systems: a joint event Date: Fri, 18 Mar 2022 10:59:14 +0000 From: Stefano Za <sza(a)luiss.it> To: aisworld(a)lists.aisnet.org <aisworld(a)lists.aisnet.org> Dear Colleagues, This year the 19th conference of the Italian Chapter of AIS (ItAIS2022) and the 14th Mediterranean Conference on Information Systems (MCIS2022) will be organized as a joint conference. The conference will be held at University “Magna Græcia” of Catanzaro, Dipartimento di Giurisprudenza, Economia e Sociologia, on October 14th–15th, 2022, Catanzaro Submissions will be evaluated through a standard double blind review process. Although it is not compulsory, we suggest authors to submit an abstract in order to receive a feedback by the track chairs before the full paper submission. ITAIS and MCIS have two different traditions concerning the proceedings publication. For this reason, authors must specify on which kind of proceedings publication are interested during the full paper submission process on the Easychair platform. A selection of the best papers will be published in a Springer volume indexed on Scopus. We are also arranging agreements for fast access to journals. Further details can be found on the conference website: www.itais.org/conference<http://www.itais.org/conference> or www.mcis2022.eu<http://www.mcis2022.eu> IMPORTANT DATES Deadline for encouraged abstract submission: April 25, 2022 Deadline for full paper submission: May 29, 2022 Notification of acceptance: July 25, 2022 Final paper submission: August 30, 2022 Final notification of acceptance: September 10, 2022 Doctoral Consortium: October 13 – 14, 2022 Conference: October 14 – 15, 2022 /---------------------------------------------------------------/ CONFERENCE TRACKS T01 – Organizational Change: Enabling Technologies & Business Process Design T02 – Digital transformation and the future of work: Processes, competencies, and HRM challenges T03 – Socio-Technical Perspectives to lead the change towards a sustainable society T04 – Digital Accounting Information Systems for moving towards a sustainable future T05 – Digital Ecosystems: A Sustainable Future for Business and Platforms T06 – Digital Public Administration for Innovation and Sustainable Development T07 – Emerging Technologies and Organizational Culture T08 – Healthcare systems: toward a sustainable digital future? T09 – (ir)responsible exponential technologies in organizations: managerial issues and organizational dilemmas T10 – Participation, engagement and coproduction for social innovation in turbulent times T11 – e-Services, Social Networks, and Online Communities T12 – Evolution and development of cities in a “smart” perspective: Re-shaping the urban context in the digital and sustainable era T13 – Data management, statistics and data analytics for sustainability goals T14 – Digital, organizational and managerial tools to support sustainable Open Innovation in improving firm performance T15 – Innovating Sustainability: Strategic Impact of Digital Processes, Products, and Services T16 – Digital Transformation: new entrepreneurial strategies and mindset T17 – Sustainable service design and innovation for creating a smart future in digital and turbulent times The conference chairs, the programme chairs and the organizing committee are looking forward to meeting you in Catanzaro! The ItAIS and MCIS 2022 conference team La presente e-mail proviene da Luiss Guido Carli e s'intende inviata per scopi lavorativi. Tutte le informazioni ivi contenute, compresi eventuali allegati, sono da ritenersi esclusivamente confidenziali e riservati secondo i termini del vigente D.Lgs. 196/2003 in materia di privacy e del Regolamento europeo 679/2016 - GDPR. È vietato qualsiasi ulteriore utilizzo non autorizzato. Qualora la stessa Le fosse pervenuta per errore, La preghiamo di eliminarla immediatamente e di darcene tempestiva comunicazione. Grazie. This e-mail message is sent by Luiss Guido Carli for business purposes. All informations contained therein, including any attachments, are for the sole use of the intended recipient and may contain confidential and privileged information pursuant to Legislative Decree 196/2003 and the European General Data Protection Regulation 679/2016 - GDPR -. Any unauthorized review, use, disclosure or distribution is prohibited. If you are not the intended recipient, please contact the sender by soon reply this e-mail and destroy all copies of the original message. Thanks _______________________________________________ AISWorld mailing list AISWorld(a)lists.aisnet.org

1 0

Fwd: [wkwi] CfP Electronic Markets: "Financial technology (fintech): The continuing revolution in financial services"
by Gustaf Neumann 18 Mar '22

18 Mar '22

-------- Forwarded Message -------- Subject: [wkwi] CfP Electronic Markets: "Financial technology (fintech): The continuing revolution in financial services" Date: Fri, 18 Mar 2022 11:56:37 +0100 From: editors(a)electronicmarkets.org Reply-To: editors(a)electronicmarkets.org To: wkwi(a)listserv.dfn.de --- Apologies for cross-postings--- *Call for Papers: “Financial technology (fintech): The continuing revolution in financial services”* Submission deadline: April 30, 2022 *Guest Editors* * Christopher P. Holland, Loughborough University, UK c.p.holland(a)lboro.ac.uk <mailto:c.p.holland@lboro.ac.uk> * Rainer Alt, Leipzig University, Germany, rainer.alt(a)uni-leipzig.de <mailto:rainer.alt@uni-leipzig.de> * Younghoon Chang, Beijing Institute of Technology, China, younghoonchang(a)bit.edu.cn <mailto:younghoonchang@bit.edu.cn> *Theme* This call for papers focuses on financial technology (fintech) and its role in the continuing revolution in financial services. Fintech comprises the transformation of business processes, strategies and business models in the financial sector with digital technologies. Numerous start-up companies have launched novel services that are unrestrained by legacy systems and old business models, and have already disrupted financial markets (Goldstein, Jiang and Karolyi, 2019). Managerial roles and structures are being redefined and modified to exploit combined human and machine intelligence. New business models are emerging that could replace those of incumbents (i.e. banks, insurance companies, brokers) and today’s market leaders. These innovations are part of the broader phenomena of digital transformation and business innovation (Brynjolfsson & Mcafee, 2016). There is worldwide adoption of fintech though there are large regional variances in terms of the scale of adoption (Frost, 2020). Digital technologies such as cloud-based computing, ubiquitous mobile, tracking and sensor devices, novel algorithms (Christian & Griffiths 2017), blockchain technology (Ali /et al./, 2020; Chang /et al./, 2020), an abundance of big data and the potential of smart AI or even super-intelligent machines (Bostrom, 2017; Tegmark, 2017) continue to create new possibilities and options for the design of financial services, which are in the early stages of a radical shift in the way that they function and operate. Among the examples that point towards more automation are cryptocurrencies with smart contracts for payments and trading or AI systems with adaptive algorithms that allow image and speech recognition, expert judgement, categorization of groups and forecasting in many areas (Fry, 2018). At the same time, the potentials create risks and raise regulatory issues. The special issue encourage theoretical and empirical research on how fintech is transforming and shaping financial services. All forms of empirical research are welcome, including case study research, surveys and technical models. Distinctive and novel theoretical approaches are also encouraged. *Central issues and topics* Possible topics of submissions include, but are not limited to: 1. Electronic markets and business models * New, emergent digital platforms that shape market exchanges and coordination * New business models in financial services that are disrupting the market * Design and implementation of data-driven and algorithmic digital platforms * Collaboration between fintech and established financial services companies * Customer experience in fintech apps and new types of customer behavior 2. Financial technology (fintech) and implementation * Barriers and enablers of fintech implementations * Distributed ledger applications and decentralized finance (Defi) * Novel applications of AI, e.g. chatbots in online customer search and robot-advisory * Data sharing in financial service value chains * The dark sides of fintech, e.g., privacy, security, technology dependency 3. Related topics * Algorithmic bias in the design of automated decision-making systems * Strategies to tackle the ethical issues of transparent and explainable AI in fintech systems * Actions of regulators to monitor and advise on the ethical use of fintech * Analysis of economic activity related to cryptocurrency payments and markets * Novel use of fintech to support and facilitate new regulatory systems and techniques *Keywords* Financial technology, Artificial Intelligence (AI), machine learning, big data and digital platforms, business models, analytics, blockchain technology, privacy and ethics of AI.** ** *Submission* Electronic Markets is a Social Science Citation Index (SSCI)-listed journal (IF 4.765 in 2020) in the area of information systems. We encourage original contributions with a broad range of methodological approaches, including conceptual, qualitative and quantitative research. Please also consider position papers and case studies for this special issue. All papers should fit the journal scope (for more information, see www.electronicmarkets.org/about-em/scope/ <http://www.electronicmarkets.org/about-em/scope/>) and will undergo a double-blind peer-review process. Submissions must be made via the journal’s submission system and comply with the journal's formatting standards. The preferred average article length is approximately 8,000 words, excluding references. If you would like to discuss any aspect of this special issue, you may either contact the guest editors or the Editorial Office. *Important deadline* * Submission Deadline: April 30, 2022 *References* Ali, O., Ally, M., Clutterbuck, P., & Dwivedi, Y.K. (2020). The state of play of blockchain technology in the financial services sector: A systematic literature review. /International Journal of Information Management, 54,/ 102199. https://doi.org/10.1016/j.ijinfomgt.2020.102199. Alt, R., Beck, R., & Smits, M.T. (2018). FinTech and the transformation of the financial industry. /Electronic Markets/, /28/(3), 235–243. https://doi.org/10.1007/s12525-018-0310-9. Bostrom, N. (2017). /Superintelligence - paths, dangers, strategies/. Oxford: Oxford University Press. Brynjolfsson, E., & Mcafee, A. (2016). /The second machine age: work, progress, and prosperity in a time of brilliant technologies/. New York and London: W.W. Norton & Company. Chang, V., Baudier, P., Zhang, H., Xu, Q., Zhang, J., & Arami, M. (2020). How blockchain can impact financial services – the overview, challenges and recommendations from expert interviewees. /Technological Forecasting and Social Change, 158/, 120166. https://doi.org/10.1016/j.techfore.2020.120166. Frost, J. (2020). The economic forces driving fintech adoption across countries. In: King, M., & Nesbitt, R. (eds.), /The technological revolution in financial services: how banks, fintechs, and customers win together,/ pp. 70–89. https://doi.org/10.2139/ssrn.3515326. Fry, H. (2018). /Hello world: how to be human in the age of the machine. /Penguin Random House, UK. Goldstein, I., Jiang, W., & Karolyi, G. A. (2019). To fintech and beyond. /The Review of Financial Studies, 32/(5), 1647–1661. https://doi.org/10.1093/rfs/hhz025. Tegmark, M. (2017). /Life 3.0. Being human in the age of artificial intelligence/. Penguin Random House, UK. Best regards, Rainer Alt, Hans-Dieter Zimmermann, Ramona Coia ==================================================================== Electronic Markets - The International Journal on Networked Business Editors-in-Chief: Rainer Alt, Leipzig University and Hans-Dieter Zimmermann, FHS St.Gallen, University of Applied Sciences Executive Editor: Ramona Coia, Leipzig University Editorial Office: c/o Information Systems Institute Leipzig University Grimmaische Str. 12, 04109 Leipzig, Germany Phone: +49 (0) 341 - 97 33 611 Fax: +49 (0) 341 - 97 33 612 http://www.electronicmarkets.org/ <https://urldefense.proofpoint.com/v2/url?u=http-3A__www.electronicmarkets.o…> https://twitter.com/journal_EM <https://urldefense.proofpoint.com/v2/url?u=https-3A__twitter.com_journal-5F…> https://www.facebook.com/ElectronicMarkets <https://urldefense.proofpoint.com/v2/url?u=https-3A__www.facebook.com_Elect…> https://www.linkedin.com/company/emjournal <https://www.linkedin.com/company/emjournal> Journal Impact Factor: *4.765*

1 0

Fwd: [AISWorld] HICSS 56: “Explainable Artificial Intelligence (XAI)” mini-track with publication opportunity in Information Systems Management (ISM).
by Gustaf Neumann 18 Mar '22

18 Mar '22

-------- Forwarded Message -------- Subject: [AISWorld] HICSS 56: “Explainable Artificial Intelligence (XAI)” mini-track with publication opportunity in Information Systems Management (ISM). Date: Fri, 18 Mar 2022 15:16:52 +1100 From: Babak Abedin <babak.abedin(a)gmail.com> To: aisworld(a)lists.aisnet.org *Call for Papers: “Explainable Artificial Intelligence (XAI)” Minitrack at the 56th Hawaii International Conference on System Sciences (HICSS)* ********************************************************************* The use of Artificial Intelligence (AI) in the context of decision analytics and service science has received significant attention in academia and practice alike. Yet, much of the current efforts have focused on advancing underlying algorithms and not on decreasing the complexity of AI systems. AI systems are still “black boxes” that are difficult to comprehend—not only for developers, but particularly for users and decision-makers (Meske et al. 2022). In addition, the development and use of AI is associated with many risks and pitfalls like biases in data or predictions based on spurious correlations (“Clever Hans” phenomena) (Lapuschkin et al. 2019), which eventually may lead to malfunctioning or biased AI and hence technologically driven discrimination. This is where research on Explainable Artificial Intelligence (XAI) comes in. Also referred to as “transparent,” “interpretable,” or “understandable AI”, XAI aims to “produce explainable models, while maintaining a high level of learning performance (prediction accuracy); and enable human users to understand, appropriately, trust, and effectively manage the emerging generation of artificially intelligent partners” (DARPA 2017). XAI hence refers to “the movement, initiatives, and efforts made in response to AI transparency and trust concerns, more than to a formal technical concept” (Adadi and Berrada 2018, p. 52140). XAI is designed user-centric in that users are empowered to scrutinize and appropriately trust AI (Förster et al. 2020), eventually impacting task performance of users (Kühl et al. 2019). With a focus on decision support, this minitrack aims to explore and extend research on how to establish explainability of intelligent black box systems—machine learning-based or not. We especially look for contributions that investigate XAI from either a developer’s or user’s perspective. We invite submissions from all application domains, such as healthcare, finance, e-commerce, retail, public administration or others. Technically and method-oriented studies, case studies as well as design science or behavioral science approaches are welcome. Topics of interest include, but are not limited to: · The users’ perspective on XAI o Theorizing XAI-human interactions o Presentation and personalization of AI explanations for different target groups o XAI to increase situational awareness, compliance behavior and task performance o XAI for transparency and unbiased decision making o Impact of explainability on AI-based decision support systems use and adoption o Explainability of AI in crisis situations o Potential harm of explainability in AI o Identifying user-centric requirements for XAI systems · The developers’ perspective on XAI o XAI to open, control and evaluate black box algorithms o Using XAI to identify bias in data o Explainability and Human-in-the-Loop development of AI o XAI to support interactive machine learning o Prevention and detection of deceptive AI explanations o XAI to discover deep knowledge and learn from AI o Designing and deploying XAI systems o Addressing user-centric requirements for XAI systems · The governments’ perspective on XAI o XAI and compliance o Explainability and transparency policy guidelines o Evidence base benefits and challenges of XAI expectations and implementations *Submission Deadline: * June 15th, 2022 Further information for authors: https://hicss.hawaii.edu/authors/ *Fast track:* We provide the opportunity for the (extended) best paper of this minitrack to be fast-tracked to the journal Information Systems Management (ISM) *Minitrack Co-Chairs: * Christian Meske Ruhr-Universität Bochum Babak Abedin Macquarie University Mathias Klier University of Ulm Fethi Rabhi University of New South Wales _______________________________________________ AISWorld mailing list AISWorld(a)lists.aisnet.org

1 0

Fwd: [AISWorld] Updated CFP with NEW DATES- WER 2022 – 25th Workshop on Requirements Engineering
by Gustaf Neumann 18 Mar '22

18 Mar '22

-------- Forwarded Message -------- Subject: [AISWorld] Updated CFP with NEW DATES- WER 2022 – 25th Workshop on Requirements Engineering Date: Thu, 17 Mar 2022 13:20:56 +0000 From: Maria Pinto Albuquerque <maria.albuquerque(a)iscte-iul.pt> To: aisworld(a)lists.aisnet.org <aisworld(a)lists.aisnet.org> (Apologies for multiple postings) ***************************************************************************** CALL FOR PAPERS WER 2022 – 25th Workshop on Requirements Engineering August 23 - 26, 2022 UFRN, Natal, Brazil VIRTUAL https://wer2022.dimap.ufrn.br/ ***************************************************************************** IMPORTANT DATES – NEW DATES!!! Regular Research Track and Software Requirement Tools Track Abstract submission: March 07th, 2022 March 21th, 2022 Paper submission: March 14th, 2022 March 28st, 2022 (HARD DEADLINE!!!) Master's and Doctoral Track, Tutorial Track and Journal First Track Abstract submission: March 07th, 2022 April 11th, 2022 Paper submission: March 14th, 2022 April 18th, 2022 (HARD DEADLINE!!!) Notification: May 20th, 2022 Camera-ready: June 10th, 2022 ***************************************************************************** The Workshop on Requirements Engineering 2022 is now in its twentieth-fifth edition (Silver Jubilee!). This series of workshops on the area started in 1998 as a meeting of the Ibero-American requirements engineering community. However, since then, it has attracted attention from researchers and practitioners from other parts of the world. The WER format promotes discussion and knowledge exchange between the academy and industry members. As in the last editions, this one will also feature invited lectures from well-known researchers and practitioners, and tutorials. This edition will introduce a track for journal manuscript presentations. WER 2022 invites authors of papers on the topics of interest of the conference and accepted in journals to present their research at WER. This is an opportunity for the authors to discuss their work in order to obtain feedback and improve their research. Accepted papers will be published at WERPapers (http://wer.inf.puc-rio.br/WERpapers/), a repository indexed by DBLP. Therefore, the accepted papers will be listed by Google Scholar. Best papers will be invited to publish an extended version to the journal Cadernos do IME -série informática (https://www.ime.uerj.br/cadernos/). TOPICS OF INTEREST - Requirements elicitation, analysis, and documentation, management, traceability, prioritization, validation, verification, and negotiation; - Requirements engineering education and training; - Requirements engineering for specific software development paradigms, such as the agent-driven, aspect-driven, model-driven, or service-driven; - Requirements engineering for specific fields, like safety-critical, web-based, or mobile applications systems; - Requirements engineering in agile methodologies; - Requirements specification languages, methods, processes, and tools; - Model-driven software engineering - Regulatory compliance. * The topics of interest are not exhaustive listed SUBMISSION GUIDELINES Submissions must be written in Portuguese, Spanish or English. They must be formatted according to the LNCS page format. All accepted papers will be published with Open Access through the WERpapers repository. Please submit your work in PDF format via EasyChair: https://easychair.org/conferences/?conf=wer2022 For further questions, please contact wer2022(a)dimap.ufrn.br<mailto:wer2022@dimap.ufrn.br> WER 2022 invites submission in the field of Requirements Engineering as part of the following tracks: • REGULAR TRACK (WER-RT) • TUTORIAL TRACK (WER-TT) • MASTER’s AND DOCTORAL TRACK (WER-MDT) • SOFTWARE REQUIREMENT TOOLS TRACK (WER-SRTT) • JOURNAL FIRST TRACK (WER-JFT) - NEW! TRACKS DESCRIPTION REGULAR TRACK (WER-RT) Papers presenting original results on research, teaching and industrial viewpoints on all aspects of Requirements Engineering are welcome. The selection process will consider applicability and relevance to Requirements Engineering, originality, and clarity. The paper should not exceed 14 pages according to the LNCS format. TUTORIAL TRACK (WER-TT) The proposal for a 3-hour tutorial should not exceed two pages, formatted according to the LNCS page format. MASTER’s AND DOCTORAL TRACK (WER-MDT) The paper should not exceed 7 pages of content for Master's work and 10 pages of content for Doctoral work, according to the LNCS page format. We recommend, although it is not compulsory, that the research be at an intermediate stage so that experts’ suggestions could be included in the MSc and PhD work. The works will receive feedback from the Program Committee with questions and suggestions about its content. The author should use these comments in the preparation of the paper's final version. Selected works must be presented by students during the MDT. On this occasion, they will receive opinions and constructive criticism from a Guest Panel, composed of researchers in the field of Requirements Engineering, as well as the audience. SOFTWARE REQUIREMENT TOOLS TRACK (WER-SRTT) Submissions for the Software Requirements Tool track must include a paper and a demo video with audio comments. The paper must have at most 10 pages, formatted according to the LNCS paper format. JOURNAL FIRST TRACK (WER-JFT) - NEW! The Journal-First Track at WER 2022 welcomes submissions from authors of top peer reviewed journal papers that address the topics of interest of the workshop. This offers an opportunity for the authors to discuss their work with the community as well as to enrich the technical program of WER. Presentations of journal-first papers will be included into WER 2022 Regular Track. A submission to the WER 2022 Journal-First Track must be a journal paper accepted or published no earlier than September 1, 2020. The paper must report original results that are not extensions of previous conference papers. The paper must not have been presented at, and is not under consideration for, journal-first programs of other conferences. At least one author per selected submission must register and attend the workshop to present it. GENERAL ORGANIZATION COMMITTEE: LOCAL ORGANIZATION CHAIRS Isabel Nunes, Universidade Federal de Rio Grande do Norte, Brazil Lyrene Fernandes da Silva, Universidade Federal de Rio Grande do Norte, Brazil Márcia Lucena, Universidade Federal de Rio Grande do Norte, Brazil REGULAR TRACK PROGRAM AND TUTORIAL CHAIRS Maria Lencastre, Universidade de Pernambuco, Brazil. Leandro Antonelli, Universidad Nacional de la Plata, Argentina. Victor Santander, Universidade Estadual do Oeste do Paraná, Brazil MASTER'S AND DOCTORAL TRACK CHAIRS Fernanda Alencar, Universidade Federal de Pernambuco, Brazil. Johnny Marques, Instituto Tecnológico de Aeronáutica, Brazil. SOFTWARE REQUIREMENTS TOOLS TRACK CHAIRS João Henrique Correia Pimentel, Universidade Federal Rural de Pernambuco, Brazil JOURNAL FIRST CHAIRS Jaelson Castro, Universidade Federal de Pernambuco, Brazil Julio Leite, CNPq Researcher 1, Brazil PUBLICITY CHAIRS Gladys Kaplan, Universidad Nacional de La Matanza, Argentina Enyo Gonçalves, Universidade Federal do Ceará, Brazil Maria Pinto-Albuquerque, Iscte - Instituto Universitário de Lisboa, Portugal PROCEEDINGS CHAIR Roxana Portugal, Universidad Nacional de San Antonio Abad del Cusco, Peru ***************************************************************************** _______________________________________________ AISWorld mailing list AISWorld(a)lists.aisnet.org

1 0

Fwd: [WI] CfP Hybrid ISWC 2022 - Call for Workshops & Tutorials: *~2 Days Left to Submit*
by Gustaf Neumann 17 Mar '22

17 Mar '22

-------- Forwarded Message -------- Subject: [WI] CfP Hybrid ISWC 2022 - Call for Workshops & Tutorials: *~2 Days Left to Submit* Date: Thu, 17 Mar 2022 08:30:31 -0400 From: International Semantic Web Conference <iswc.conf(a)gmail.com> Reply-To: International Semantic Web Conference <iswc.conf(a)gmail.com> *CfP: Hybrid 21st International Semantic Web Conference (ISWC 2022)* Hangzhou, China, October 23-27, 2022 https://iswc2022.semanticweb.org/ The International Semantic Web Conference (ISWC) is the premier venue for presenting fundamental research, innovative technology, and applications concerning semantics, data, and the Web. It is the most important international venue to discuss and present the latest advances and applications of the semantic Web, knowledge graphs, linked data, ontologies and artificial intelligence (AI) on the Web. Follow us on social media: - Twitter: @iswc_conf #iswc_conf (https://twitter.com/iswc_conf <https://twitter.com/iswc_conf>) - LinkedIn: https://www.linkedin.com/groups/13612370 <https://www.linkedin.com/groups/13612370> - Facebook: https://www.facebook.com/ISWConf <https://www.facebook.com/ISWConf> - Instagram: https://www.instagram.com/iswc_conf/ Join ISWC 2022 by submitting to the following tracks and activities, or by attending the hybrid conference! Call for Workshops and Tutorials: https://iswc2022.semanticweb.org/index.php/workshops-and-tutorials/ <https://iswc2022.semanticweb.org/index.php/workshops-and-tutorials/> Deadline: Friday, 18th March, 2022,23:59 AoE (Anywhere on Earth) Workshops & Tutorials Chairs: - Marta Sabou, Vienna University of Economics and Business (WU), Austria marta.sabou(a)wu.ac.at - Raghava Mutharaju, IIIT-Delhi, India raghava.mutharaju(a)iiitd.ac.in The ISWC 2022 Organizing Team Organizing Committee – ISWC 2022 (semanticweb.org) <https://iswc2022.semanticweb.org/index.php/organizing-committee/> -- 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: [WI] CfP Informatik 2022: (Agiles) Enterprise Architecture Management in Forschung und Praxis
by Gustaf Neumann 17 Mar '22

17 Mar '22

-------- Forwarded Message -------- Subject: [WI] CfP Informatik 2022: (Agiles) Enterprise Architecture Management in Forschung und Praxis Date: Wed, 16 Mar 2022 20:22:42 +0000 From: Brockmann, Carsten <carsten.brockmann(a)sap.com> Reply-To: Brockmann, Carsten <carsten.brockmann(a)sap.com> To: wi(a)lists.kit.edu <wi(a)lists.kit.edu> Konferenz INFORMATIK 2022 (Agiles) Enterprise Architecture Management in Forschung und Praxis Einreichung von Beiträgen: 30.04.2022 Benachrichtigung über Review Ergebnisse: 17.06.2022 Abgabe der überarbeiteten Beiträge: 03.07.2022 INFORMATIK 2022 Workshopzeitraum: 26.09.2022 - 30.09.2022 Die angenommenen Beiträge werden in der GI-Edition der Lecture Notes in Informatics (LNI) veröffentlicht. Autorenvorlage: https://www.gi.de/service/publikationen/lni/autorenrichtlinien.html <https://www.gi.de/service/publikationen/lni/autorenrichtlinien.html> Einreichungsprozedur: Bitte Beitrag per eMail versenden an carsten.brockmann(a)sap.com Der Workshop „(Agiles) Enterprise Architecture Management“ wird sich mit Methoden und Modellen des EAM auseinandersetzen, dies auch unter dem Blickwinkel der verschiedenen Themenrichtungen der INFORMATIK 2022. Gerade im Hinblick auf die Informatik in den Naturwissenschaften ist ein konsistentes und agiles Architekturmanagement eine wichtige Voraussetzung, die es ermöglicht, flexibel und schnell auf neue Anforderungen reagieren zu können um dabei sowohl die Systeme selbst wie auch externe Komponenten (bspw. Industrie 4.0) anzusteuern.. Im Rahmen des Workshops wird eine übergreifende Sichtweise auf EAM eingenommen, so dass die IT-, Geschäfts- und Finanzauswirkungen sowie deren Rückkopplungen auf das Architekturmanagement betrachtet werden. Ferner sollen existierende klassische und agile EAM-Frameworks und Anwendung in Wirtschaft und im öffentlichen Sektor verglichen und Änderungspotenziale aufgezeigt werden. Ansätze für agiles EAM und das „Agilisieren“ von TOGAF werden als weitere Schwerpunktthemen gesehen. Ein weiteres Themenfeld spielen Methodiken für die Einführung von Anwendungssytemen sowie Referenzarchitekturen für spezifische Industrien. Darüber hinaus werden die Auswirkungen von intelligenten Technologien (z. B. Künstliche Intelligenz, Robotic Process Automation) auf Architekturen betrachtet. Beiträge können u.a. zu folgenden Themen eingereicht werden: ·Agile EAM ·Lean EAM ·Leanisieren von TOGAF ·Fit-to-Standard ·Ganzheitliche Vorgehensmodelle für Projekte ·EAM im Zeitalter der Digitalisierung ·Neue EAM-Ansätze im Kontext der Digitalisierung ·IT-Strategie und Architekturmanagement ·EAM im privaten Sektor ·EAM im öffentlichen Sektor ·Industrie- und Organisationsspezifische Referenzarchitekturen ·Maschinelles Lernen und Künstliche Intelligenz ·Fallstudien für die Einführung von EAM-Frameworks in Organisationen ·Erfolgsfaktoren für EAM im Mittelstand ·Marktstudien zu EAM-Tools ·Themen, die mit den oben genannten oder mit EAM allgemein verwandt sind Folgende Beitragstypen werden angenommen: ·Ausführliche Forschungsbeiträge mit bis zu 14 Seiten ·Kurze Forschungsbeiträge (Research in progress) mit bis zu 6 Seiten ·Praxisbeiträge/Fallstudien mit bis zu 6 Seiten Organisatoren ·Dr. Carsten Brockmann (Hauptansprechpartner), Senior Project Manager, SAP ·Prof. Dr. Christian Czarnecki, FH Aachen Beste Grüße: Carsten Brockmann -- 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] Second call for demos: 20th International Conference on Artificial Intelligence in Medicine (AIME 2022)
by Gustaf Neumann 16 Mar '22

16 Mar '22

-------- Forwarded Message -------- Subject: [AISWorld] Second call for demos: 20th International Conference on Artificial Intelligence in Medicine (AIME 2022) Date: Tue, 15 Mar 2022 20:46:46 +0000 From: William Van Woensel <William.Van.Woensel(a)Dal.Ca> To: aisworld(a)lists.aisnet.org <aisworld(a)lists.aisnet.org> AIME 2022 provides opportunities for presenting software demos of healthcare applications. The demo track invites submissions from academia and industry for live demonstrations of either prototype or production software systems that apply AI methods for solving problems in the biomedical field, suiting any of the AIME topic areas. The demo should be the result of innovative work including solving novel technical or research problems or creating novel user interfaces. We also welcome submissions related to the use of data analytics, data management and machine learning to manage relevant data and learn about the COVID-19 epidemic, including but not limited to epidemic modelling, healthcare, disease detection, and logistics. Authors of accepted demo track papers will be expected to be present at the conference site and perform a live demo. Accepted demos will appear in the proceedings of the conference. More details on software demos are available at https://aime22.aimedicine.info/index.php/call-for-submissions/demos === Submission === The submission should describe the technical innovation that produced the demonstrated system, as well as the biomedical problem that is being solved. A submission should contain an introduction, brief description, screenshots, a description of the technical or research novelty, and its potential applications for solving biomedical problems. Submissions should not exceed 4 pages (LNCS format) with 1 additional page for references. Submissions should further specify what the hardware requirements are for the demo, if any (for the organizers). Authors are also encouraged to submit a URL to a 2-minute YouTube video showing the demo, or link to an online version of the deployed software. Demo submissions should be sent to the Demo Chair, William Van Woensel. All submissions will undergo a common review process with 2-3 reviewers per demo. For more information about submitting a demo, please contact the chair (william.van.woensel(a)dal.ca<mailto:william.van.woensel@dal.ca>). === Important Dates === Demo submission deadline: Mar 31 2022 Notification of acceptance: Apr 30 2022 Camera-ready submission deadline: May 20 2022 _______________________________________________ AISWorld mailing list AISWorld(a)lists.aisnet.org

1 0

← Newer
1
2
3
4
5
6
7
8
9
Older →

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 March 2022