The Pittsburgh Supercomputing Center is pleased to present a Machine Learning and Big Data workshop.

This workshop will focus on topics including big data analytics and machine learning with Spark, as well as deep learning.

This will be an IN PERSON event hosted by various satellite sites, there WILL NOT be a direct to desktop option for this event. SBU's Institute for Advanced Computational Science (IACS) is one of those satellite sites!

Location: IACS Conference Room #2

Interested applicants must first have an ACCESS ID. If you don't have the ID, please visit this page to create one: ACCESS USER REGISTRATION.


Once you have an ACCESS ID, please login (see top right here) then register here.
https://meetings.cshl.edu/meetings.aspx?meet=naisys&year=20  


November 9 - 12, 2020 Virtual
Abstract Deadline: August 14, 2020


Organizers:

Raia Hadsell, DeepMind, United Kingdom
Blake Richards, Mila, Québec AI Institute, Canada
Anthony Zador, Cold Spring Harbor Laboratory

*********

The current COVID-19 situation is challenging and difficult for all of us - we hope this virtual conference will allow colleagues to share and discuss their latest research, while under travel and stay-at-home restrictions.

Because of the ongoing COVID-19/SARS-CoV-2 outbreak, CSHL and the organizers have now reached the difficult decision to restructure the meeting on From Neuroscience to Artificially Intelligent Systems into a virtual meeting scheduled November 9-12, 2020.  NAISys will begin at 10 am (EDT)  on Monday, November 9 and ending with an afternoon session on Thursday, November 12, 2020. Oral sessions will be confined to later morning and afternoon sessions EST to maximize access by participants from around the world. 

*********

Artificial intelligence (AI) and neural networks have long drawn on neuroscience for inspiration. However, in spite of tremendous recent advances in AI, natural intelligence is still far more adept at interacting with the real world in real-time, adapting to changes, and doing so under significant physical and energetic constraints. The goal of this meeting is to bring together researchers at the intersection of AI and neuroscience, and to identify insights from neuroscience that can help catalyze the development of next-generation artificial systems.

Abstracts are welcomed on all scientific topics related to how principles and insights from neuroscience can lead to better artificial intelligence. Topics of interest include but are not limited to network architectures, computing with spiking networks, learning algorithms, active perception, inductive bias, meta-learning, and online learning. Please note that abstracts should be ONE page (~2900 characters).   




Keynote speakers (pending reconfirmation):Yoshua Bengio, Université de Montréal
Yann Lecun, NYU/Facebook


Invited Speakers (pending reconfirmation):Kwabena Boahen, Stanford University
Dmitri Chklovskii, Simons Foundation
Anne Churchland, Cold Spring Harbor Laboratory
Claudia Clopath, Imperial College London, UK
Jim DiCarlo, MIT
Chelsea Finn, Stanford University
Surya Ganguli, Stanford University
Jeff Hawkins, Numenta
Konrad Kording, University of Pennsylvania
Timothy Lillicrap, DeepMind
Yael Niv, Princeton University
Bruno Olshausen, UC Berkeley
Cristina Savin, New York University
Terry Sejnowski, Salk Institute for Biological Studies
Sebastian Seung, Princeton University
Eero Simoncelli, New York University
Sara A. Solla, Northwestern University
David Sussillo, Google Brain
Andreas Tolias, Baylor College of Medicine


New and revised abstracts should be submitted by the resubmission deadline, Friday, August 14. Individuals originally selected for talks should assume they will still be speaking, but we may select additional talks based on the number of invited and selected speakers who cannot reconfirm.

Abstracts should contain only new and unpublished material and must be submitted electronically by the abstract deadline. Selection of material for oral and poster presentation will be made by the organizers and individual session chairs. Status (talk/poster) of abstracts will be posted on our web site as soon as decisions have been made by the organizers.

We are eager to have as many students and postdocs as possible to attend since they are likely to benefit most from this meeting. We have applied for funds from industry and foundations to partially support graduate students and postdocs. Apply in writing stating need for financial support to Catie Carr at carr@cshl.edu. Preference is given to those submitting abstracts. 

All questions pertaining to registration, fees, abstract submission or any other matters may be directed to Catie Carr at carr@cshl.edu.

We anticipate the following support :

National Science Foundation

Social Media:

The designated hashtag for this meeting is #cshlNeuroAI. Note that you must obtain permission from an individual presenter before live-tweeting or discussing his/her talk, poster, or research results on social media. Click the Policies tab above to see our full Confidentiality & Reporting Policy.


Pricing:

Virtual Academic Package: $285
Virtual Graduate Student Package: $175
Virtual Corporate Package: $425

Lab Group Discounts (not departmental or institutional discounts):

