Hodges' Model: Welcome to the QUAD: verification

Hodges' model is a conceptual framework to support reflection and critical thinking. Situated, the model can help integrate all disciplines (academic and professional). Amid news items, are posts that illustrate the scope and application of the model. A bibliography and A4 template are provided in the sidebar. Welcome to the QUAD ...

Showing posts with label verification. Show all posts
Showing posts with label verification. Show all posts

Monday, April 13, 2026

AI-2026 46th SGAI International Conference on Artificial Intelligence CAMBRIDGE, ENGLAND, DECEMBER

THIRD CALL FOR PAPERS AND POSTERS

The proceedings of the AI-20xx conference series are now published by Springer in Lecture Notes in Artificial Intelligence (LNAI), a sub-series of the distinguished Lecture Notes in Computer Science (LNCS) series of conference proceedings.
AI-2026: Cambridge, UK, December 15th-17th 2026
Organised by BCS SGAI: The British Computer Society Specialist Group on Artificial Intelligence (a EurAi Member Society).
The leading series of UK-based international conferences on Artificial Intelligence and one of the longest running AI conference series in Europe.
CALL FOR CONTRIBUTIONS
AI-2026 is the forty-sixth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence.
The scope of the conference comprises the whole range of AI technologies and application areas. AI-2026 reviews recent technical advances in AI technologies and shows how these advances have been applied to solve business problems. Key features are:
  • Papers will be published by Springer in the Lecture Notes in Artificial Intelligence (LNAI) subseries of the popular Lecture Notes in Computer Science (LNCS) series (www.springer.com/lncs).
  • Papers are invited in two streams. The Technical Stream presents the best of recent developments in AI, covering a wide range of technical areas. The Application Stream is the largest annual showcase in Europe of real applications using AI technology.
  • It is expected that the best papers will be reprinted in expanded form in a special issue of an international journal.
  • A mixture of full papers (maximum 14 A4 pages) presented orally and short papers (maximum 6 A4 pages) presented as posters. Papers of both kinds will be included in the proceedings.
  • Prizes for best paper and best student paper in each stream and best presented short/poster paper.
  • Invited keynote lectures.
  • The first day comprises tutorials and workshops to provide greater depth in selected topics. (Separate one-day registration for this day is also available.)
  • A panel session on a topical subject.
  • An 'AI Open Mic' session to allow delegates to have their say about any aspect of AI.
  • In addition to the formal sessions, the conference programme includes a welcome reception and a Gala Dinner.
AI-2026 offers a valuable opportunity to keep up to date with developments in AI and to share experiences in the practical issues of developing AI systems.
FAIRS '26, the eighteenth annual forum for AI research students will immediately precede the AI-2026 conference at Peterhouse College on Monday December 14th, 2026. The aim of FAIRS is to support student members of the AI community providing advice and feedback on their research plans and work. This event is free of charge for research students except for a contribution towards the cost of refreshments and lunch in the College and no conference registration is required.
IMPORTANT DATES
  • Paper/Poster Submission: Friday 26th June 2026
This deadline is considerably later than for previous conferences in this series and will not be extended.
  • Notification of Acceptance: Tuesday September 1st 2026
  • Camera Ready Paper: Monday 14th September 2026
CONTRIBUTIONS
Contributions presenting original work in AI are invited for both the technical and the application stream. Contributions may be submitted either as full papers of up to fourteen A4 pages for oral presentation or as short papers of up to six A4 pages for poster presentation.
  • Technical Stream
Areas of interest include (but are not restricted to): knowledge engineering; semantic web; constraint satisfaction; intelligent agents; machine learning; model based reasoning; verification and validation of AI systems; natural language understanding; speech-enabled systems; case based reasoning; neural networks; genetic algorithms; data mining and knowledge discovery in databases; knowledge representation, inference and reasoning; robotics and pervasive computing; qualitative and temporal reasoning; knowledge management; AI languages and environments; robotics and pervasive computing; large language models.
  • Application Stream
Case studies are welcomed describing the application of AI to real-world problems. Papers in recent years have covered all application domains, including commerce, manufacturing and government, and every major AI technique. In addition to case studies and specific applications of AI, we would welcome papers that discuss issues such as managing the transfer from research to production of AI-based products. Papers are selected to highlight critical areas of success (and failure) and to present the benefits and lessons of value to other developers. Submitted papers should make these points clear.
  • Short Papers for Poster Presentation
Short papers are intended for the presentation of work which meets the high standards of the conference, but which is more topical and preliminary than the work presented in full papers. They provide an excellent forum for disseminating new developments and latest work in progress, especially suited to PhD students. Work submitted in the form of full-length papers that fall short of the standard for oral presentation will automatically be considered as candidates for reworking as short papers for poster presentation.
  • Submission of Papers
Final versions of accepted papers must be prepared in either Microsoft Word or Latex together with a copy in PDF format. Initial versions of papers should be submitted in PDF format only and uploaded to the conference website by the deadline given above. Instructions for authors and templates for both Word and Latex are given at
In order for an accepted paper to be published at least one author must register for the conference and undertake to attend and present the paper in person. Presenting authors will be asked to register for the conference at the discounted speakers' rate when they return the final camera-ready versions of their papers.
  • Tutorials & workshops
The Conference Committee invites proposals for tutorials and workshops to be presented on the first day of the conference. These should be directed in the first instance to the Tutorial/Workshop Organiser.
  • Prizes
There are prizes for the best paper and best student paper submitted in each stream, chosen by the relevant program committee, and also a prize for the best presented short/poster paper, awarded on the basis of delegate voting.
All further information including details of the conference committee, program committees, paper format and uploading instructions is given on the conference website.
ALL CORRESPONDENCE SHOULD BE SENT BY EMAIL TO THE CONFERENCE SECRETARIAT:
sgai-conference AT bcs.org.uk

