Remember that you can follow the TASC3/KASC10 workshop in Birmingham directly here:
https://c.deic.dk/tasc3
We have just made the first public version of the combined TASC target list available on TASOC. You can find more information about the procedures used to create the target list and of course the lists themselves here.
You can now search for multiple positions in the TIC search interface. You can provide a list of sky positions and the tool will now return all stars that fall within a given radius of these positions.