Labs registering 4 people: 20% discount off applicable fees
Labs registering 5 people: 25% discount off applicable fees
Labs registering 6 people: 30% discount off applicable fees

To be eligible for lab group discounts, please submit a list of lab members planning to attend in advance of registration to Catie Carr  to establish appropriate discounted fees. Please include a link to your lab web page for verification purposes. Prior payments will be included in the group discount calculation.

IBRO/International Brain Research Organization are generously supporting the participation of a limited number of individuals from US/Canadian Minority Serving Institutions (check eligibility): $25
Limit: 65 attendees / limit per institution: 5 (contact Catie Carr  to confirm eligibility/availability prior to registering) 

Reduced Pricing for Individuals from US/Canadian Minority Serving Institutions (check eligibility): $50

AI on Campus: Your Thoughts, Your Future

Join the Conversation: Share Your Thoughts about Learning, Academics, and AI

The world of college is changing fast, and Artificial Intelligence (AI) is at the center of it. We are part of the Institute on AI, Pedagogy, and the Curriculum with AAC&U, and we need to hear from the people AI affects most: you!

This is an open discussion for all students to share their honest experiences, their top concerns, and their best ideas about AI in our academic environment. We'll be diving into these key questions:

  • How can AI actually make learning better or easier? What opportunities do you see for using AI tools to enhance your assignments, research, or skills?

  • What are your biggest worries about AI? Is it about cheating, being graded fairly, or preparing for the job market? How is AI impacting your workload or stress levels?

  • What specific tools, workshops, or policies would help you use AI responsibly and successfully? (Think training, software, or clear rules.)

Dates/Times:

  • Wednesday, 2/4 at 2pm

  • Thursday, 2/5 at 12pm

Please register in advance for the Zoom link.

Can't Make It? Share Your Feedback!

Don't worry if you can't attend! You can still share your thoughts via video in our AI Zoom Room or via email: rose.tirotta-esposito@stonybrook.edu.

Videos will not be shared publicly and comments will only be shared in aggregate.

Your voice matters. Come tell us how AI is affecting your studies, your stress, and your success!

  • Dr. Rose Tirotta-Esposito (Assistant Provost; Director of CELT)

  • Dr. Elizabeth Hewitt (Associate Professor in the Department of Technology and Society (DTS) in the College of Engineering and Applied Sciences)

  • Chris Kretz (Associate Librarian and Head of Academic Engagement at SBU Libraries)

  • Prof. Rajiv Lajmi (Assistant Professor in the School of Health Professions and Chair of Applied Health Informatics)

  • Dr. Matthew Salzano (Assistant Professor in the Department of Communication in the School of Communication and Journalism)

Please join us on Friday for a CSE 600 talk by CS Faculty, Stanley Bak. During this semester, please periodically check the CSE 600 schedule for the latest talk updates.

Title:  Formal Verification Methods for Cyber-Physical Systems and Neural Networks

Time: Friday 4/1, 2:40 PM

Location:  NCS 120

Abstract: Formal verification methods in Computer Science strive to prove properties about all possible executions of a system, and are an alternative development approach to testing when correctness is paramount. Traditionally these have been applied to hardware circuits, state-machine protocols, or software source code. Prof. Stanley Bak will discuss his research on extending formal verification approaches to more complex areas including cyber-physical systems and neural networks.


Speaker Bio: Stanley Bak is an assistant professor in the Department of Computer Science at Stony Brook University investigating the verification of autonomy, cyber-physical systems, and neural networks. He received a PhD from the University of Illinois at Urbana-Champaign (UIUC) in 2013, and worked for four years in the Verification and Validation (V&V) group in the Aerospace Systems Directorate at the Air Force Research Laboratory (AFRL). He received the AFOSR Young Investigator Research Program (YIP) award in 2020.


Abstract: Traditional questionnaires remain the primary method for assessing psychological outcomes and beliefs, capturing individuals' and populations' inner states. This dissertation presents an alternative computational method that overcomes key limitations in current mental health monitoring, particularly in spatiotemporal resolution, responses to major events, and automatic belief identification. By analyzing ∼1 billion Tweets from 2 million geo-located users, we created a big data pipeline for estimating depression and anxiety at the county-week level. These Language-Based Mental Health Assessments (LBMHA) demonstrated higher reliability and validity than traditional survey measures. Our approach effectively captured mental health trends and highlighted significant increases in mental illness following major events. Using the LBMHA pipeline, we conducted quasi-experiments, research designs that simulate randomized control trials, to generate explanations for mental health changes due to COVID-19 incidence/death. Utilizing these time-series analyses, we conducted discontinuity forecasting for community-specific anxiety shifts using statistical learning via ensemble and contextual models. To likewise investigate individual internal states, we created a novel task and annotated dataset for self belief language identification. Our fine-tuned language model for self-belief classification, despite its relatively small scale, outperformed GPT-4o. The self belief topics identified by our model successfully predicted depression, anxiety, and stress, offering insights into the relationship between self-conceptualization and mental health. The adoption of scalable language-based assessments with modern distributed computation presents a promising avenue for advancing community and individual mental health research.