My source: BCS-SGAI

Monday, March 23, 2026

Good - Bad AI? c/o FT Magazine et al.

My source: Tim Harford, How can we tell good AI from bad? FT Magazine. 21 March 2026. #1168: pp.9-10.

    'Two new working papers address the tricky issue of verifying quality. In "Some Simple Economics of AGI", Christian Catalini, xiang Hui and Jane Wu (assisted, sometimes gratingly, by generative AI) propose the inevitable 2x2 matrix in which economic activity can be easy to automate, easy to verify, both or neither. Automatable, verifiable output is the stuff that computers do for us. The non-automatable stuff remains reassuringly artisanal.
    The difficult quadrant is where tasks seem easy to complete but are hard to check. Catalini, Hui and Wu call this the "runaway risk zone". It is not a reassuring label and it is not meant to be.
...
    In the second paper, "A model of Artificial Jagged Intelligence", Joshua Gans offers an analogy in which asking AI to perform task is like trying to cross a river over a network of planks supported by occasional pylons. The jagged frontier is represented by the fact that some planks are long and wobbly, while others are short and sturdy. Problem one: even if the planks are typically sturdy, the wobbly planks will require most of your time and attention. Problem two: if you can't predict in advance which planks will let you down, you may quite sensibly prefer to eschew the AI entirely and row yourself across the old-fashioned way.'

Catalini, C., Hui, X., & Wu, J. (2026). Some Simple Economics of AGI. arXiv preprint arXiv:2602.20946.

Joshua S. Gans, 2026. "A Model of Artificial Jagged Intelligence," NBER Working Papers 34712, National Bureau of Economic Research, Inc.


Previously: 'safety' : 'ai' : 'domain' : 'matrix'

Friday, April 23, 2021

Call For Papers: Special Track on AI for Tackling Dis/Misinformation during Pandemics

Call For Papers: Special Track on AI for Tackling Dis/Misinformation during Pandemics In conjunction with the ACM International Conference on Information Technology for Social Good (GoodIT 2021)

The GoodIT conference is sponsored by ACM SIGCAS, the Association for
Computing Machinery's Special Interest Group on Computers & Society.

The conference focuses on the application of IT technologies to social good.

The Special Track on AI for Tackling Dis/Misinformation during Pandemics focuses on new data technologies based on artificial intelligence, data governance, machine learning, natural language
processing, and social network analysis to aid experts in analyzing large volumes of social media data in order to detect fake news, misinformation, and disinformation. A number of open challenges need
more investigation from the research community, such as recent trends in composing information disorder by combining false and real content, the mechanisms that drive fake content diffusion during pandemics, how to differentiate fake content from personal viewpoints, why people tend to believe fake content and make decisions based on it during pandemics, and what are the different motivations behind the dissemination of fake content. Fact-checking and claim verification are two important strategies that are worth incorporating in the automated tackling and curtailment of fake content during and after pandemics.

************ Key Dates ************
Papers Submission Due:      May 1, 2021
Authors Notifications:        June 22, 2021
Final Manuscript Due:        July 10, 2021
GoodIT 2021:                    September 09-11, 2021

************ Important Links ************
Special Track Website: https://aitdmp.conceptechint.net

************ Submission Guidelines  ************
All submissions will be reviewed using a single-blind review process.
The identity of referees will not be revealed to authors, but authors can keep their names on the submitted papers, on figures, bibliography, etc.

Papers should not exceed 6 pages (US letter size) double column including figures, tables, and references in standard ACM format. Papers must be submitted electronically in printable PDF form.
Templates for the standard ACM format can be found here:

https://www.acm.org/publications/proceedings-template No changes to margins, spacing, or font sizes are allowed from those specified by the style files. Papers violating the formatting guidelines will be
returned without review.

ACM has partnered with Overleaf, a free cloud-based, collaborative authoring tool, to provide an ACM LaTeX authoring template. The ACM LaTeX template on Overleaf platform is available to all ACM authors at: www.overleaf.com/gallery/tagged/acm-official

Accepted papers will be included in the ACM Digital Library. 
Special  issues associated with the conference are being organized.

************ Topics ************
Papers on practical as well as on theoretical topics and problems in various topics related to rumors, fake news, misinformation, and disinformation during and after pandemics, are invited, with special emphasis on novel techniques and tools for automated tackling and curtailment of fake content during and after pandemics. Topics include(but are not limited to):
  • AI approaches for the detection of online influence and manipulation
  • AI approaches to identify misinformation and disinformation campaigns
  • AI approaches for spotting misinformation and disinformation spreaders.
  • Social media mining for automated detection of misinformation propagation and disinformation circulation
  • AI approaches for automated identification and verification of claims
  • AI approaches for intention detection for misinformation and disinformation contents
  • AI approaches for credibility assessment of Social media sources
  • AI approaches for fake news curtailment, filtering and prevention.
  • AI approaches for analysis/detection of distributed and multi-platform misinformation and disinformation disseminations
  • AI approaches for predicting the Impact of misinformation and disinformation during pandemics
  • New datasets and evaluation methodologies to aid in automated detection and analysis of misinformation and disinformation content in social media channels

**********The Conference Sponsored by**********
Association for Computing Machinery's Special Interest Group on Computers & Society http://www.sigcas.org/

This workshop is supported by the Association of Cyber Forensics and Threat Investigators (www.acfti.org) and the Industrial Cybersecurity Center (www.cci-es.org).

########################################################################

This message was issued to members of www.jiscmail.ac.uk/SOCIOTECH, a mailing list hosted by www.jiscmail.ac.uk

Thanks to Andrew Zayine.