-------- Forwarded Message -------- Subject: [WI] CFP - The 35th International Conference on Logic Programming (ICLP 2019) Date: Wed, 3 Apr 2019 00:17:30 +0000 From: Fioretto, Ferdinando fioretto.ferdinando@isye.gatech.edu Reply-To: Fioretto, Ferdinando fioretto.ferdinando@isye.gatech.edu
Apologiesforcross-posting
*The**35th**International**Conference**on**Logic**Programming*(*ICLP**2019*)
CallforPapers =====================
September21-25,2019 LasCruces,NewMexico(USA) https://www.cs.nmsu.edu/ALP/iclp2019/
*Scope* ------ SincethefirstconferenceheldinMarseillein1982,ICLPhasbeenthepremierinternationaleventforpresentingresearchinlogicprogramming.Contributionsaresoughtinallareasoflogicprogramming,includingbutnotrestrictedto:
* *Foundations*:Semantics,Formalisms,Nonmonotonicreasoning,Knowledgerepresentation. * *Languages*:Concurrency,Objects,Coordination,Mobility,HigherOrder,Types,Modes,Assertions,Modules,Meta-programming,Logic-baseddomain-specificlanguages,ProgrammingTechniques. * *Declarative**programming*:Declarativeprogramdevelopment,Analysis,Typeandmodeinference,Partialevaluation,Abstractinterpretation,Transformation,Validation,Verification,Debugging,Profiling,Testing,Executionvisualization. * *Implementation*:Virtualmachines,Compilation,Memorymanagement,Parallel/distributedexecution,Constrainthandlingrules,Tabling,Foreigninterfaces,Userinterfaces. * *Related**Paradigms**and**Synergies*:InductiveandCo-inductiveLogicProgramming,ConstraintLogicProgramming,AnswerSetProgramming,InteractionwithSAT,SMTandCSPsolvers,Logicprogrammingtechniquesfortypeinferenceandtheoremproving,Argumentation,ProbabilisticLogicProgramming,Relationstoobject-orientedandFunctionalprogramming. * *Applications*:Databases,BigData,Dataintegrationandfederation,Softwareengineering,Naturallanguageprocessing,WebandSemanticWeb,Agents,Artificialintelligence,Computationallifesciences,Education,Cybersecurity,andRobotics.
*Tracks**and**Special**Sessions* --------------------------- Besidesthemaintrack,ICLP2019willhostadditionaltracksandspecialsessions:
* *Applications**Track*:ThistrackinvitessubmissionsofpapersonemerginganddeployedapplicationsofLP,describingallaspectsofthedevelopment,deployment,andevaluationoflogicprogrammingsystemstosolvereal-worldproblems,includinginterestingcasestudiesandbenchmarks,anddiscussinglessonslearned. * *Sister**Conferences**and**Journal**Presentation**Track*:Thistrackprovidesaforumtodiscussimportantresultsrelatedtologicprogrammingthatappearedrecently(fromJanuary2017onwards) inselectivejournalsandconferences,buthavenotbeenpreviouslypresentedatICLP. * *Research**Challenges**in**Logic**Programming**Track*:Thistrackinvitessubmissionsofpapersdescribingresearchchallengesthatanindividualresearcheroraresearchgroupiscurrentlyattacking.Thegoalofthetrackistopromotediscussions,exchangeofideas,andpossiblystimulatenewcollaborations. * *Special**Session*:WomeninLogicProgramming:Thisspecialsessionwillincludeinvitedtalksandpresentationsbywomeninlogicprogramming.
Everytrackandspecialsessionwillhaveitsowndedicatedchairs,PC,evaluationcriteria,andCFPwiththesubmissiondetails.
*Submission**Details* ------------------- AllsubmissionsofthemaintrackmustbemadeviatheEasyChairconferencesystem:https://easychair.org/conferences/?conf=iclp2019 .
RegularpapersmustbeinthecondensedTPLPformatandnotexceed14pagesincludingbibliography.Regularpapersmaybesupplementedwithappendicesforproofsanddetailsofdatasetswhichdonotcounttowardsthepagelimitandwhichwillbeavailableasappendicestothepublishedpaper.
Threekindsofregularpaperswillbeaccepted:
* Technicalpapersfortechnicallysound,innovativeideasthatcanadvancethestateoflogicprogramming; * Applicationpapersthatimpactinterestingapplicationdomains; * Systemandtoolpaperswhichemphasizenovelty,practicality,usability,andavailabilityofthesystemsandtoolsdescribed.
Application,system,andtoolpapersneedtobeclearlymarkedintheirtitle.
AllsubmissionsmustbewritteninEnglishanddescribeoriginal,previouslyunpublishedresearch,andmustnotsimultaneouslybesubmittedforpublicationelsewhere.Theserestrictionsdonotapplytopreviouslyacceptedworkshoppaperswithalimitedaudienceand/orwithoutarchivalproceedings.
PapersofthehighestqualitywillbeselectedtobepublishedinthejournalofTheoryandPracticeofLogicProgramming(TPLP),CambridgeUniversityPress(CUP).Inordertoensurethequalityofthefinalversion,papersmaybesubjecttomorethanoneroundofrefereeing(withinthedecisionperiod).
TheprogramcommitteemayrecommendsomeregularpaperstobepublishedasTechnicalcommunications,whichwillbepublishedbyDagstuhlPublishingintheOpenAccessSeriesinInformatics(OASIcs).TechnicalcommunicationsmustbeintheOASIcsformat(templatehere) andnotexceed14pagesexcludingthebibliographyandashortappendix(upto5morepages).Theauthorsofthetechnicalcommunicationscanalsoelecttoconverttheirsubmissionsintoextendedabstracts,of2or3pages,forinclusionintheOASIcsproceedings.Thisshouldallowauthorstosubmitalongversionelsewhere.
Allregularpapersandtechnicalcommunicationswillbepresentedduringtheconference.Authorsofacceptedpaperswill,bydefault,beautomaticallyincludedinthelistofALPmembers,whowillreceivequarterlyupdatesfromtheLogicProgrammingNewsletteratnocost.
*Important**Dates* ----------------
* Abstractregistration:April27,2019 * Papersubmission:May4,2019 * Notification:June19,2019 * TPLPrevisionsubmission:July3,2019 * TPLPfinalnotifications:July17,2019 * Camera-readycopy:July31,2017 * Conference:September23,2019
*Organization* *-------------* *General Chairs: * Enrico Pontelli - New Mexico State University Son Tran Cao - New Mexico State University *Program Chairs:* Esra Erdem - Sabanci University German Vidal - Universitat Politecnica de Valencia *Publicity Chair:* Ferdinando Fioretto - Georgia Institute of Technology *Workshops Chair:* Martin Gebser - University of Klagenfurt and Graz University of Technology *Tutorials Chair:* Pedro Cabalar - University of Corunna *DC Chairs:* Paul Fodor - Stony Brook New York Daniela Inclezan - Miami University *Programming Competition Chairs:* Manuel Carro - Technical University of Madrid (UPM) and IMDEA Software Institute Orkunt Sabuncu - TED University *Applications Track Chairs:* Andrea Formisano - Universita' di Perugia Fangkai Yang - NVIDIA Corporation *Sister Conferences and Journal Presentation Track Chairs:* Bart Bogaerts - KU Leuven Giovambattista Ianni - Universita' della Calabria *Research Challenges in Logic Programming Track Chairs:* Alessandro dal Palu - Universita' di Parma Amelia Harrison - University of Texas at Austin and Google Inc. Joohyung Lee - Arizona State University *Women in Logic Programming Special Session Chairs:* Alicia Villanueva - Universitat Politecnica de Valencia Marina De Vos - University of Bath
*Program Committee:* Hassan Ait-Kaci - University of Lyon 1 Mario Alviano - University of Calabria Roman Bartak - Charles University Rachel Ben-Eliyahu-Zohary - Azrieli College of Engineering Bart Bogaerts - KU Leuven Gerhard Brewka - Leipzig University Pedro Cabalar - University of Corunna Michael Codish - Ben-Gurion University of the Negev Stefania Costantini - University of L'Aquila Marina De Vos - University of Bath Agostino Dovier - University of Udine Thomas Eiter - Vienna University of Technology Wolfgang Faber - Alpen-Adria-Universitat Klagenfurt Fabio Fioravanti - University of Chieti-Pescara Andrea Formisano - Universita' di Perugia John Gallagher - Roskilde University and IMDEA Software Institute Martin Gebser - University of Klagenfurt and Graz University of Technology Michael Gelfond - Texas Tech University Michael Hanus - CAU Kiel Amelia Harrison - University of Texas at Austin and Google Inc. Manuel Hermenegildo - Technical University of Madrid (UPM) and IMDEA Software Institute Giovambattista Ianni - Universita' della Calabria Daniela Inclezan - Miami University Katsumi Inoue - National Institute of Informatics Tomi Janhunen - Aalto University Angelika Kimmig - Cardiff University Ekaterina Komendantskaya - Heriot-Watt University Vladimir Lifschitz - University of Texas at Austin Evelina Lamma - University of Ferrara Joohyung Lee - Arizona State University Nicola Leone - University of Calabria Yanhong Annie Liu - Stony Brook New York Fred Mesnard - Universite de la Reunion Jose F. Morales - IMDEA Software Institute Emilia Oikarinen - Aalto University Carlos Olarte - Universidade Federal do Rio Grande do Norte Magdalena Ortiz - Vienna University of Technology Mauricio Osorio - Universidad de las Americas Puebla Barry O'Sullivan - University College Cork Simona Perri - University of Calabria Enrico Pontelli - New Mexico State University Ricardo Rocha - University of Porto Alessandra Russo - Imperial College Orkunt Sabuncu - TED University Chiaki Sakama - Wakayama University Torsten Schaub - University of Potsdam Guillermo R. Simari - Universidad Nacional del Sur Theresa Swift - Universidade Nova de Lisboa Francesca Toni - Imperial College Paolo Torroni - University of Bologna Son Tran Cao - New Mexico State University Alicia Villanueva - Universitat Politecnica de Valencia Kewen Wang - Griffith University Jan Wielemaker - VU University of Amsterdam Stefan Woltran - Vienna University of Technology Fangkai Yang - NVIDIA Corporation Roland Yap - National University of Singapore Jia-Huai You - University of Alberta Zhizheng Zhang - Southeast University
-- Mailing-Liste: wi@lists.kit.edu Administrator: wi-request@lists.kit.edu Konfiguration: https://www.lists.kit.edu/wws/info/wi