Speaker: Siddharth Mangalik

https://stonybrook.zoom.us/j/91251321639?pwd=faggV5jZ7ByFDCFmnLXD3HiYxjQ1Eb.1&jst=2
Hyperscale Verification in Microsoft Azure talk by Nikolaj Bjorner

Abstract: Cloud providers are increasingly embracing network verification for managing complex datacenter network infrastructure. Microsoft's Azure cloud infrastructure integrates the SecGuru tool, which leverages the Z3 Satisfiability Modulo Theories solver, for checking network access
control lists. It also integrates a verifier that uses both custom verification algorithms and Z3 that checks correctness of forwarding tables in Azure data-centers. These tools assure that the network is configured to preserve desired intent over hundreds of thousands of network devices. We describe our experiences building and running SecGuru for network verification in Azure.

Finally we mention recent advances in Z3, including a distributed version of Z3 that scales with Azure's elastic cloud. It integrates recent advances in lookahead and distributed SAT solving for Z3's
engines for SMT. A different recent advance includes integration of DNNs to learn variable branching strategies for high-performance SAT solvers, including MiniSAT, Glucose and Z3's SAT solver.

Bio: Nikolaj Bjorner is a Principal Researcher at Microsoft Research, Redmond, working in the area of Automated Theorem Proving and Software Engineering. His current main line of work is around the state-of-the art theorem prover Z3, which is used as a foundation of several software engineering tools. Z3 received the 2015 ACM SIGPLAN Software System award and most influential tool paper in the first 20 years of TACAS in 2014, and test of time award at ETAPS 2018. Together with Leonardo de Moura received the CADE 2019 Herbrand award for contributions to SMT and applications. Previously, he developed the DFSR, Distributed File System - Replication, and Remote Differential
Compression protocols, RDC, part of Windows Server since 2005 and before that worked on distributed file sharing systems at a startup, and program synthesis and transformation systems at the Kestrel Institute. He received his Master's and PhD degrees in computer science from Stanford University.
University Libraries Present: Analyzing quantitative data can feel overwhelming without the right tools. In this workshop, SBU Libraries' Data Literacies Lead, Ahmad Pratama will show you how to master the basics of exploratory data analysis for quantitative data using Python. This workshop covers several techniques to help you uncover patterns and insights in your datasets.

Online RSVP via link: https://stonybrook.zoom.us/meeting/register/vEPycmDrQoGjFqkmsYHgxw
Nam Nguyen

4-5pm, Dec 17 2020

https://stonybrook.zoom.us/j/94214254415?pwd=K1VoQml4cFdlVW51VW41dWtid2tJdz09



The molecular mechanisms and functions in complex biological systems
currently remain elusive. Recent high-throughput techniques, such as
next-generation sequencing, have generated a wide variety of
multiomics datasets that enable the identification of biological
functions and mechanisms via multiple facets. However, integrating
these large-scale multiomics data and discovering functional insights
are, nevertheless, challenging tasks. To address these challenges,
machine learning has been broadly applied to analyze multiomics. In
particular, multiview learning is more effective than previous
integrative methods for learning data's heterogeneity and revealing
cross-talk patterns. Although it has been applied to various contexts,
such as computer vision and speech recognition, multiview learning has
not yet been widely applied to biological data--specifically,
multiomics data. Therefore, we have developed a framework called
multiview empirical risk minimization (MV-ERM) for unifying multiview
learning methods (Nguyen, et al., PLoS Computational Biology, 2020).
MV-ERM enables potential applications to understand multiomics
including genomics, transcriptomics, and epigenomics, in an aim to
discover the functional and mechanistic interpretations across omics.
Based on MV-ERM, we have developed the following methods:
ManiNetCluster, Varmole and ECMarker.



(1) ManiNetCluster (Nguyen, et al., BMC Genomics, 2019) is a manifold
learning method which simultaneously aligns and clusters gene networks
(e.g., co-expression) to systematically reveal the links of genomic
function between different phenotypes. Specifically, ManiNetCluster
employs manifold alignment to uncover and match local and non-linear
structures among networks, and identifies cross-network functional
links. We demonstrated that ManiNetCluster better aligns the
orthologous genes from their developmental expression profiles across
model organisms than state-of-the-art methods. This indicates the
potential non-linear interactions of evolutionarily conserved genes
across species in development. Furthermore, we applied ManiNetCluster
to time series transcriptome data measured in the green alga
Chlamydomonas reinhardtii to discover the genomic functions linking
various metabolic processes between the light and dark periods of a
diurnally cycling culture;



