ACM International Conference on Information and Knowledge Management (2016)
Content
Workshops
 Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2016 colocated with the 9th Conference on Intelligent Computer Mathematics (CICM 2016), Bialystok, Poland, July 2529, 2016 31 papers
 Proceedings of the Second International Workshop on Data Science for MacroModeling, DSMM@SIGMOD 2016, San Francisco, CA, USA, June 26  July 1, 2016 19 papers
 Proceedings of the First International Workshop on Computational Methods for CyberSafety, CyberSafety@CIKM 2016, Indianapolis, IN, USA, October 28, 2016 9 papers
Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2016 colocated with the 9th Conference on Intelligent Computer Mathematics (CICM 2016), Bialystok, Poland, July 2529, 2016
Invited talk: Developments, Libraries and Automated Theorem Provers
Chad Brown
Invited talk: On Differences in Proofs Between Intuitionistic and Classical Logic
Aleksy Schubert
Tarski's Geometry and the Euclidean Plane in Mizar
Adam Grabowski

Roland Coghetto
Formalization of the prime number theorem and Dirichlet's theorem
Mario Carneiro
Topological Foundations for a Formal Theory of Manifolds
Karol Pak
Registrations vs Redefinitions in Mizar
Artur Kornilowicz
Linking to Compound Conditions in Mizar
Adam Naumowicz
Towards Visual Type Theory as a Mathematical Tool and Mathematical User Interface
Lucius Schoenbaum
Understanding Mathematical Expressions: An EyeTracking Study
Andrea Kohlhase

Michael Fürsich
The plain text trap when copying mathematical formulae
Paul Libbrecht

Matija Lokar
Proposal for Coexistence of Mathematical Handwritten and Keyboard Input in a WYSIWYG Expression Editor
Juan LaoTebar

Francisco Alvaro

Daniel Marques
KAT: an Annotation Tool for STEM Documents
Tom Wiesing

Felix Schmoll
Notationbased Semantification
Ion Toloaca

Michael Kohlhase
LucasInterpretation from Users' Perspective
Walther Neuper
Rigor of TP in Educational Engineering Software
Walther Neuper
Automated theorem proving for elementary geometry
Marek Janasz
Knowledge Management across Formal Libraries
Dennis Müller
Augmenting Mathematical Formulae for More Effective Querying & Presentation
Moritz Schubotz
Design and development of a tool based on Coq to write and format mathematical proofs
Théo Zimmermann
swMATH  Challenges, Next Steps, and Outlook
Hagen Chrapary

Wolfgang Dalitz

Wolfram Sperber
Formalization of Polynomially Bounded and Negligible Functions Using the ComputerAided ProofChecking System Mizar
Hiroyuki Okazaki

Yuichi Futa
A Smooth Transition to Modern mathoidbased Math Rendering in Wikipedia with Automatic Visual Regression Testing
Moritz Schubotz

Alan P. Sexton
Getting the units right
Moritz Schubotz

David Veenhuis

Howard S. Cohl
Lemma Extraction Criteria Based on Properties of Theorem Statements
Karol Pak
The impact of proof steps sequence on proof readability  experimental setting
Karol Pak

Aleksy Schubert
Models for Metamath
Mario Carneiro
A first step towards automated conjecturemaking in higher arithmetic geometry
Andreas Holmstrom
Initial Experiments with Statistical Conjecturing over Large Formal Corpora
Thibault Gauthier

Cezary Kaliszyk

Josef Urban
A Standard for Aligning Mathematical Concepts
Cezary Kaliszyk

Michael Kohlhase

Dennis Müller

Florian Rabe
FrameIT Reloaded: Serious Math Games from Modular Math Ontologies
Denis Rochau

Michael Kohlhase

Dennis Müller
Proceedings of the Second International Workshop on Data Science for MacroModeling, DSMM@SIGMOD 2016, San Francisco, CA, USA, June 26  July 1, 2016
Financial Entity Identification and Information Integration (FEIII) Challenge: The Report of the Organizing Committee
Mark D. Flood

John Grant

Haiping Luo

Louiqa Raschid

Ian Soboroff

Kyungjin Yoo
How Twitter is Changing the Nature of Financial News Discovery
Mark Dredze

Prabhanjan Kambadur

Gary Kazantsev

Gideon Mann

Miles Osborne
Supporting stock trading in multiple foreign markets: a multilingual news summarization approach
Elena Baralis

Luca Cagliero

Tania Cerquitelli
Combination of Rulebased and Textual Similarity Approaches to Match Financial Entities
Ahmad Samiei

Ioannis K. Koumarelas

Michael Loster

Felix Naumann
Karsha Drawdown Explorer Demonstration
Tharindu Peiris

Joe Langsam

Louiqa Raschid
AgentBased Models of the Corporate Bond Market
Donald J. Berndt

David Boogers

James A. McCart
resMBS: Constructing a Financial Supply Chain from Prospectus
Douglas Burdick

Soham De

Louiqa Raschid

Mingchao Shao

Zheng Xu

Elena Zotkina
Probabilistic Financial Community Models with Latent Dirichlet Allocation for Financial Supply Chains
Zheng Xu

Louiqa Raschid
An Ontology of Form PF
Liju Fan

Mark D. Flood
Linking Deutsche Bundesbank Company Data using MachineLearningBased Classification: Extended Abstract
ChristopherJ. Schild

Simone Schultz
Measuring Systemic Risk with Network Connectivity: Extended Abstract
Sumanta Basu

Sreyoshi Das

George Michailidis

Amiyatosh Purnanandam
Online Learning of Volatility from Multiple Option Term Lengths
Scott McQuade

Claire Monteleoni
Financial Entity Record Linkage with Random Forests
Kunho Kim

C. Lee Giles
An Ensemble Approach to Financial Entity Matching for the FEIII 2016 Challenge
Enrico Palumbo

Giuseppe Rizzo

Raphaël Troncy
Thomson Reuters and the FEIII Challenge
Brian Ulicny

Alex Constandache

Joseph Cunningham

Michael Traub

Kimberly Yu

Carlos Azeglio

Maki SaitoVaradi
FactSet Concordance: Entity Data Management
Raymond Bentley Hicks
Local, Domainindependent Heuristics for the FEIII Challenge: Lessons and Observations
Mayank Kejriwal

Daniel P. Miranker
Towards HighPrecision and Reusable Entity Resolution Algorithms over Sparse Financial Datasets
Douglas Burdick

Lucian Popa

Rajasekar Krishnamurthy
Proceedings of the First International Workshop on Computational Methods for CyberSafety, CyberSafety@CIKM 2016, Indianapolis, IN, USA, October 28, 2016
Bad Actors in Social Media
Francesca Spezzano
Vandals and Hoaxes on the Web
Srijan Kumar
Informing Cyberbullying Research with Social/Psychological Insights
Jeremy Blackburn
Survey of Computational Methods in Cyberbullying Research
Homa Hosseinmardi
Catching Social Media Advertisers with Strategy Analysis
Meng Jiang
Detecting Cyberbullying using Latent Semantic Indexing
Jacob L. Bigelow

April Edwards

Lynne Edwards
A Weakly Supervised Approach for Adaptive Detection of Cyberbullying Roles
Bert Huang