(2) Varmole (Nguyen, et al., Bioinformatics, 2020) is an interpretable
deep learning method that simultaneously reveals genomic functions and
mechanisms while predicting phenotype from genotype. In particular,
Varmole embeds multi-omic networks into a deep neural network
architecture and prioritizes variants, genes and regulatory linkages
via biological drop-connect without needing prior feature selections.
With an application to schizophonia, we demonstrate that Varmole
provides an effective alternative for recent statistical methods that
associate functional omic data (e.g. gene expression) with genotype
and phenotype and that link variants to individual genes in population
studies such as genome-wide association study;



(3) ECMarker (Jin*, Nguyen*, et al., Bioinformatics, 2020) is an
interpretable and scalable machine learning model that predicts gene
expression biomarkers for disease phenotypes and simultaneously
reveals underlying regulatory mechanisms. Particularly, ECMarker is
built on the integration of semi- and discriminative- restricted
Boltzmann machines, a neural network model for classification allowing
lateral connections at the input gene layer. With application to the
gene expression data of non-small cell lung cancer (NSCLC) patients,
we found that ECMarker not only achieved a relatively high accuracy
for predicting cancer stages but also identified the biomarker genes
and gene networks implying the regulatory mechanisms in lung cancer
development.



Finally, we propose a novel multiview learning method, Malignomics, to
predict phenotypes from heterogeneous multi-omic features. Malignomics
will first align multi-omic features by deep manifold alignment onto a
common latent space, better predicting nonlinear relationships across
omics. This deep alignment aims to preserve both global consistency
and local smoothness across omics and reveal higher-order nonlinear
interactions (i.e., manifolds) among cross-omic features. Second, it
uses these manifold structures to regularize the classifiers for
predicting phenotypes. This manifold-regularization allows
highlighting cross-omic feature manifolds and prioritizing the
features and interactions for the phenotypes. The prioritized
multi-omic features will further reveal underlying phenotypic
functions and mechanisms and thus enhance the biological
interpretation of Malignomics. We will apply Malignomics to
multi-omics data in neuropsychiatric disorders, and prioritize gene
regulatory networks linking risk variants, regulatory elements, and
genes for the disorders. We will also compare Malignomics with the
state-of-the-arts, and investigate how the manifold regulation will
potentially improve understanding of multi-omics functions and
predicting diseases.
2026 MIC Symposium on Multilingualism | Featured Talk

Beyond Cultural Pastiche: Developing CritIC in AI-mediated Clinical Communication

Abstract: Health professional education is taking diversity and cultural sensitivity seriously, and rightly so. As future clinicians work with diverse patients, educators are seeking meaningful, scalable opportunities for communication training. AI-facilitated simulation appears to offer one solution, with avatar patients generated with recognisable cultural cues. Yet this raises an unsettling question: how does AI reproduce culture and what impact does it have on health trainees? Through analysing multimodal clinical communication data from human-AI and human-human interactions, this talk explores fundamental differences in how AI and humans evoke culture. AI-generated cultural talk resembles a pastiche of essentialist cues that flatten context, diminish human criticality, and reproduce structural inequalities. Human cultural talk, by contrast, creates context, expands imagination, and subverts pre-existing boundaries. I conclude by arguing that the next generation of health professionals needs not only EDI awareness but also Critical AI Literacy, conceptualised as CritIC (Critical Interactional Competence), in AI-facilitated clinical communication.

Speaker: David Wei Dai is Associate Professor in Professional Communication at University College London. His research examines social interaction across healthcare education, intercultural and professional communication, language learning and assessment, and human-AI engagement. His work has appeared in leading venues across applied linguistics, health education, and learning analytics, including Applied Linguistics, Language Learning, Annual Review of Applied Linguistics, Medical Education, Advances in Health Sciences Education, BMC Medical Education, and the LAK26 Proceedings. He is the author of the open-access monograph Assessing Interactional Competence. His research has been funded by the British Academy, Leverhulme, the British Council, OET, Duolingo, and TOEFL.

Faculty Response Panel:
  • Yi Wang (Panel Chair; Assistant Professor, Asian and Asian American Studies)
  • Renee Fabus (Chair and Program Director, Speech-Language Pathology)
  • Andrew Flescher (Professor, English and Program in Public Health)
  • Ben Zhang (Assistant Professor, Technology, AI and Society)

Location: Humanities 1006